Package com.hp.hpl.jena.ontology

Provides a set of abstractions and convenience classes for accessing and manipluating ontologies represented in RDF.

See:
Description

Interface Summary

AllDifferent	Interface defining an individual in which all members of a collection are declared pair-wise disjoint.
AllValuesFromRestriction	A property restriction that requires the named property to have have any range instances to be members of a given class.
AnnotationProperty	Interface that represents the category of annotation properties in an ontology language.
Axiom	Interface defining the a general super-type for axioms specified by the ontology.
BooleanClassDescription	Encapsulates a class description formed from a boolean combination of other class descriptions (ie union, intersection or complement).
CardinalityRestriction	A property restriction that requires the named property to have have exactly the given number of values for a given instance to be a member of the class defined by the restriction.
ClassAxiom	An axiom about classes, such as class equivalence or the sub-class relationship.
ComplementClass	Class description that is formed from the complement of another class description
DatatypeProperty	Interface that encapsulates the class of properties whose range values are datatype values (as distinct from ObjectProperty whose values are individuals).
DifferentFromFact	Encapsulates the fact that two individuals are stated to be distinct.
DisjointClassesAxiom	A type of axiom denoting disjoint-ness between two class descriptions.
DistinctMembersFact	Encapsulates the fact stating that a list of individuals are pair-wise distinct (the unique names assumption, applied to a restricted domain).
EnumeratedClass	Encapsulates a class description representing a closed enumeration of individuals.
EquivalentClassAxiom	A type of axiom denoting equivalence between two class descriptions.
EquivalentPropertyAxiom	Axiom stating that one property description is equivalent to another.
Fact	Encapsulates statements in the ontology model that represent facts about individuals.
FunctionalProperty	Interface encapsulating the class of properties that are functional: that is, properties in which a given given domain value has a unique value in the range.
HasValueRestriction	A property restriction that requires the named property to have a given individual as its value.
Individual	Interface that encapsulates an individual in an ontology, sometimes referred to as a fact or assertion, or a member of the a-box.
IntersectionClass	Encapsulates a class description that is the intersection of a list of class expressions.
InverseFunctionalProperty	Interface encapsulating the class of properties that are inverse functional: that is, properties in which a given given range value has a unique value in the domain (effectively, a key).
MaxCardinalityRestriction	A property restriction that requires the named property to have have at most the given number of values for a given instance to be a member of the class defined by the restriction.
MinCardinalityRestriction	A property restriction that requires the named property to have have at least the given number of values for a given instance to be a member of the class defined by the restriction.
ObjectProperty	Interface encapsulating properties whose range values are restricted to individuals (as distinct from datatype valued properties).
OntClass	Interface that represents an ontology node characterising a class description.
OntModel	An enhanced view of a Jena model that is known to contain ontology data, under a given ontology vocabulary (such as OWL).
Ontology	Interface encapsulating the distinguished instance in a given ontology document that presents meta-data and other processing data about the document (including which other documents are imported by a document).
OntProperty	Interface encapsulating a property in an ontology.
OntResource	Provides a common super-type for all of the abstractions in this ontology representation package.
Profile	Interface that encapsulates the elements of a general vocabulary corresponding to a particular ontology language.
PropertyAxiom	Encapsulates axioms about properties, such as sub-property and equivalent property.
Restriction	Interface that encapsulates a class description formed by restricting one or more properties to have constrained values and/or cardinalities.
SameAsFact	Represents the fact that one idividual is stated to be the same as another.
SomeValuesFromRestriction	A property restriction that requires the named property to have at least one range instance belonging to the given class.
SubClassAxiom	A type of axiom denoting equivalence between two class descriptions.
SubPropertyAxiom	Axiom that states that one property description is a sub-property of another.
SymmetricProperty	Interface that encapsulates a property that is symmetric, i.e. one in which if p(x, y) holds, thenp(y, x) must also hold.
TransitiveProperty	Interface that encapsulates an property that is transitive i.e. one in which if p(x, y) holds, and p(x, z) holds, then p(x, z) must also hold.
UnionClass	Class description that is formed from the union of a list of a class descriptions.

Class Summary

OntDocumentManager	Provides services for managing ontology documents, including loading imported documents, and locally caching documents from resolvable URL's to improve load performance.
OntModelSpec	Encapsulates a description of the components of an ontology model, including the storage scheme, reasoner and language profile.
ProfileRegistry	Provides a means to map between the URI's that represent ontology languages and their language profiles.

Exception Summary

ConversionException	Exception that is thrown when an ontology resource is converted to another facet, using as(), and the requested conversion is not possible.
LanguageConsistencyException	An exception that denotes some inconsistency between the arguments to a method in the ontology API, and the language definition for a given ontology profile.
OntologyException	Exception for generic errors that arise while processing ontologies
ProfileException	Exception that is raised when an ontology operation is attempted that is not present in the language profile for the current ontology model.

Package com.hp.hpl.jena.ontology Description

Provides a set of abstractions and convenience classes for accessing and manipluating ontologies represented in RDF. The two prevalent ontology languages based on RDF are OWL and DAML+OIL. Since these two languages are similar, this package attempts to present a common set of abstractions, parameterised by vocabularies fot the different languages.

Note: this package primarily seeks to provide easy programmatic access to the terms in the ontologies. The ontology languages have well-defined semantics that provide entailment rules for triples not directly asserted by the ontology. By and large, an inference engine is needed to access these entailed triples, for which several options and an open architecture are provided elsewhere in Jena.