Package it.unibz.inf.ontop.spec.ontology

Interface Summary

Interface	Description
ABoxAssertionSupplier
AnnotationAssertion	Represents AnnotationAssertion from the OWL 2 QL Specification AnnotationAssertion := 'AnnotationAssertion' '(' axiomAnnotations AnnotationProperty AnnotationSubject AnnotationValue ')' AnnotationSubject := IRI | AnonymousIndividual AnnotationValue := AnonymousIndividual | IRI | Literal
AnnotationProperty	Represents AnnotationProperty from the OWL 2 Specification AnnotationProperty := IRI
Assertion	Represents - ClassAssertion, - ObjectPropertyAssertion - DataPropertyAssertion - AnnotationAssertion from the OWL 2 QL Specification.
BinaryAxiom<T>	Represents the following from OWL 2 QL Specification: for T = ClassExpression: SubClassOf, EquivalentClasses, ObjectPropertyDomain, ObjectPropertyRange, DataPropertyDomain for T = DataRangeExpression: DataPropertyRange (sub is DataPropertyRangeExpression; super is Datatype) for T = ObjectPropertyExpression: SubObjectPropertyOf, EquivalentObjectProperties, SymmetricObjectProperties for T = DataPropertyExpression: SubDataPropertyOf, EquivalentDataProperties
ClassAssertion	Represents ClassAssertion from OWL 2 QL Specification ClassAssertion := 'ClassAssertion' '(' axiomAnnotations Class Individual ')'
ClassExpression	Represents subClassExpression in OWL 2 QL specification.
ClassifiedTBox	This is the interface for the class ClassifiedTBox where we are able to retrieve all the connection built in our DAG
DataPropertyAssertion	Represents DataPropertyAssertion from the OWL 2 QL Specification DataPropertyAssertion := 'DataPropertyAssertion' '(' axiomAnnotations DataPropertyExpression sourceIndividual targetValue ')' DataPropertyExpression := DataProperty Support for owl:topDataProperty and owl:bottomDataProperty
DataPropertyExpression	Represents DataPropertyExpression from the OWL 2 QL Specification DataPropertyExpression := DataProperty Support for owl:topDataProperty and owl:bottomDataProperty
DataPropertyRangeExpression	Represents the first argument of DataPropertyRange axiom
DataRangeExpression	Represents the following from OWL 2 QL Specification DataPropertyRangeExpression (first argument of DataPropertyRange axiom) and DataRange (including Datatype) No implementation.
DataSomeValuesFrom	Represents DataSomeValuesFrom from OWL 2 Specification DataSomeValuesFrom := 'DataSomeValuesFrom' '(' DataPropertyExpression { DataPropertyExpression } DataRange ')'
Datatype	Represents Datatype in OWL 2 Specification
Description	An entity descriptor, either role or class.
DescriptionBT	Represents partially ordered classes and object and data properties isTop/isBottom are two syntactic checks for the largest/smallest element in the partial order
EquivalencesDAG<T>
NaryAxiom<T>	Represents the following from OWL 2 QL Specification: for T = ClassExpression: DisjointClasses for T = ObjectPropertyExpression: DisjointObjectProperties and AsymmetricObjectProperty for T = DataPropertyExpression: DisjointDataProperties
ObjectPropertyAssertion	Represents ObjectPropertyAssertion from the OWL 2 QL Specification ObjectPropertyAssertion := 'ObjectPropertyAssertion' '(' axiomAnnotations ObjectPropertyExpression sourceIndividual targetIndividual ')' ObjectPropertyExpression := ObjectProperty | InverseObjectProperty InverseObjectProperty := 'ObjectInverseOf' '(' ObjectProperty ')' Support for owl:topObjectProperty and owl:bottomObjectProperty - the inverses of the two coincide with themselves
ObjectPropertyExpression	Represents ObjectPropertyExpression from the OWL 2 QL Specification ObjectPropertyExpression := ObjectProperty | InverseObjectProperty InverseObjectProperty := 'ObjectInverseOf' '(' ObjectProperty ')' Support for owl:topObjectProperty and owl:bottomObjectProperty - the inverses of the two coincide with themselves
ObjectSomeValuesFrom	Represents ObjectSomeValuesFrom from OWl 2 Specification A non-qualified property some restriction.
OClass	A named class.
Ontology
OntologyABox
OntologyBuilder
OntologyVocabularyCategory<T>

Class Summary

Class	Description
Equivalences<T>

Exception Summary

Exception	Description
InconsistentOntologyException