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

Packages that use it.unibz.inf.ontop.spec.ontology

Package	Description
it.unibz.inf.ontop.injection
it.unibz.inf.ontop.spec
it.unibz.inf.ontop.spec.impl
it.unibz.inf.ontop.spec.ontology
it.unibz.inf.ontop.spec.ontology.impl

Classes in it.unibz.inf.ontop.spec.ontology used by it.unibz.inf.ontop.injection

Class and Description
ClassifiedTBox This is the interface for the class ClassifiedTBox where we are able to retrieve all the connection built in our DAG

Classes in it.unibz.inf.ontop.spec.ontology used by it.unibz.inf.ontop.spec

Class and Description
ClassifiedTBox This is the interface for the class ClassifiedTBox where we are able to retrieve all the connection built in our DAG

Classes in it.unibz.inf.ontop.spec.ontology used by it.unibz.inf.ontop.spec.impl

Class and Description
ClassifiedTBox This is the interface for the class ClassifiedTBox where we are able to retrieve all the connection built in our DAG

Classes in it.unibz.inf.ontop.spec.ontology used by it.unibz.inf.ontop.spec.ontology

Class and Description
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.
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
Equivalences
EquivalencesDAG
InconsistentOntologyException
NaryAxiom 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
OntologyVocabularyCategory

Classes in it.unibz.inf.ontop.spec.ontology used by it.unibz.inf.ontop.spec.ontology.impl

Class and 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 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
Equivalences
EquivalencesDAG
InconsistentOntologyException
NaryAxiom 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