public interface Profile
Interface that encapsulates the elements of a general vocabulary corresponding to a particular ontology language. The intent is that, using a given vocabulary, a given RDF model can be processed as an ontology description, without binding knowledge of the vocabulary into this Java package. For tractability, this limits the vocabularies that can easily be represented to those that are similar to OWL and DAML+OIL.
Modifier and Type | Method and Description |
---|---|
Resource |
ALL_DIFFERENT()
Answer the resource that represents the class of axioms denoting that a set of
individuals are pairwise distinct.
|
Property |
ALL_VALUES_FROM()
Answer the predicate that denotes a restriction on a given property to
have only values from the given class expression.
|
Resource |
ANNOTATION_PROPERTY()
Answer the class that denotes an annotation property
|
Property |
BACKWARD_COMPATIBLE_WITH()
Answer the predicate that documents that one ontology resource is backwards
compatible with another.
|
Property |
CARDINALITY_Q()
Answer the predicate that denotes a qualified restriction on a given property to
have exactly a certain number of values
|
Property |
CARDINALITY()
Answer the predicate that denotes a restriction on a given property to
have exactly a certain number of values
|
Resource |
CLASS()
Answer the resource that represents the class 'class' in this vocabulary.
|
Property |
COMMENT()
Answer the predicate that denotes
comment annotation on an ontology element |
Property |
COMPLEMENT_OF()
Answer the predicate that denotes that one class comprises the individuals that are
not in a second class.
|
Resource |
DATARANGE()
Answer the class that defines a closed range of concrete data values.
|
Resource |
DATATYPE_PROPERTY()
Answer the resource that represents the class of properties whose range
elements are literals (not individuals)
|
Resource |
DEPRECATED_CLASS()
Answer the resource that represents the documentation class of deprecated
classes.
|
Resource |
DEPRECATED_PROPERTY()
Answer the resource that represents the documentation class of deprecated
properties.
|
Property |
DIFFERENT_FROM()
Answer the predicate that denotes that one resource represents a different
individual than another resource.
|
Property |
DISJOINT_WITH()
Answer the predicate that denotes that one class has no individuals in its
extension in common with another class.
|
Property |
DISTINCT_MEMBERS()
Answer the predicate that maps from an
ALL_DIFFERENT()
axiom to the set of individuals that are pair-wise different from
each other. |
Property |
DOMAIN()
Answer the predicate that denotes the domain of a property.
|
Property |
EQUIVALENT_CLASS()
Answer the predicate that denotes that one class has the same extension as another.
|
Property |
EQUIVALENT_PROPERTY()
Answer the predicate that denotes that one property has the same property
extension as another.
|
Property |
FIRST()
The property that denotes the head of a list
|
Resource |
FUNCTIONAL_PROPERTY()
Answer the resource that represents the class of properties that are functional,
i.e. whose range is unique for a given domain element.
|
Resource |
getAliasFor(Resource res)
Answer an alias for the given resource.
|
Iterator<Resource> |
getAnnotationProperties()
Answer an iterator over the properties in this language that are denoted
annotation properties.
|
Iterator<Resource> |
getAxiomTypes()
Answer an iterator over the rdf:types in this language that denote stand-alone
axioms.
|
Iterator<Resource> |
getClassDescriptionTypes()
Answer an iterator over the various types of class description defined
in the language.
|
String |
getLabel()
Answer a descriptive string for this profile, for use in debugging and other output.
|
Property |
HAS_CLASS_Q()
Answer the predicate that denotes a the class in a qualified restriction.
|
Property |
HAS_VALUE()
Answer the predicate that denotes a restriction on a given property to
have a given value.
|
boolean |
hasAliasFor(Resource res)
Answer true if the given resource has an alias in this profile.
|
Property |
IMPORTS()
Answer the predicate that denotes that one ontology document imports another.
|
Property |
INCOMPATIBLE_WITH()
Answer the predicate that documents that one ontology resource is not backwards
compatible with another.
|
Property |
INTERSECTION_OF()
Answer the predicate that denotes that one class is formed from the intersection
(conjunction) of a set of others.
|
Resource |
INVERSE_FUNCTIONAL_PROPERTY()
Answer the resource that represents the class of properties that are
inverse functional,
i.e. whose domain is unique for a given range element.
|
Property |
INVERSE_OF()
Answer the predicate that denotes that one property is the inverse of another
|
Property |
IS_DEFINED_BY()
Answer the predicate that denotes
isDefinedBy annotation on an ontology element |
<T> boolean |
isSupported(Node n,
EnhGraph g,
Class<T> type)
Answer true if the given graph supports a view of this node as the given
language element, according to the semantic constraints of the profile.
|
Property |
LABEL()
Answer the predicate that denotes
label annotation on an ontology element |
Resource |
LIST()
The
rdf:type for cells in this list |
Iterator<Resource> |
listAliasesFor(Resource res)
Answer an iterator over the defined aliases for a resource.
|
Property |
MAX_CARDINALITY_Q()
Answer the predicate that denotes a qualified restriction on a given property to
have at most a certain number of values
|
Property |
MAX_CARDINALITY()
Answer the predicate that denotes a restriction on a given property to
have at most a certain number of values
|
Property |
MIN_CARDINALITY_Q()
Answer the predicate that denotes a qualified restriction on a given property to
have at least a certain number of values
|
Property |
MIN_CARDINALITY()
Answer the predicate that denotes a restriction on a given property to
have at least a certain number of values
|
String |
NAMESPACE()
Answer the string that is the namespace prefix for this vocabulary
|
Resource |
NIL()
The resource that denotes the end of the list
|
Resource |
NOTHING()
Answer the resource that represents the necessarily empty class.
|
Resource |
OBJECT_PROPERTY()
Answer the resource that represents the class of properties whose range
elements are individuals (not literals)
|
Property |
ON_PROPERTY()
Answer the predicate that maps from a
RESTRICTION() to a property that it is
a restriction on. |
Property |
ONE_OF()
Answer the predicate that denotes that a class comprises exactly one of a given
closed set individuals.
|
Resource |
ONTOLOGY_PROPERTY()
Answer the class that denotes an ontology property
|
Resource |
ONTOLOGY()
Answer the resource that represents the class of ontology header elements.
|
Property |
PRIOR_VERSION()
Answer the predicate that documents that one ontology is a prior version
of another.
|
Resource |
PROPERTY()
Answer the resource that represents the general class of properties.
|
Property |
RANGE()
Answer the predicate that denotes the range of a property
|
Property |
REST()
The property that denotes the tail of a list
|
Resource |
RESTRICTION()
Answer the resource that represents the a class formed by placing
constraints (restrictions) on the values of a property.
|
Property |
SAME_AS()
Answer the predicate that denotes that one resource represents the same
ontology object as another.
|
Property |
SAME_INDIVIDUAL_AS()
Answer the predicate that denotes that one resource represents the same
individual as another.
|
Property |
SEE_ALSO()
Answer the predicate that denotes
seeAlso annotation on an ontology element |
Property |
SOME_VALUES_FROM()
Answer the predicate that denotes a restriction on a given property to
have at least one value from the given class expression.
|
Property |
SUB_CLASS_OF()
Answer the predicate that denotes that one class is a sub-class of another.
|
Property |
SUB_PROPERTY_OF()
Answer the predicate that denotes that one property is a sub-property of another.
|
Resource |
SYMMETRIC_PROPERTY()
Answer the resource that represents the class of properties that are symmetric.
|
Resource |
THING()
Answer the resource that represents the class all individuals.
|
Resource |
TRANSITIVE_PROPERTY()
Answer the resource that represents the class of properties that apply transitively.
|
Property |
UNION_OF()
Answer the predicate that denotes that one class is formed from the union
(disjunction) of a set of others.
|
Property |
VERSION_INFO()
Answer the predicate that denotes version-info metadata on an ontology header
|
String NAMESPACE()
Answer the string that is the namespace prefix for this vocabulary
http://www.w3c.org/2002/07/owl#
Resource CLASS()
Answer the resource that represents the class 'class' in this vocabulary.
Resource RESTRICTION()
Answer the resource that represents the a class formed by placing constraints (restrictions) on the values of a property.
Resource THING()
Answer the resource that represents the class all individuals.
Resource NOTHING()
Answer the resource that represents the necessarily empty class.
Resource PROPERTY()
Answer the resource that represents the general class of properties. This will
typically be rdf:Property
.
Resource OBJECT_PROPERTY()
Answer the resource that represents the class of properties whose range elements are individuals (not literals)
Resource DATATYPE_PROPERTY()
Answer the resource that represents the class of properties whose range elements are literals (not individuals)
Resource TRANSITIVE_PROPERTY()
Answer the resource that represents the class of properties that apply transitively.
Resource SYMMETRIC_PROPERTY()
Answer the resource that represents the class of properties that are symmetric.
Resource FUNCTIONAL_PROPERTY()
Answer the resource that represents the class of properties that are functional, i.e. whose range is unique for a given domain element.
Resource INVERSE_FUNCTIONAL_PROPERTY()
Answer the resource that represents the class of properties that are inverse functional, i.e. whose domain is unique for a given range element.
Resource ALL_DIFFERENT()
Answer the resource that represents the class of axioms denoting that a set of individuals are pairwise distinct.
Resource ONTOLOGY()
Answer the resource that represents the class of ontology header elements. Individuals of this class typically associate meta-data about an ontology document with the classes and properties in the document.
Resource DEPRECATED_CLASS()
Answer the resource that represents the documentation class of deprecated classes. Belonging to this class is a hint to developers that a given class has been superceded in a later revision of the ontology.
Resource DEPRECATED_PROPERTY()
Answer the resource that represents the documentation class of deprecated properties. Belonging to this class is a hint to developers that a given property has been superceded in a later revision of the ontology.
Resource ANNOTATION_PROPERTY()
Answer the class that denotes an annotation property
Resource ONTOLOGY_PROPERTY()
Answer the class that denotes an ontology property
Resource DATARANGE()
Answer the class that defines a closed range of concrete data values.
Property EQUIVALENT_PROPERTY()
Answer the predicate that denotes that one property has the same property extension as another.
Property EQUIVALENT_CLASS()
Answer the predicate that denotes that one class has the same extension as another.
Property DISJOINT_WITH()
Answer the predicate that denotes that one class has no individuals in its extension in common with another class.
Property SAME_INDIVIDUAL_AS()
Answer the predicate that denotes that one resource represents the same individual as another.
Property SAME_AS()
Answer the predicate that denotes that one resource represents the same ontology object as another.
Property DIFFERENT_FROM()
Answer the predicate that denotes that one resource represents a different individual than another resource.
Property DISTINCT_MEMBERS()
Answer the predicate that maps from an ALL_DIFFERENT()
axiom to the set of individuals that are pair-wise different from
each other.
Property UNION_OF()
Answer the predicate that denotes that one class is formed from the union (disjunction) of a set of others.
Property INTERSECTION_OF()
Answer the predicate that denotes that one class is formed from the intersection (conjunction) of a set of others.
Property COMPLEMENT_OF()
Answer the predicate that denotes that one class comprises the individuals that are not in a second class.
Property ONE_OF()
Answer the predicate that denotes that a class comprises exactly one of a given closed set individuals.
Property ON_PROPERTY()
Answer the predicate that maps from a RESTRICTION()
to a property that it is
a restriction on.
Property ALL_VALUES_FROM()
Answer the predicate that denotes a restriction on a given property to have only values from the given class expression.
Property HAS_VALUE()
Answer the predicate that denotes a restriction on a given property to have a given value.
Property SOME_VALUES_FROM()
Answer the predicate that denotes a restriction on a given property to have at least one value from the given class expression.
Property MIN_CARDINALITY()
Answer the predicate that denotes a restriction on a given property to have at least a certain number of values
Property MAX_CARDINALITY()
Answer the predicate that denotes a restriction on a given property to have at most a certain number of values
Property CARDINALITY()
Answer the predicate that denotes a restriction on a given property to have exactly a certain number of values
Property MIN_CARDINALITY_Q()
Answer the predicate that denotes a qualified restriction on a given property to have at least a certain number of values
Property MAX_CARDINALITY_Q()
Answer the predicate that denotes a qualified restriction on a given property to have at most a certain number of values
Property CARDINALITY_Q()
Answer the predicate that denotes a qualified restriction on a given property to have exactly a certain number of values
Property HAS_CLASS_Q()
Answer the predicate that denotes a the class in a qualified restriction.
Property INVERSE_OF()
Answer the predicate that denotes that one property is the inverse of another
Property IMPORTS()
Answer the predicate that denotes that one ontology document imports another.
Property VERSION_INFO()
Answer the predicate that denotes version-info metadata on an ontology header
Property PRIOR_VERSION()
Answer the predicate that documents that one ontology is a prior version of another.
Property BACKWARD_COMPATIBLE_WITH()
Answer the predicate that documents that one ontology resource is backwards compatible with another.
Property INCOMPATIBLE_WITH()
Answer the predicate that documents that one ontology resource is not backwards compatible with another.
Property SUB_CLASS_OF()
Answer the predicate that denotes that one class is a sub-class of another.
Property SUB_PROPERTY_OF()
Answer the predicate that denotes that one property is a sub-property of another.
Property DOMAIN()
Answer the predicate that denotes the domain of a property.
Property RANGE()
Answer the predicate that denotes the range of a property
Property LABEL()
Answer the predicate that denotes label
annotation on an ontology element
Property COMMENT()
Answer the predicate that denotes comment
annotation on an ontology element
Property SEE_ALSO()
Answer the predicate that denotes seeAlso
annotation on an ontology element
Property IS_DEFINED_BY()
Answer the predicate that denotes isDefinedBy
annotation on an ontology element
Property FIRST()
The property that denotes the head of a list
Property REST()
The property that denotes the tail of a list
Resource LIST()
The rdf:type
for cells in this list
Resource NIL()
The resource that denotes the end of the list
Iterator<Resource> getAxiomTypes()
Answer an iterator over the rdf:types in this language that denote stand-alone axioms.
Iterator<Resource> getAnnotationProperties()
Answer an iterator over the properties in this language that are denoted annotation properties. Not all languages have distinguished annotation properties.
Iterator<Resource> getClassDescriptionTypes()
Answer an iterator over the various types of class description defined in the language.
boolean hasAliasFor(Resource res)
Answer true if the given resource has an alias in this profile.
res
- A resource (including properties) to test for an aliasres
Resource getAliasFor(Resource res)
Answer an alias for the given resource. If there is more than one such alias, a choice is made non-deterministically between the alternatives.
res
- A resource (including properties) to test for an aliasres
, or one of the aliases for res
if more
than one is defined, or null if no alias is defined for res
.Iterator<Resource> listAliasesFor(Resource res)
Answer an iterator over the defined aliases for a resource.
res
- A resource (including properties)res
. If there are
no aliases, the empty iterator is returned.<T> boolean isSupported(Node n, EnhGraph g, Class<T> type)
Answer true if the given graph supports a view of this node as the given language element, according to the semantic constraints of the profile. If strict checking on the ontology model is turned off, this check is skipped.
n
- A node to testg
- The enhanced graph containing n
, which is assumed to
be an OntModel
.type
- A class indicating the facet that we are testing against.n
can be
viewed according to the facet resource res
String getLabel()
Answer a descriptive string for this profile, for use in debugging and other output.
Licenced under the Apache License, Version 2.0