Module org.apache.jena.core
Package org.apache.jena.ontology.impl

Class OWLProfile

java.lang.Object
org.apache.jena.ontology.impl.AbstractProfile
org.apache.jena.ontology.impl.OWLProfile
All Implemented Interfaces:
Profile
Direct Known Subclasses:
OWLDLProfile, OWLLiteProfile
public class OWLProfile extends AbstractProfile

Ontology language profile implementation for the Full variant of the OWL 2002/07 language.

  • Constructor Summary

    Constructors
    Constructor
    Description
    OWLProfile()
     

  • Method Summary

    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 property
    Property
    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 values
    Property
    CARDINALITY_Q()
    Answer the predicate that denotes a qualified 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.
    static boolean
    containsSome(EnhGraph g, Node n, Property p)
     
    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 Profile.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.
    Iterator<Resource>
    getAnnotationProperties()
    The annotation properties of OWL
    Iterator<Resource>
    getAxiomTypes()
    The only first-class axiom type in OWL is AllDifferent
    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.
    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
    Property
    MAX_CARDINALITY()
    Answer the predicate that denotes a restriction on a given property to have at most 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
    MIN_CARDINALITY()
    Answer the predicate that denotes a restriction on a given property to have at least 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
    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 Profile.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()
    Answer the resource that represents the class of ontology header elements.
    Resource
    ONTOLOGY_PROPERTY()
    Answer the class that denotes an ontology property
    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

    Methods inherited from class org.apache.jena.ontology.impl.AbstractProfile

    getAliasFor, hasAliasFor, listAliasesFor

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • OWLProfile

      public OWLProfile()

  • Method Details

    • NAMESPACE

      public String NAMESPACE()
      Description copied from interface: Profile

      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

      public Resource CLASS()
      Description copied from interface: Profile

      Answer the resource that represents the class 'class' in this vocabulary.

      Returns:
      The resource that represents the concept of a class

    • RESTRICTION

      public Resource RESTRICTION()
      Description copied from interface: Profile

      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

      public Resource THING()
      Description copied from interface: Profile

      Answer the resource that represents the class all individuals.

      Returns:
      The resource that represents the concept of the top class

    • NOTHING

      public Resource NOTHING()
      Description copied from interface: Profile

      Answer the resource that represents the necessarily empty class.

      Returns:
      The resource that represents the concept the bottom class.

    • PROPERTY

      public Resource PROPERTY()
      Description copied from interface: Profile

      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

      public Resource OBJECT_PROPERTY()
      Description copied from interface: Profile

      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

      public Resource DATATYPE_PROPERTY()
      Description copied from interface: Profile

      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

      public Resource TRANSITIVE_PROPERTY()
      Description copied from interface: Profile

      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

      public Resource SYMMETRIC_PROPERTY()
      Description copied from interface: Profile

      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

      public Resource FUNCTIONAL_PROPERTY()
      Description copied from interface: Profile

      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

      public Resource INVERSE_FUNCTIONAL_PROPERTY()
      Description copied from interface: Profile

      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

      public Resource ALL_DIFFERENT()
      Description copied from interface: Profile

      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

      public Resource ONTOLOGY()
      Description copied from interface: Profile

      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

      public Resource DEPRECATED_CLASS()
      Description copied from interface: Profile

      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

      public Resource DEPRECATED_PROPERTY()
      Description copied from interface: Profile

      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

      public Resource ANNOTATION_PROPERTY()
      Description copied from interface: Profile

      Answer the class that denotes an annotation property

      Returns:
      The AnnotationProperty class

    • ONTOLOGY_PROPERTY

      public Resource ONTOLOGY_PROPERTY()
      Description copied from interface: Profile

      Answer the class that denotes an ontology property

      Returns:
      The OntologyProperty class

    • LIST

      public Resource LIST()
      Description copied from interface: Profile

      The rdf:type for cells in this list

      Returns:
      The list rdf:type resource

    • NIL

      public Resource NIL()
      Description copied from interface: Profile

      The resource that denotes the end of the list

    • DATARANGE

      public Resource DATARANGE()
      Description copied from interface: Profile

      Answer the class that defines a closed range of concrete data values.

      Returns:
      The DataRange class

    • EQUIVALENT_PROPERTY

      public Property EQUIVALENT_PROPERTY()
      Description copied from interface: Profile

      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

      public Property EQUIVALENT_CLASS()
      Description copied from interface: Profile

      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

      public Property DISJOINT_WITH()
      Description copied from interface: Profile

      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

      public Property SAME_INDIVIDUAL_AS()
      Description copied from interface: Profile

      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

      public Property SAME_AS()
      Description copied from interface: Profile

      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

      public Property DIFFERENT_FROM()
      Description copied from interface: Profile

      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

      public Property DISTINCT_MEMBERS()
      Description copied from interface: Profile

      Answer the predicate that maps from an Profile.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

      public Property UNION_OF()
      Description copied from interface: Profile

      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

      public Property INTERSECTION_OF()
      Description copied from interface: Profile

      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

      public Property COMPLEMENT_OF()
      Description copied from interface: Profile

      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

      public Property ONE_OF()
      Description copied from interface: Profile

      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

      public Property ON_PROPERTY()
      Description copied from interface: Profile

      Answer the predicate that maps from a Profile.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

      public Property ALL_VALUES_FROM()
      Description copied from interface: Profile

      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

      public Property HAS_VALUE()
      Description copied from interface: Profile

      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

      public Property SOME_VALUES_FROM()
      Description copied from interface: Profile

      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

      public Property MIN_CARDINALITY()
      Description copied from interface: Profile

      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

      public Property MAX_CARDINALITY()
      Description copied from interface: Profile

      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

      public Property CARDINALITY()
      Description copied from interface: Profile

      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.

    • INVERSE_OF

      public Property INVERSE_OF()
      Description copied from interface: Profile

      Answer the predicate that denotes that one property is the inverse of another

      Returns:
      The property that denotes the inverse relationship between properties

    • IMPORTS

      public Property IMPORTS()
      Description copied from interface: Profile

      Answer the predicate that denotes that one ontology document imports another.

      Returns:
      The property that denotes ontology importing.

    • PRIOR_VERSION

      public Property PRIOR_VERSION()
      Description copied from interface: Profile

      Answer the predicate that documents that one ontology is a prior version of another.

      Returns:
      The property that denotes ontology versioning

    • BACKWARD_COMPATIBLE_WITH

      public Property BACKWARD_COMPATIBLE_WITH()
      Description copied from interface: Profile

      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

      public Property INCOMPATIBLE_WITH()
      Description copied from interface: Profile

      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_PROPERTY_OF

      public Property SUB_PROPERTY_OF()
      Description copied from interface: Profile

      Answer the predicate that denotes that one property is a sub-property of another.

      Returns:
      The property that denotes the sub-property relationship.

    • SUB_CLASS_OF

      public Property SUB_CLASS_OF()
      Description copied from interface: Profile

      Answer the predicate that denotes that one class is a sub-class of another.

      Returns:
      The property that the sub-class relationship.

    • DOMAIN

      public Property DOMAIN()
      Description copied from interface: Profile

      Answer the predicate that denotes the domain of a property.

      Returns:
      The property that denotes a property domain

    • RANGE

      public Property RANGE()
      Description copied from interface: Profile

      Answer the predicate that denotes the range of a property

      Returns:
      The property that denotes the property range

    • FIRST

      public Property FIRST()
      Description copied from interface: Profile

      The property that denotes the head of a list

      Returns:
      The property that maps from a cell in a list to its value

    • REST

      public Property REST()
      Description copied from interface: Profile

      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

    • MIN_CARDINALITY_Q

      public Property MIN_CARDINALITY_Q()
      Description copied from interface: Profile

      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

      public Property MAX_CARDINALITY_Q()
      Description copied from interface: Profile

      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

      public Property CARDINALITY_Q()
      Description copied from interface: Profile

      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

      public Property HAS_CLASS_Q()
      Description copied from interface: Profile

      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.

    • VERSION_INFO

      public Property VERSION_INFO()
      Description copied from interface: Profile

      Answer the predicate that denotes version-info metadata on an ontology header

      Returns:
      The property that denotes ontology version information.

    • LABEL

      public Property LABEL()
      Description copied from interface: Profile

      Answer the predicate that denotes label annotation on an ontology element

      Returns:
      The property that denotes the label annotation

    • COMMENT

      public Property COMMENT()
      Description copied from interface: Profile

      Answer the predicate that denotes comment annotation on an ontology element

      Returns:
      The property that denotes the comment annotation

    • SEE_ALSO

      public Property SEE_ALSO()
      Description copied from interface: Profile

      Answer the predicate that denotes seeAlso annotation on an ontology element

      Returns:
      The property that denotes the seeAlso annotation

    • IS_DEFINED_BY

      public Property IS_DEFINED_BY()
      Description copied from interface: Profile

      Answer the predicate that denotes isDefinedBy annotation on an ontology element

      Returns:
      The property that denotes the isDefiendBy annotation

    • getAxiomTypes

      public Iterator<Resource> getAxiomTypes()
      The only first-class axiom type in OWL is AllDifferent
      Returns:
      An iterator over axiom types.

    • getAnnotationProperties

      public Iterator<Resource> getAnnotationProperties()
      The annotation properties of OWL
      Returns:
      An iterator over annotation properties.

    • getClassDescriptionTypes

      public Iterator<Resource> getClassDescriptionTypes()
      Description copied from interface: Profile

      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.

    • isSupported

      public <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

      public String getLabel()

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

      Returns:
      "OWL Full"

    • containsSome

      public static boolean containsSome(EnhGraph g, Node n, Property p)