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

    Modifier and Type
    Method
    Description
    Answer 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 property
    Answer 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 values
    Answer the predicate that denotes a qualified restriction on a given property to have exactly a certain number of values
    Answer the resource that represents the class 'class' in this vocabulary.
    Answer the predicate that denotes comment annotation on an ontology element
    Answer 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 an ALL_DIFFERENT() axiom to the set of individuals that are pair-wise different from each other.
    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.
    The property that denotes the head of a list
    Answer the resource that represents the class of properties that are functional, i.e. whose range is unique for a given domain element.
    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.
    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
    Answer true if the given resource has an alias in this profile.
    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 another
    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.
    Answer the predicate that denotes label annotation on an ontology element
    The rdf:type for cells in this list
    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 values
    Answer the predicate that denotes a qualified restriction on a given property to have at most a certain number of values
    Answer the predicate that denotes a restriction on a given property to have at least a certain number of values
    Answer the predicate that denotes a qualified restriction on a given property to have at least a certain number of values
    Answer the string that is the namespace prefix for this vocabulary
    NIL()
    The resource that denotes the end of the list
    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 a RESTRICTION() to a property that it is a restriction on.
    Answer the predicate that denotes that a class comprises exactly one of a given closed set individuals.
    Answer the resource that represents the class of ontology header elements.
    Answer the class that denotes an ontology property
    Answer the predicate that documents that one ontology is a prior version of another.
    Answer the resource that represents the general class of properties.
    Answer the predicate that denotes the range of a property
    The property that denotes the tail of a list
    Answer the resource that represents the a class formed by placing constraints (restrictions) on the values of a property.
    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.
    Answer the predicate that denotes seeAlso annotation on an ontology element
    Answer 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.
    Answer the resource that represents the class all individuals.
    Answer the resource that represents the class of properties that apply transitively.
    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

      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

      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

      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 for res if more than one is defined, or null if no alias is defined for res.
    • listAliasesFor

      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, 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 test
      g - The enhanced graph containing n, which is assumed to be an OntModel.
      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 resource res
    • getLabel

      String getLabel()

      Answer a descriptive string for this profile, for use in debugging and other output.