it.unibz.inf.ontop.spec.ontology

Interface OntologyBuilder

All Known Implementing Classes:

OntologyBuilderImpl

public interface OntologyBuilder

Method Summary

Modifier and Type	Method and Description
void	addAnnotationAssertion(AnnotationProperty ap, ObjectConstant o, Constant c) inserts an annotation property assertion
void	addClassAssertion(OClass ce, ObjectConstant o) inserts a class assertion (does nothing if ce is the top class, cf.
void	addDataPropertyAssertion(DataPropertyExpression dpe, ObjectConstant o, RDFLiteralConstant v) inserts a data property assertion (does nothing if dpe is the top property, cf.
void	addDataPropertyRangeAxiom(DataPropertyRangeExpression range, Datatype datatype)
void	addDisjointClassesAxiom(ClassExpression... classes)
void	addDisjointDataPropertiesAxiom(DataPropertyExpression... properties)
void	addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... properties)
void	addFunctionalDataPropertyAxiom(DataPropertyExpression prop)
void	addFunctionalObjectPropertyAxiom(ObjectPropertyExpression prop)
void	addIrreflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
void	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	addReflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
void	addSubClassOfAxiom(ClassExpression concept1, ClassExpression concept2)
void	addSubPropertyOfAxiom(DataPropertyExpression included, DataPropertyExpression including)
void	addSubPropertyOfAxiom(ObjectPropertyExpression included, ObjectPropertyExpression including)
OntologyVocabularyCategory<AnnotationProperty>	annotationProperties()
Ontology	build()
OntologyVocabularyCategory<OClass>	classes()
ObjectPropertyExpression	createAuxiliaryObjectProperty() create an auxiliary object property (auxiliary properties result from ontology normalization)
OntologyVocabularyCategory<DataPropertyExpression>	dataProperties()
AnnotationProperty	declareAnnotationProperty(org.apache.commons.rdf.api.IRI iri)
OClass	declareClass(org.apache.commons.rdf.api.IRI iri) declare an entity
DataPropertyExpression	declareDataProperty(org.apache.commons.rdf.api.IRI iri)
ObjectPropertyExpression	declareObjectProperty(org.apache.commons.rdf.api.IRI iri)
Datatype	getDatatype(String uri)
OntologyVocabularyCategory<ObjectPropertyExpression>	objectProperties()

Method Detail

classes

OntologyVocabularyCategory<OClass> classes()

objectProperties

OntologyVocabularyCategory<ObjectPropertyExpression> objectProperties()

dataProperties

OntologyVocabularyCategory<DataPropertyExpression> dataProperties()

annotationProperties

OntologyVocabularyCategory<AnnotationProperty> annotationProperties()

getDatatype

Datatype getDatatype(String uri)

declareClass

OClass declareClass(org.apache.commons.rdf.api.IRI iri)

declare an entity

Parameters:

iri -

Returns:

entity object

declareObjectProperty

ObjectPropertyExpression declareObjectProperty(org.apache.commons.rdf.api.IRI iri)

declareDataProperty

DataPropertyExpression declareDataProperty(org.apache.commons.rdf.api.IRI iri)

declareAnnotationProperty

AnnotationProperty declareAnnotationProperty(org.apache.commons.rdf.api.IRI iri)

addSubClassOfAxiom

void addSubClassOfAxiom(ClassExpression concept1,
                        ClassExpression concept2)
                 throws InconsistentOntologyException

Throws:

InconsistentOntologyException

addDataPropertyRangeAxiom

void addDataPropertyRangeAxiom(DataPropertyRangeExpression range,
                               Datatype datatype)
                        throws InconsistentOntologyException

Throws:

InconsistentOntologyException

addSubPropertyOfAxiom

void addSubPropertyOfAxiom(ObjectPropertyExpression included,
                           ObjectPropertyExpression including)
                    throws InconsistentOntologyException

Throws:

InconsistentOntologyException

addSubPropertyOfAxiom

void addSubPropertyOfAxiom(DataPropertyExpression included,
                           DataPropertyExpression including)
                    throws InconsistentOntologyException

Throws:

InconsistentOntologyException

addDisjointClassesAxiom

void addDisjointClassesAxiom(ClassExpression... classes)
                      throws InconsistentOntologyException

Throws:

InconsistentOntologyException

addDisjointObjectPropertiesAxiom

void addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... properties)
                               throws InconsistentOntologyException

Throws:

InconsistentOntologyException

addDisjointDataPropertiesAxiom

void addDisjointDataPropertiesAxiom(DataPropertyExpression... properties)
                             throws InconsistentOntologyException

Throws:

InconsistentOntologyException

addReflexiveObjectPropertyAxiom

void addReflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
                              throws InconsistentOntologyException

Throws:

InconsistentOntologyException

addIrreflexiveObjectPropertyAxiom

void addIrreflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
                                throws InconsistentOntologyException

Throws:

InconsistentOntologyException

addFunctionalObjectPropertyAxiom

void addFunctionalObjectPropertyAxiom(ObjectPropertyExpression prop)

addFunctionalDataPropertyAxiom

void addFunctionalDataPropertyAxiom(DataPropertyExpression prop)

createAuxiliaryObjectProperty

ObjectPropertyExpression createAuxiliaryObjectProperty()

create an auxiliary object property (auxiliary properties result from ontology normalization)

addClassAssertion

void addClassAssertion(OClass ce,
                       ObjectConstant o)
                throws InconsistentOntologyException

inserts a class assertion (does nothing if ce is the top class, cf. rule [C4])

Parameters:

ce -

o -

Throws:

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

addObjectPropertyAssertion

void addObjectPropertyAssertion(ObjectPropertyExpression ope,
                                ObjectConstant o1,
                                ObjectConstant o2)
                         throws InconsistentOntologyException

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. rule [O4])

Parameters:

ope -

o1 -

o2 -

Throws:

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

addDataPropertyAssertion

void addDataPropertyAssertion(DataPropertyExpression dpe,
                              ObjectConstant o,
                              RDFLiteralConstant v)
                       throws InconsistentOntologyException

inserts a data property assertion (does nothing if dpe is the top property, cf. rule [O4])

Parameters:

dpe -

o -

v -

Throws:

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

addAnnotationAssertion

void addAnnotationAssertion(AnnotationProperty ap,
                            ObjectConstant o,
                            Constant c)

inserts an annotation property assertion

Parameters:

ap -

o -

c -

build

Ontology build()