it.unibz.inf.ontop.spec.ontology

Interfaces

• ABoxAssertionSupplier
• AnnotationAssertion
• AnnotationProperty
• Assertion
• BinaryAxiom
• ClassAssertion
• ClassExpression
• ClassifiedTBox
• DataPropertyAssertion
• DataPropertyExpression
• DataPropertyRangeExpression
• DataRangeExpression
• DataSomeValuesFrom
• Datatype
• Description
• DescriptionBT
• EquivalencesDAG
• NaryAxiom
• ObjectPropertyAssertion
• ObjectPropertyExpression
• ObjectSomeValuesFrom
• OClass
• Ontology
• OntologyABox
• OntologyBuilder
• OntologyVocabularyCategory

Classes

• Equivalences

Exceptions

• InconsistentOntologyException