Uses of Class
it.unibz.inf.ontop.spec.ontology.InconsistentOntologyException

Packages that use InconsistentOntologyException

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

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

Methods in it.unibz.inf.ontop.spec.ontology that throw InconsistentOntologyException

Modifier and Type	Method and Description
void	OntologyBuilder.addClassAssertion(OClass ce, ObjectConstant o) inserts a class assertion (does nothing if ce is the top class, cf.
void	OntologyBuilder.addDataPropertyAssertion(DataPropertyExpression dpe, ObjectConstant o, RDFLiteralConstant v) inserts a data property assertion (does nothing if dpe is the top property, cf.
void	OntologyBuilder.addDataPropertyRangeAxiom(DataPropertyRangeExpression range, Datatype datatype)
void	OntologyBuilder.addDisjointClassesAxiom(ClassExpression... classes)
void	OntologyBuilder.addDisjointDataPropertiesAxiom(DataPropertyExpression... properties)
void	OntologyBuilder.addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... properties)
void	OntologyBuilder.addIrreflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
void	OntologyBuilder.addObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o2) inserts an object property assertion (ensures that the property is not inverse by swapping arguments if necessary) (does nothing if ope is the top property, cf.
void	OntologyBuilder.addReflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
void	OntologyBuilder.addSubClassOfAxiom(ClassExpression concept1, ClassExpression concept2)
void	OntologyBuilder.addSubPropertyOfAxiom(DataPropertyExpression included, DataPropertyExpression including)
void	OntologyBuilder.addSubPropertyOfAxiom(ObjectPropertyExpression included, ObjectPropertyExpression including)
ClassAssertion	ABoxAssertionSupplier.createClassAssertion(String c, ObjectConstant o) Creates a class assertion (implements rule [C4])
DataPropertyAssertion	ABoxAssertionSupplier.createDataPropertyAssertion(String dp, ObjectConstant o, RDFLiteralConstant v) Creates a data property assertion (implements rule [D4])
ObjectPropertyAssertion	ABoxAssertionSupplier.createObjectPropertyAssertion(String op, ObjectConstant o1, ObjectConstant o2) Creates an object property assertion (ensures that the property is not inverse by swapping arguments if necessary) (implements rule [O4])

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

Methods in it.unibz.inf.ontop.spec.ontology.impl that throw InconsistentOntologyException

Modifier and Type	Method and Description
void	OntologyBuilderImpl.addClassAssertion(OClass ce, ObjectConstant o)
void	OntologyBuilderImpl.addDataPropertyAssertion(DataPropertyExpression dpe, ObjectConstant o, RDFLiteralConstant v)
void	OntologyBuilderImpl.addDataPropertyRangeAxiom(DataPropertyRangeExpression range, Datatype datatype) Normalizes and adds a data property range axiom
void	OntologyBuilderImpl.addDisjointClassesAxiom(ClassExpression... ces) Normalizes and adds class disjointness axiom
void	OntologyBuilderImpl.addDisjointDataPropertiesAxiom(DataPropertyExpression... dpes) Normalizes and adds data property disjointness axiom
void	OntologyBuilderImpl.addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... opes) Normalizes and adds object property disjointness axiom
void	OntologyBuilderImpl.addIrreflexiveObjectPropertyAxiom(ObjectPropertyExpression ope) Normalizes and adds an irreflexive object property axiom
void	OntologyBuilderImpl.addObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o)
void	OntologyBuilderImpl.addReflexiveObjectPropertyAxiom(ObjectPropertyExpression ope) Normalizes and adds a reflexive object property axiom
void	OntologyBuilderImpl.addSubClassOfAxiom(ClassExpression ce1, ClassExpression ce2) Normalizes and adds subclass axiom
void	OntologyBuilderImpl.addSubPropertyOfAxiom(DataPropertyExpression dpe1, DataPropertyExpression dpe2) Normalizes and adds a data subproperty axiom
void	OntologyBuilderImpl.addSubPropertyOfAxiom(ObjectPropertyExpression ope1, ObjectPropertyExpression ope2) Normalizes and adds an object subproperty axiom
static ClassAssertion	OntologyBuilderImpl.createClassAssertion(OClass ce, ObjectConstant object) Creates a class assertion
static DataPropertyAssertion	OntologyBuilderImpl.createDataPropertyAssertion(DataPropertyExpression dpe, ObjectConstant o1, RDFLiteralConstant o2) Creates a data property assertion
static ObjectPropertyAssertion	OntologyBuilderImpl.createObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o2) Creates an object property assertion