Interface Profile
-
- All Known Implementing Classes:
AbstractProfile
,OWLDLProfile
,OWLLiteProfile
,OWLProfile
,RDFSProfile
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.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method 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 propertyProperty
BACKWARD_COMPATIBLE_WITH()
Answer the predicate that documents that one ontology resource is backwards compatible with another.Property
CARDINALITY()
Answer the predicate that denotes a restriction on a given property to have exactly a certain number of valuesProperty
CARDINALITY_Q()
Answer the predicate that denotes a qualified restriction on a given property to have exactly a certain number of valuesResource
CLASS()
Answer the resource that represents the class 'class' in this vocabulary.Property
COMMENT()
Answer the predicate that denotescomment
annotation on an ontology elementProperty
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 anALL_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 listResource
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.java.util.Iterator<Resource>
getAnnotationProperties()
Answer an iterator over the properties in this language that are denoted annotation properties.java.util.Iterator<Resource>
getAxiomTypes()
Answer an iterator over the rdf:types in this language that denote stand-alone axioms.java.util.Iterator<Resource>
getClassDescriptionTypes()
Answer an iterator over the various types of class description defined in the language.java.lang.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 anotherProperty
IS_DEFINED_BY()
Answer the predicate that denotesisDefinedBy
annotation on an ontology element<T> boolean
isSupported(Node n, EnhGraph g, java.lang.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 denoteslabel
annotation on an ontology elementResource
LIST()
Therdf:type
for cells in this listjava.util.Iterator<Resource>
listAliasesFor(Resource res)
Answer an iterator over the defined aliases for a resource.Property
MAX_CARDINALITY()
Answer the predicate that denotes a restriction on a given property to have at most a certain number of valuesProperty
MAX_CARDINALITY_Q()
Answer the predicate that denotes a qualified restriction on a given property to have at most a certain number of valuesProperty
MIN_CARDINALITY()
Answer the predicate that denotes a restriction on a given property to have at least a certain number of valuesProperty
MIN_CARDINALITY_Q()
Answer the predicate that denotes a qualified restriction on a given property to have at least a certain number of valuesjava.lang.String
NAMESPACE()
Answer the string that is the namespace prefix for this vocabularyResource
NIL()
The resource that denotes the end of the listResource
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 aRESTRICTION()
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()
Answer the resource that represents the class of ontology header elements.Resource
ONTOLOGY_PROPERTY()
Answer the class that denotes an ontology propertyProperty
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 propertyProperty
REST()
The property that denotes the tail of a listResource
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 denotesseeAlso
annotation on an ontology elementProperty
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
-
-
-
Method Detail
-
NAMESPACE
java.lang.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
java.util.Iterator<Resource> getAxiomTypes()
Answer an iterator over the rdf:types in this language that denote stand-alone axioms.
- Returns:
- An iterator over axiom types.
-
getAnnotationProperties
java.util.Iterator<Resource> 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
java.util.Iterator<Resource> 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
boolean hasAliasFor(Resource res)
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
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.
- 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
java.util.Iterator<Resource> listAliasesFor(Resource res)
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
<T> boolean isSupported(Node n, EnhGraph g, java.lang.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.
- 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
java.lang.String getLabel()
Answer a descriptive string for this profile, for use in debugging and other output.
-
-