it.unibz.inf.ontop.spec.ontology

Interface ABoxAssertionSupplier

public interface ABoxAssertionSupplier

Method Summary

Modifier and Type	Method and Description
ClassAssertion	createClassAssertion(String c, ObjectConstant o) Creates a class assertion (implements rule [C4])
DataPropertyAssertion	createDataPropertyAssertion(String dp, ObjectConstant o, RDFLiteralConstant v) Creates a data property assertion (implements rule [D4])
ObjectPropertyAssertion	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])

Method Detail

createClassAssertion

ClassAssertion createClassAssertion(String c,
                                    ObjectConstant o)
                             throws InconsistentOntologyException

Creates a class assertion (implements rule [C4])

Parameters:

c -

o -

Returns:

null if ce is the top class ([C4])

Throws:

InconsistentOntologyException - if ce is the bottom class ([C4])

createObjectPropertyAssertion

ObjectPropertyAssertion createObjectPropertyAssertion(String op,
                                                      ObjectConstant o1,
                                                      ObjectConstant o2)
                                               throws InconsistentOntologyException

Creates an object property assertion (ensures that the property is not inverse by swapping arguments if necessary) (implements rule [O4])

Parameters:

op -

o1 -

o2 -

Returns:

null if ope is the top property ([O4])

Throws:

InconsistentOntologyException - if ope is the bottom property ([O4])

createDataPropertyAssertion

DataPropertyAssertion createDataPropertyAssertion(String dp,
                                                  ObjectConstant o,
                                                  RDFLiteralConstant v)
                                           throws InconsistentOntologyException

Creates a data property assertion (implements rule [D4])

Parameters:

dp -

o -

v -

Returns:

null if dpe is the top property ([D4])

Throws:

InconsistentOntologyException - if dpe is the bottom property ([D4])