- All Known Implementing Classes:
AbstractProfile
,OWLDLProfile
,OWLLiteProfile
,OWLProfile
,RDFSProfile
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.
-
Method Summary
Modifier and TypeMethodDescriptionAnswer the resource that represents the class of axioms denoting that a set of individuals are pairwise distinct.Answer the predicate that denotes a restriction on a given property to have only values from the given class expression.Answer the class that denotes an annotation propertyAnswer the predicate that documents that one ontology resource is backwards compatible with another.Answer the predicate that denotes a restriction on a given property to have exactly a certain number of valuesAnswer the predicate that denotes a qualified restriction on a given property to have exactly a certain number of valuesCLASS()
Answer the resource that represents the class 'class' in this vocabulary.COMMENT()
Answer the predicate that denotescomment
annotation on an ontology elementAnswer the predicate that denotes that one class comprises the individuals that are not in a second class.Answer the class that defines a closed range of concrete data values.Answer the resource that represents the class of properties whose range elements are literals (not individuals)Answer the resource that represents the documentation class of deprecated classes.Answer the resource that represents the documentation class of deprecated properties.Answer the predicate that denotes that one resource represents a different individual than another resource.Answer the predicate that denotes that one class has no individuals in its extension in common with another class.Answer the predicate that maps from anALL_DIFFERENT()
axiom to the set of individuals that are pair-wise different from each other.DOMAIN()
Answer the predicate that denotes the domain of a property.Answer the predicate that denotes that one class has the same extension as another.Answer the predicate that denotes that one property has the same property extension as another.FIRST()
The property that denotes the head of a listAnswer the resource that represents the class of properties that are functional, i.e. whose range is unique for a given domain element.getAliasFor
(Resource res) Answer an alias for the given resource.Answer an iterator over the properties in this language that are denoted annotation properties.Answer an iterator over the rdf:types in this language that denote stand-alone axioms.Answer an iterator over the various types of class description defined in the language.getLabel()
Answer a descriptive string for this profile, for use in debugging and other output.Answer the predicate that denotes a the class in a qualified restriction.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.IMPORTS()
Answer the predicate that denotes that one ontology document imports another.Answer the predicate that documents that one ontology resource is not backwards compatible with another.Answer the predicate that denotes that one class is formed from the intersection (conjunction) of a set of others.Answer the resource that represents the class of properties that are inverse functional, i.e. whose domain is unique for a given range element.Answer the predicate that denotes that one property is the inverse of anotherAnswer the predicate that denotesisDefinedBy
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.LABEL()
Answer the predicate that denoteslabel
annotation on an ontology elementLIST()
Therdf:type
for cells in this listlistAliasesFor
(Resource res) Answer an iterator over the defined aliases for a resource.Answer the predicate that denotes a restriction on a given property to have at most a certain number of valuesAnswer the predicate that denotes a qualified restriction on a given property to have at most a certain number of valuesAnswer the predicate that denotes a restriction on a given property to have at least a certain number of valuesAnswer the predicate that denotes a qualified restriction on a given property to have at least a certain number of valuesAnswer the string that is the namespace prefix for this vocabularyNIL()
The resource that denotes the end of the listNOTHING()
Answer the resource that represents the necessarily empty class.Answer the resource that represents the class of properties whose range elements are individuals (not literals)Answer the predicate that maps from aRESTRICTION()
to a property that it is a restriction on.ONE_OF()
Answer the predicate that denotes that a class comprises exactly one of a given closed set individuals.ONTOLOGY()
Answer the resource that represents the class of ontology header elements.Answer the class that denotes an ontology propertyAnswer the predicate that documents that one ontology is a prior version of another.PROPERTY()
Answer the resource that represents the general class of properties.RANGE()
Answer the predicate that denotes the range of a propertyREST()
The property that denotes the tail of a listAnswer the resource that represents the a class formed by placing constraints (restrictions) on the values of a property.SAME_AS()
Answer the predicate that denotes that one resource represents the same ontology object as another.Answer the predicate that denotes that one resource represents the same individual as another.SEE_ALSO()
Answer the predicate that denotesseeAlso
annotation on an ontology elementAnswer the predicate that denotes a restriction on a given property to have at least one value from the given class expression.Answer the predicate that denotes that one class is a sub-class of another.Answer the predicate that denotes that one property is a sub-property of another.Answer the resource that represents the class of properties that are symmetric.THING()
Answer the resource that represents the class all individuals.Answer the resource that represents the class of properties that apply transitively.UNION_OF()
Answer the predicate that denotes that one class is formed from the union (disjunction) of a set of others.Answer the predicate that denotes version-info metadata on an ontology header
-
Method Details
-
NAMESPACE
String NAMESPACE()Answer the string that is the namespace prefix for this vocabulary
- Returns:
- The namespace prefix, for example
http://www.w3c.org/2002/07/owl#
-
CLASS
Resource CLASS()Answer the resource that represents the class 'class' in this vocabulary.
- Returns:
- The resource that represents the concept of a class
-
RESTRICTION
Resource RESTRICTION()Answer the resource that represents the a class formed by placing constraints (restrictions) on the values of a property.
- Returns:
- The resource that represents the concept of a restriction
-
THING
Resource THING()Answer the resource that represents the class all individuals.
- Returns:
- The resource that represents the concept of the top class
-
NOTHING
Resource NOTHING()Answer the resource that represents the necessarily empty class.
- Returns:
- The resource that represents the concept the bottom class.
-
PROPERTY
Resource PROPERTY()Answer the resource that represents the general class of properties. This will typically be
rdf:Property
.- Returns:
- The resource that represents the concept of a property.
-
OBJECT_PROPERTY
Resource OBJECT_PROPERTY()Answer the resource that represents the class of properties whose range elements are individuals (not literals)
- Returns:
- The resource that represents the concept of an object (individual) property.
-
DATATYPE_PROPERTY
Resource DATATYPE_PROPERTY()Answer the resource that represents the class of properties whose range elements are literals (not individuals)
- Returns:
- The resource that represents the concept of an object (individual) property.
-
TRANSITIVE_PROPERTY
Resource TRANSITIVE_PROPERTY()Answer the resource that represents the class of properties that apply transitively.
- Returns:
- The resource that represents the concept of a transitive property.
-
SYMMETRIC_PROPERTY
Resource SYMMETRIC_PROPERTY()Answer the resource that represents the class of properties that are symmetric.
- Returns:
- The resource that represents the concept of a symmetric property.
-
FUNCTIONAL_PROPERTY
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.
- Returns:
- The resource that represents the concept of a functional property.
-
INVERSE_FUNCTIONAL_PROPERTY
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.
- Returns:
- The resource that represents the concept of an inverse functional property.
-
ALL_DIFFERENT
Resource ALL_DIFFERENT()Answer the resource that represents the class of axioms denoting that a set of individuals are pairwise distinct.
- Returns:
- The resource that represents the concept of an all-different axiom.
-
ONTOLOGY
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.
- Returns:
- The resource that represents the concept of an ontology header element.
-
DEPRECATED_CLASS
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.
- Returns:
- The resource that represents the concept of a deprecated class.
-
DEPRECATED_PROPERTY
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.
- Returns:
- The resource that represents the concept of a deprecated property.
-
ANNOTATION_PROPERTY
Resource ANNOTATION_PROPERTY()Answer the class that denotes an annotation property
- Returns:
- The AnnotationProperty class
-
ONTOLOGY_PROPERTY
Resource ONTOLOGY_PROPERTY()Answer the class that denotes an ontology property
- Returns:
- The OntologyProperty class
-
DATARANGE
Resource DATARANGE()Answer the class that defines a closed range of concrete data values.
- Returns:
- The DataRange class
-
EQUIVALENT_PROPERTY
Property EQUIVALENT_PROPERTY()Answer the predicate that denotes that one property has the same property extension as another.
- Returns:
- The property that denotes equivalence between two property resources.
-
EQUIVALENT_CLASS
Property EQUIVALENT_CLASS()Answer the predicate that denotes that one class has the same extension as another.
- Returns:
- The property that denotes equivalence between two class expressions.
-
DISJOINT_WITH
Property DISJOINT_WITH()Answer the predicate that denotes that one class has no individuals in its extension in common with another class.
- Returns:
- The property that denotes disjointness between two class expressions.
-
SAME_INDIVIDUAL_AS
Property SAME_INDIVIDUAL_AS()Answer the predicate that denotes that one resource represents the same individual as another.
- Returns:
- The property that denotes equivalence between two resources denoting individuals.
-
SAME_AS
Property SAME_AS()Answer the predicate that denotes that one resource represents the same ontology object as another.
- Returns:
- The property that denotes equivalence between two resources.
-
DIFFERENT_FROM
Property DIFFERENT_FROM()Answer the predicate that denotes that one resource represents a different individual than another resource.
- Returns:
- The property that denotes distinctness between two individuals.
-
DISTINCT_MEMBERS
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.- Returns:
- The property that introduces a list of individuals that are distinct.
-
UNION_OF
Property UNION_OF()Answer the predicate that denotes that one class is formed from the union (disjunction) of a set of others.
- Returns:
- The property that denotes a class defined by a union of class expressions.
-
INTERSECTION_OF
Property INTERSECTION_OF()Answer the predicate that denotes that one class is formed from the intersection (conjunction) of a set of others.
- Returns:
- The property that denotes a class defined by an intersection of class expressions.
-
COMPLEMENT_OF
Property COMPLEMENT_OF()Answer the predicate that denotes that one class comprises the individuals that are not in a second class.
- Returns:
- The property that denotes a class defined by the complement of a class expression.
-
ONE_OF
Property ONE_OF()Answer the predicate that denotes that a class comprises exactly one of a given closed set individuals.
- Returns:
- The property that denotes a class defined its members being one of a give set.
-
ON_PROPERTY
Property ON_PROPERTY()Answer the predicate that maps from a
RESTRICTION()
to a property that it is a restriction on.- Returns:
- The property that denotes a property that a restriction applies to.
-
ALL_VALUES_FROM
Property ALL_VALUES_FROM()Answer the predicate that denotes a restriction on a given property to have only values from the given class expression.
- Returns:
- The property that denotes a local property range restriction.
-
HAS_VALUE
Property HAS_VALUE()Answer the predicate that denotes a restriction on a given property to have a given value.
- Returns:
- The property that denotes a local property value restriction.
-
SOME_VALUES_FROM
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.
- Returns:
- The property that denotes a local property range restriction.
-
MIN_CARDINALITY
Property MIN_CARDINALITY()Answer the predicate that denotes a restriction on a given property to have at least a certain number of values
- Returns:
- The property that denotes a local property cardinality lower bound.
-
MAX_CARDINALITY
Property MAX_CARDINALITY()Answer the predicate that denotes a restriction on a given property to have at most a certain number of values
- Returns:
- The property that denotes a local property cardinality upper bound.
-
CARDINALITY
Property CARDINALITY()Answer the predicate that denotes a restriction on a given property to have exactly a certain number of values
- Returns:
- The property that denotes a local property cardinality.
-
MIN_CARDINALITY_Q
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
- Returns:
- The property that denotes a local property cardinality lower bound.
-
MAX_CARDINALITY_Q
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
- Returns:
- The property that denotes a local property cardinality upper bound.
-
CARDINALITY_Q
Property CARDINALITY_Q()Answer the predicate that denotes a qualified restriction on a given property to have exactly a certain number of values
- Returns:
- The property that denotes a local property cardinality.
-
HAS_CLASS_Q
Property HAS_CLASS_Q()Answer the predicate that denotes a the class in a qualified restriction.
- Returns:
- The property that denotes the class of all values in a qualified restriction.
-
INVERSE_OF
Property INVERSE_OF()Answer the predicate that denotes that one property is the inverse of another
- Returns:
- The property that denotes the inverse relationship between properties
-
IMPORTS
Property IMPORTS()Answer the predicate that denotes that one ontology document imports another.
- Returns:
- The property that denotes ontology importing.
-
VERSION_INFO
Property VERSION_INFO()Answer the predicate that denotes version-info metadata on an ontology header
- Returns:
- The property that denotes ontology version information.
-
PRIOR_VERSION
Property PRIOR_VERSION()Answer the predicate that documents that one ontology is a prior version of another.
- Returns:
- The property that denotes ontology versioning
-
BACKWARD_COMPATIBLE_WITH
Property BACKWARD_COMPATIBLE_WITH()Answer the predicate that documents that one ontology resource is backwards compatible with another.
- Returns:
- The property that denotes ontology element backwards compatability.
-
INCOMPATIBLE_WITH
Property INCOMPATIBLE_WITH()Answer the predicate that documents that one ontology resource is not backwards compatible with another.
- Returns:
- The property that denotes ontology element backwards incompatability.
-
SUB_CLASS_OF
Property SUB_CLASS_OF()Answer the predicate that denotes that one class is a sub-class of another.
- Returns:
- The property that the sub-class relationship.
-
SUB_PROPERTY_OF
Property SUB_PROPERTY_OF()Answer the predicate that denotes that one property is a sub-property of another.
- Returns:
- The property that denotes the sub-property relationship.
-
DOMAIN
Property DOMAIN()Answer the predicate that denotes the domain of a property.
- Returns:
- The property that denotes a property domain
-
RANGE
Property RANGE()Answer the predicate that denotes the range of a property
- Returns:
- The property that denotes the property range
-
LABEL
Property LABEL()Answer the predicate that denotes
label
annotation on an ontology element- Returns:
- The property that denotes the label annotation
-
COMMENT
Property COMMENT()Answer the predicate that denotes
comment
annotation on an ontology element- Returns:
- The property that denotes the comment annotation
-
SEE_ALSO
Property SEE_ALSO()Answer the predicate that denotes
seeAlso
annotation on an ontology element- Returns:
- The property that denotes the seeAlso annotation
-
IS_DEFINED_BY
Property IS_DEFINED_BY()Answer the predicate that denotes
isDefinedBy
annotation on an ontology element- Returns:
- The property that denotes the isDefiendBy annotation
-
FIRST
Property FIRST()The property that denotes the head of a list
- Returns:
- The property that maps from a cell in a list to its value
-
REST
Property REST()The property that denotes the tail of a list
- Returns:
- The property that maps from a cell in a list to the remainder of the list
-
LIST
Resource LIST()The
rdf:type
for cells in this list- Returns:
- The list rdf:type resource
-
NIL
Resource NIL()The resource that denotes the end of the list
-
getAxiomTypes
Answer an iterator over the rdf:types in this language that denote stand-alone axioms.
- Returns:
- An iterator over axiom types.
-
getAnnotationProperties
Answer an iterator over the properties in this language that are denoted annotation properties. Not all languages have distinguished annotation properties.
- Returns:
- An iterator over annotation properties.
-
getClassDescriptionTypes
Answer an iterator over the various types of class description defined in the language.
- Returns:
- An iterator over the various rdf:types of class descriptions.
-
hasAliasFor
Answer true if the given resource has an alias in this profile.
- Parameters:
res
- A resource (including properties) to test for an alias- Returns:
- True if there is an alias for
res
-
getAliasFor
Answer an alias for the given resource. If there is more than one such alias, a choice is made non-deterministically between the alternatives.
- Parameters:
res
- A resource (including properties) to test for an alias- Returns:
- The alias for
res
, or one of the aliases forres
if more than one is defined, or null if no alias is defined forres
.
-
listAliasesFor
Answer an iterator over the defined aliases for a resource.
- Parameters:
res
- A resource (including properties)- Returns:
- An iterator over the aliases for
res
. If there are no aliases, the empty iterator is returned.
-
isSupported
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.
- Parameters:
n
- A node to testg
- The enhanced graph containingn
, which is assumed to be anOntModel
.type
- A class indicating the facet that we are testing against.- Returns:
- True if strict checking is off, or if
n
can be viewed according to the facet resourceres
-
getLabel
String getLabel()Answer a descriptive string for this profile, for use in debugging and other output.
-