Uses of Interface
it.unibz.inf.ontop.spec.ontology.Assertion

Packages that use Assertion

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

Uses of Assertion in it.unibz.inf.ontop.spec.ontology

Subinterfaces of Assertion in it.unibz.inf.ontop.spec.ontology

Modifier and Type	Interface and Description
interface	AnnotationAssertion Represents AnnotationAssertion from the OWL 2 QL Specification AnnotationAssertion := 'AnnotationAssertion' '(' axiomAnnotations AnnotationProperty AnnotationSubject AnnotationValue ')' AnnotationSubject := IRI | AnonymousIndividual AnnotationValue := AnonymousIndividual | IRI | Literal
interface	ClassAssertion Represents ClassAssertion from OWL 2 QL Specification ClassAssertion := 'ClassAssertion' '(' axiomAnnotations Class Individual ')'
interface	DataPropertyAssertion Represents DataPropertyAssertion from the OWL 2 QL Specification DataPropertyAssertion := 'DataPropertyAssertion' '(' axiomAnnotations DataPropertyExpression sourceIndividual targetValue ')' DataPropertyExpression := DataProperty Support for owl:topDataProperty and owl:bottomDataProperty
interface	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

Uses of Assertion in it.unibz.inf.ontop.spec.ontology.impl

Classes in it.unibz.inf.ontop.spec.ontology.impl that implement Assertion

Modifier and Type	Class and Description
class	AnnotationAssertionImpl Represents AnnotationAssertion from the OWL 2 QL Specification AnnotationAssertion := 'AnnotationAssertion' '(' axiomAnnotations AnnotationProperty AnnotationSubject AnnotationValue ')' AnnotationSubject := IRI | AnonymousIndividual AnnotationValue := AnonymousIndividual | IRI | Literal
class	ClassAssertionImpl Represents ClassAssertion from OWL 2 QL Specification ClassAssertion := 'ClassAssertion' '(' axiomAnnotations Class Individual ')'
class	DataPropertyAssertionImpl Represents DataPropertyAssertion from the OWL 2 QL Specification DataPropertyAssertion := 'DataPropertyAssertion' '(' axiomAnnotations DataPropertyExpression sourceIndividual targetValue ')' DataPropertyExpression := DataProperty Support for owl:topDataProperty and owl:bottomDataProperty
class	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