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

Packages that use ClassAssertion

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

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

Methods in it.unibz.inf.ontop.spec.ontology that return ClassAssertion

Modifier and Type	Method and Description
ClassAssertion	ABoxAssertionSupplier.createClassAssertion(String c, ObjectConstant o) Creates a class assertion (implements rule [C4])

Methods in it.unibz.inf.ontop.spec.ontology that return types with arguments of type ClassAssertion

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<ClassAssertion>	OntologyABox.getClassAssertions()

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

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

Modifier and Type	Class and Description
class	ClassAssertionImpl Represents ClassAssertion from OWL 2 QL Specification ClassAssertion := 'ClassAssertion' '(' axiomAnnotations Class Individual ')'

Methods in it.unibz.inf.ontop.spec.ontology.impl that return ClassAssertion

Modifier and Type	Method and Description
static ClassAssertion	OntologyBuilderImpl.createClassAssertion(OClass ce, ObjectConstant object) Creates a class assertion