Class RDFSProfile

  • All Implemented Interfaces:
    Profile

    public class RDFSProfile
    extends AbstractProfile

    Ontology language profile for working with RDFS ontologies. RDFS is a (small) sub-set of OWL, mostly.

    • Constructor Summary

      Constructors 
      Constructor Description
      RDFSProfile()  
    • Method Summary

      All Methods Instance Methods Concrete 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 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.
      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.
      java.util.Iterator<Resource> getAnnotationProperties()
      The annotation properties of OWL
      java.util.Iterator<Resource> getAxiomTypes()
      The only first-class axiom type in OWL is AllDifferent
      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.
      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, 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 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
      java.lang.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 java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • RDFSProfile

        public RDFSProfile()
    • Method Detail

      • NAMESPACE

        public java.lang.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 java.util.Iterator<Resource> getAxiomTypes()
        The only first-class axiom type in OWL is AllDifferent
        Returns:
        An iterator over axiom types.
      • getAnnotationProperties

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

        public java.util.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,
                                       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 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 java.lang.String getLabel()

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

        Returns:
        "OWL Full"