com.hp.hpl.jena.ontology
Interface Profile

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.

Version:

CVS $Id: Profile.java,v 1.10 2003/06/13 19:09:28 ian_dickinson Exp $

Author:

Ian Dickinson, HP Labs (email)

Method Summary

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
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	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 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.
Resource	getAliasFor(Resource res) Answer an alias for the given resource.
java.util.Iterator	getAnnotationProperties() Answer an iterator over the properties in this language that are denoted annotation properties.
java.util.Iterator	getAxiomTypes() Answer an iterator over the rdf:types in this language that denote stand-alone axioms.
java.util.Iterator	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_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 another
Property	IS_DEFINED_BY() Answer the predicate that denotes isDefinedBy annotation on an ontology element
boolean	isSupported(Node n, EnhGraph g, java.lang.Class 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
java.util.Iterator	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 values
Property	MIN_CARDINALITY() Answer the predicate that denotes a 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 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.
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

Method Detail

NAMESPACE

public 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

public Resource CLASS()

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()

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()

Answer the resource that represents the class all individuals.

Returns:

The resource that represents the concept of the top class

NOTHING

public Resource NOTHING()

Answer the resource that represents the necessarily empty class.

Returns:

The resource that represents the concept the bottom class.

PROPERTY

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public Resource ANNOTATION_PROPERTY()

Answer the class that denotes an annotation property

Returns:

The AnnotationProperty class

EQUIVALENT_PROPERTY

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

public 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

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

INVERSE_OF

public 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

public Property IMPORTS()

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

Returns:

The property that denotes ontology importing.

VERSION_INFO

public 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

public 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

public 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

public 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

public 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

public 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

public Property DOMAIN()

Answer the predicate that denotes the domain of a property.

Returns:

The property that denotes a property domain

RANGE

public Property RANGE()

Answer the predicate that denotes the range of a property

Returns:

The property that denotes the property range

LABEL

public Property LABEL()

Answer the predicate that denotes label annotation on an ontology element

Returns:

The property that denotes the label annotation

COMMENT

public Property COMMENT()

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()

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()

Answer the predicate that denotes isDefinedBy annotation on an ontology element

Returns:

The property that denotes the isDefiendBy annotation

FIRST

public 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

public 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

public Resource LIST()

The rdf:type for cells in this list

Returns:

The list rdf:type resource

NIL

public Resource NIL()

The resource that denotes the end of the list

getAxiomTypes

public java.util.Iterator getAxiomTypes()

Answer an iterator over the rdf:types in this language that denote stand-alone axioms.

Returns:

An iterator over axiom types.

getAnnotationProperties

public java.util.Iterator 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

public java.util.Iterator 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

public 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

public 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

public java.util.Iterator 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

public boolean isSupported(Node n,
                           EnhGraph g,
                           java.lang.Class 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.