IRI:
http://purl.org/minim/minim
Other visualisation:
Ontology source

Table of Content

  1. Classes
  2. Object Properties
  3. Data Properties
  4. Namespace Declarations

Classes

Accessibility testc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#AccessibilityTest

Test if a specified resource is accessible (live). The resource URI is constructed by using the corresponding query result to provide values for variables in an expansion of the supplied URI template (cf. http://tools.ietf.org/html/rfc6570)
is equivalent to
accessibility test URI templatedp exactly 1
has super-classes
Query result testc
is in domain of
accessibility test URI templatedp

Aggregation testc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#AggregationTest

Test if a specified resource is part of an RO aggregation. The resource URI is constructed by using the corresponding query result to provide values for variables in an expansion of the supplied URI template (cf. http://tools.ietf.org/html/rfc6570)
is equivalent to
aggregation test URI templatedp exactly 1
has super-classes
Query result testc
is in domain of
aggregation test URI templatedp

Cardinality testc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#CardinalityTest

Tests the number of results returned by a query
is equivalent to
((maximum occurrencesdp exactly 1) and (minimum occurrencesdp max 1)) or ((minimum occurrencesdp exactly 1) and (maximum occurrencesdp max 1))
has super-classes
Query result testc
is in domain of
maximum occurrencesdp, minimum occurrencesdp

Generic queryc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#Query

Query an RDF graph and return values that match the supplied pattern. The results returned are a set of results, where each is a set of query variable bindings corresponding to a single match of the pattern, and the entire result set contains all distinct matches achieved. Specific query forms are subclasses of this class. Possible subclass types might include patterns based on SPARQL, SPIN, OWL and maybe other data-matching patterns.
has sub-classes
SPARQL queryc

Metadata exists testc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#ExistsTest

Tests to see if a supplied query is satisfied by available metadata, matching the query results retrieved so far. This test is a short-cut for a minim:RuleTest that refers to a 'min 1' cardinality test. @@TBD: keep this or drop it as redundant?
is equivalent to
exists queryop exactly 1 Generic queryc
has super-classes
Query result testc
is in domain of
exists queryop

Minim checklistc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#Checklist

A checklist object indicates a minim:Model to be satisfied if a target resource is to be considered suitable for some specific purpose. As such, it links a target resource and a purpose for which it might be used with a minim:Model that must be satisfied for the resource to be considered fit for that purpose. A Checklist may be associated directly with a target resource as the subject of a minim:hasChecklist statement, or may be associated indirectly via a URI template that is the object of an associated minim:forTargetTemplate statement. The latter form is is more flexible as it allows a given checklist to be more easily used with multiple resources.
is equivalent to
(to modelop exactly 1 Minim modelc) and (for purposedp exactly 1) and (target resource URI templatedp max 1)
is in domain of
for purposedp, target resource URI templatedp, to modelop
is in range of
has checklistop

Minim modelc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#Model

A Minim model collects a number of requirements, and associates each with a MUST, SHOULD or MAY requirement level.
is equivalent to
has requirementop only Minim requirementc
is in domain of
has requirementop
is in range of
to modelop

Minim requirementc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#Requirement

A Minim requirement, whose satisfaction is determined by evaluation of the indicated rule. The minim:seq value is used to order the requirement results returned, to allow more consistent reporting of results.
is equivalent to
(is derived byop exactly 1 Minim rulec) and (sequencedp only string)
is in domain of
is derived byop, sequencedp
is in range of
has requirementop

Minim rulec back to ToC or Class ToC

IRI: http://purl.org/minim/minim#Rule

This is a generic placeholder for any rule which is evaluated to determine whether or not a Minim requirement is satisfied. The various checklist item rules should be declared as subclasses of this rule.
has sub-classes
Query test rulec, Software environment rulec
is in domain of
showdp, showfaildp, showmissdp, showpassdp
is in range of
is derived byop, test affirmed ruleop, test negated ruleop

Query result testc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#QueryResultTest

A test of a query result used in conjunction with a Query value to make a QueryTestRule. Any query tests should be declared as a subclass of this.
has sub-classes
Accessibility testc, Aggregation testc, Cardinality testc, Metadata exists testc, Rule negation testc, Rule testc

Query test rulec back to ToC or Class ToC

IRI: http://purl.org/minim/minim#QueryTestRule

Generalized rule consisting of a query to extract information from an RDF graph, and a test that is applied to the results from applying that query. The query is assumed to return a set of results, each of which contains one ormore variable bindings. This currently available implementation uses a SPARQL query, but in principle other forms of query are possible, such as an OWL class expression. If a minim:graph value is supplied, it supplies a URI template used to identify the graph to be queried, otherwise the supplied RO annotation graph is queried.
is equivalent to
Query result testc and (queryop exactly 1 Generic queryc) and (target graphdp max 1)
has super-classes
Minim rulec
is in domain of
listop, listfailop, listpassop, queryop, target graphdp

Rule negation testc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#RuleNegationTest

Invokes a specified rule with the current result as predefined variable bindings. The result returned is success if the rule invocation fails, otherwise failure if the rule succeeds.
is equivalent to
test negated ruleop exactly 1 Minim rulec
has super-classes
Query result testc
is in domain of
test negated ruleop

Rule testc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#RuleTest

Invokes a specified rule with the current result as predefined variable bindings. The result returned is the result of the rule invocation. This recursive invocation of minim:Rule allows chains of tests to be assembled when a single test alone does not suffice.
is equivalent to
test affirmed ruleop exactly 1 Minim rulec
has super-classes
Query result testc
is in domain of
test affirmed ruleop

Software environment rulec back to ToC or Class ToC

IRI: http://purl.org/minim/minim#SoftwareEnvRule

A checklist requirement rule that tests the local software environment provides some specified capability or meets some specified requirement. The test works by issuing a command and testing to see if the response matches asupplied regular expression.
is equivalent to
(software test commanddp exactly 1) and (software response regexdp exactly 1)
has super-classes
Minim rulec
is in domain of
software response regexdp, software test commanddp

SPARQL queryc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#SparqlQuery

Query an RDF graph and returns results that match the supplied SPARQL query body. The results returned are a set of results, where each result is a set of query variable bindings corresponding to a single match of the query, and the entire result set contains all distinct matches achieved. The minim:result_mod value, if present, is added as a query result modifier, and may be used, among other things, to obtain results returned in a consistent oder for better diagnostics.
is equivalent to
(SPARQL query patterndp exactly 1) and (SPARQL result modifierdp max 1)
has super-classes
Generic queryc
is in domain of
SPARQL query patterndp, SPARQL result modifierdp
is in range of
exists queryop, queryop

value collectorc back to ToC or Class ToC

IRI: http://purl.org/minim/minim#ValueCollector

A node that references a pair of variable names used when assembling a list of matched values from a probe query.
is equivalent to
(collection listdp exactly 1) and (collection variabledp exactly 1)
is in domain of
collection listdp, collection variabledp
is in range of
listop, listfailop, listpassop

Object Properties

exists queryop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#exists

This property is used with minim:ExistsTest to indicate a further query that is used to test for the existence of required metadata related to the results so far retrieved.
has domain
Metadata exists testc
has range
SPARQL queryc

has checklistop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#hasChecklist

Supplies a minim:Checklist to be associated with some target resource. The subject of this property may be a target resource to which the checklist may be applied, or some arbitrary resource used as a collection of checklists, in which case the checklist itself should include a minim:forTargetTemplate property that is used in the selection of a checklist for some evaluation.
has domain
thingc
has range
Minim checklistc

has MAY requirementop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#hasMayRequirement

indicates a requirement is optional for a checklist to be satisfied. Failure to satisfy a MAY requirement is not considered to be indicative of any problem.
has super-properties
has requirementop

has MUST requirementop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#hasMustRequirement

indicates a requirement that MUST be satisfied for a checklist to be satisfied
has super-properties
has requirementop

has requirementop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#hasRequirement

Place holder for minim:hasMustRequirement, minim:hasShouldRequirement or minim:hasMayRequirement
has sub-properties
has MAY requirementop, has MUST requirementop, has SHOULD requirementop
has domain
Minim modelc
has range
Minim requirementc

has SHOULD requirementop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#hasShouldRequirement

indicates a requirement is not mandatory for a checklist to be satisfied, but which is strongly recommended. Failure to satisfy a SHOULD requirement could be indicative of a problem.
has super-properties
has requirementop

is derived byop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#isDerivedBy

Indicates a rule that, when its test evaluates to True, indicates that a requirement is satisfied.
has domain
Minim requirementc
has range
Minim rulec

listop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#list

Used with minim:QueryTestRule to create an additional variable binding that is a list of values from every match of the probe query. The list is available to report templates, but not in any sub-rules that may be invoked.
has domain
Query test rulec
has range
value collectorc

listfailop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#listfail

Like minim:list, but collects values from probe queries for which the corresponding query result test is failed.
has domain
Query test rulec
has range
value collectorc

listpassop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#listpass

Like minim:list, but collects values from probe queries for which the corresponding query result test is passed.
has domain
Query test rulec
has range
value collectorc

queryop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#query

This property indicates a query used to extract information from an RDF graph for requirement testing. In the current design, the only form of query defined is a SPARQL query, but other forms may be introduced later.
has domain
Query test rulec
has range
SPARQL queryc

test affirmed ruleop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#affirmRule

Indicates a rule that is invoked with the current query result as predefined variable bindings. The result returned is the result of the rule invocation.
has domain
Rule testc
has range
Minim rulec

test negated ruleop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#negateRule

Indicates a rule that is invoked with the current query result as predefined variable bindings. The result returned is success if the rule invocation fails, otherwise failure if the rule succeeds.
has domain
Rule negation testc
has range
Minim rulec

to modelop back to ToC or Object Property ToC

IRI: http://purl.org/minim/minim#toModel

Indicates a minim:Model to be used to perform checklist evaluation for the indicated target resource to be suitable for the indicated purpose.
has domain
Minim checklistc
has range
Minim modelc

Data Properties

accessibility test URI templatedp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#isLiveTemplate

This property is used to specify a URI template (cf. http://tools.ietf.org/html/rfc6570) that is in turn used to construct the URI of resource to be tested for accessibility (liveness).
has domain
Accessibility testc
has range
string

aggregation test URI templatedp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#aggregatesTemplate

This property is used to specify a URI template (cf. http://tools.ietf.org/html/rfc6570) that is in turn used to construct the URI of resource that is tested for inclusion in the current RO aggregation. The test makes sense only for evaluations performed in the context provided by a Research Object.
has domain
Aggregation testc
has range
string

collection listdp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#collectList

When collecting a list of query value results, indicates a variable that is bound to the list of collected values.
has domain
value collectorc
has range
string

collection variabledp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#collectVar

When collecting a list of query value results, indicates a variable whose various bindings are collected.
has domain
value collectorc
has range
string

for purposedp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#forPurpose

Supplies a string which describes a purpose for which checklist evaluation of the target resource is to be performed. Note that a purpose is implicit in a checklist object itself, so the purpose is not treated as a separate resource, or given a separate URI. Rather, this string serves as a label or keyword that can be used in a user interface.
has domain
Minim checklistc
has range
string

maximum occurrencesdp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#max

This property is used with minim:CardinalityTest to indicate maximum number of distinct results that are required for a cardinality test to be satisfied. Note that minim:min and minim:max can be used together to define an exact cardinality or cardinality range test.
has domain
Cardinality testc
has range
integer

minimum occurrencesdp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#min

This property is used with minim:CardinalityTest to indicate minimum number of distinct results that are required for a cardinality test to be satisfied. Note that minim:min and minim:max can be used together to define an exact cardinality or cardinality range test.
has domain
Cardinality testc
has range
integer

sequencedp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#seq

A value that is used to order the requirements in a checklist for reporting purpose. It has no effect on the overall outcome of a checklist evaluation.
has domain
Minim requirementc
has range
string

showdp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#show

A template string that is used to report the evaluation of a rule. It has no effect on the overall outcome of a checklist evaluation. Query results and other values are nterpolated into the resulting report string by embedded codes of the form '%(varname)s' (Python format string style).
has domain
Minim rulec
has range
string

showfaildp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#showfail

A template string that is used to report the failure of a rule, overriding any minim:show value that may be present. It has no effect on the overall outcome of a checklist evaluation. Query results and other values are interpolated into the resulting report string by embedded codes of the form '%(varname)s' (Python format string style).
has domain
Minim rulec
has range
string

showmissdp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#showmiss

A template string that is used to report a query rule whose probe query matches no values. In such circumstances, it overrides any minim:show value that may be present Previous query results and other values are nterpolated into the resulting report string by embedded codes of the form '%(varname)s' (i.e. Python format string style).
has domain
Minim rulec
has range
string

showpassdp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#showpass

A template string that is used to report the success of a rule, overriding any minim:show value that may be present. It has no effect on the overall outcome of a checklist evaluation. Query results and other values are interpolated into the resulting report string by embedded codes of the form '%(varname)s' (Python format string style).
has domain
Minim rulec
has range
string

software response regexdp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#response

This property indicates a regular expression that is required to be matched by the output from the command used to test the software environment.
has domain
Software environment rulec
has range
string

software test commanddp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#command

This property indicates a command to be issued to test the software environment
has domain
Software environment rulec
has range
string

SPARQL query patterndp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#sparql_query

This property indicates a SPARQL query pattern (such as would appear in a SPARQL WHERE clause) that is used to query the content of an RDF graph.
has domain
SPARQL queryc
has range
string

SPARQL result modifierdp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#result_mod

This property is used with minim:SparqlQuery to indicate a result modifier (e.g. ORDER BY, GROUP BY, etc.) that is applied to the results results obtained to matching the query pattern. Using result modifiers can make it easier to produce consistent diagnostic information.
has domain
SPARQL queryc
has range
string

target graphdp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#graph

This property indicates a graph to be queried, by way of a URI template that is expanded using any currently result variable bindings. This is the mechanism whereby metadata from an RO may be compared with metadata from external resources.
has domain
Query test rulec
has range
string

target resource URI templatedp back to ToC or Data Property ToC

IRI: http://purl.org/minim/minim#forTargetTemplate

Supplies a URI template that is expanded using predefined variable {targetro} to refer to the Research Object resource targeted by a checklist evaluation (typically, the URI template used is '{+targetro}'). Future implementations may provide alternative variables that may be used in a URI template to construct the URI of a resource to be targeted.
has domain
Minim checklistc
has range
string

Namespace Declarations back to ToC

default namespace
http://purl.org/minim/minim#
minim
http://purl.org/minim/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.