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

Class Summary

Class	Description
AnnotationAssertionImpl	Represents AnnotationAssertion from the OWL 2 QL Specification AnnotationAssertion := 'AnnotationAssertion' '(' axiomAnnotations AnnotationProperty AnnotationSubject AnnotationValue ')' AnnotationSubject := IRI | AnonymousIndividual AnnotationValue := AnonymousIndividual | IRI | Literal
AnnotationPropertyImpl	Represents AnnotationPropertyExpression from the OWL 2 QL Specification AnnotationProperty := IRI
BinaryAxiomImpl<T>
ClassAssertionImpl	Represents ClassAssertion from OWL 2 QL Specification ClassAssertion := 'ClassAssertion' '(' axiomAnnotations Class Individual ')'
ClassifiedTBoxImpl	ClassifiedTBoxImpl a DAG-based TBox reasoner
ClassImpl
DataPropertyAssertionImpl	Represents DataPropertyAssertion from the OWL 2 QL Specification DataPropertyAssertion := 'DataPropertyAssertion' '(' axiomAnnotations DataPropertyExpression sourceIndividual targetValue ')' DataPropertyExpression := DataProperty Support for owl:topDataProperty and owl:bottomDataProperty
DataPropertyExpressionImpl	Represents DataPropertyExpression from the OWL 2 QL Specification DataPropertyExpression := DataProperty Support for owl:topDataProperty and owl:bottomDataProperty
DataPropertyRangeExpressionImpl
DataSomeValuesFromImpl	DataSomeValuesFrom in OWL 2 QL Specification
DatatypeImpl
EquivalencesDAGImpl<T>	DAG from an OntologyGraph The vertices of the DAG are equivalence sets (Equivalences) The edges form the minimal set whose transitive and reflexive closure coincides with the transitive and reflexive closure of the ontology graph
GabowSCC<V,E>	Allows obtaining the strongly connected components of a directed graph.
NaryAxiomImpl<T>
ObjectPropertyAssertionImpl	Represents ObjectPropertyAssertion from 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
ObjectPropertyExpressionImpl	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 (rule [R6])
ObjectSomeValuesFromImpl	subObjectSomeValuesFrom in OWL 2 QL Specification
OntologyBuilderImpl
OntologyImpl