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

Class OntologyBuilderImpl

java.lang.Object

it.unibz.inf.ontop.spec.ontology.impl.OntologyBuilderImpl

All Implemented Interfaces:

OntologyBuilder

public class OntologyBuilderImpl
extends Object
implements 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) Normalizes and adds a data property range axiom
void	addDisjointClassesAxiom(ClassExpression... ces) Normalizes and adds class disjointness axiom
void	addDisjointDataPropertiesAxiom(DataPropertyExpression... dpes) Normalizes and adds data property disjointness axiom
void	addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... opes) Normalizes and adds object property disjointness axiom
void	addFunctionalDataPropertyAxiom(DataPropertyExpression prop)
void	addFunctionalObjectPropertyAxiom(ObjectPropertyExpression prop)
void	addIrreflexiveObjectPropertyAxiom(ObjectPropertyExpression ope) Normalizes and adds an irreflexive object property axiom
void	addObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o) 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) Normalizes and adds a reflexive object property axiom
void	addSubClassOfAxiom(ClassExpression ce1, ClassExpression ce2) Normalizes and adds subclass axiom
void	addSubPropertyOfAxiom(DataPropertyExpression dpe1, DataPropertyExpression dpe2) Normalizes and adds a data subproperty axiom
void	addSubPropertyOfAxiom(ObjectPropertyExpression ope1, ObjectPropertyExpression ope2) Normalizes and adds an object subproperty axiom
OntologyVocabularyCategory<AnnotationProperty>	annotationProperties()
static ABoxAssertionSupplier	assertionSupplier(org.apache.commons.rdf.api.RDF rdfFactory)
Ontology	build()
static OntologyBuilder	builder(org.apache.commons.rdf.api.RDF rdfFactory)
OntologyVocabularyCategory<OClass>	classes()
static AnnotationAssertion	createAnnotationAssertion(AnnotationProperty ap, ObjectConstant o, Constant c) Creates an annotation assertion AnnotationAssertion := 'AnnotationAssertion' '(' axiomAnnotations AnnotationProperty AnnotationSubject AnnotationValue ')' AnnotationSubject := IRI | AnonymousIndividual
ObjectPropertyExpression	createAuxiliaryObjectProperty() create an auxiliary object property (auxiliary properties result from ontology normalization)
static ClassAssertion	createClassAssertion(OClass ce, ObjectConstant object) Creates a class assertion
static DataPropertyAssertion	createDataPropertyAssertion(DataPropertyExpression dpe, ObjectConstant o1, RDFLiteralConstant o2) Creates a data property assertion
static ObjectPropertyAssertion	createObjectPropertyAssertion(ObjectPropertyExpression ope, ObjectConstant o1, ObjectConstant o2) Creates an object property assertion
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 uri)
ObjectPropertyExpression	declareObjectProperty(org.apache.commons.rdf.api.IRI iri)
Datatype	getDatatype(String uri)
OntologyVocabularyCategory<ObjectPropertyExpression>	objectProperties()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

builder

public static OntologyBuilder builder(org.apache.commons.rdf.api.RDF rdfFactory)

assertionSupplier

public static ABoxAssertionSupplier assertionSupplier(org.apache.commons.rdf.api.RDF rdfFactory)

classes

public OntologyVocabularyCategory<OClass> classes()

Specified by:

classes in interface OntologyBuilder

objectProperties

public OntologyVocabularyCategory<ObjectPropertyExpression> objectProperties()

Specified by:

objectProperties in interface OntologyBuilder

dataProperties

public OntologyVocabularyCategory<DataPropertyExpression> dataProperties()

Specified by:

dataProperties in interface OntologyBuilder

annotationProperties

public OntologyVocabularyCategory<AnnotationProperty> annotationProperties()

Specified by:

annotationProperties in interface OntologyBuilder

declareClass

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

Description copied from interface: OntologyBuilder

declare an entity

Specified by:

declareClass in interface OntologyBuilder

Returns:

entity object

declareObjectProperty

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

Specified by:

declareObjectProperty in interface OntologyBuilder

declareDataProperty

public DataPropertyExpression declareDataProperty(org.apache.commons.rdf.api.IRI uri)

Specified by:

declareDataProperty in interface OntologyBuilder

declareAnnotationProperty

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

Specified by:

declareAnnotationProperty in interface OntologyBuilder

getDatatype

public Datatype getDatatype(String uri)

Specified by:

getDatatype in interface OntologyBuilder

addSubClassOfAxiom

public void addSubClassOfAxiom(ClassExpression ce1,
                               ClassExpression ce2)
                        throws InconsistentOntologyException

Normalizes and adds subclass axiom

SubClassOf := 'SubClassOf' '(' axiomAnnotations subClassExpression superClassExpression ')'

Implements rule [C1]:
- ignore the axiom if the first argument is owl:Nothing or the second argument is owl:Thing
- replace by a disjointness axiom if the second argument is owl:Nothing but the first is not owl:Thing
- inconsistency if the first argument is owl:Thing but the second one is not owl:Nothing

Implements rules [D5] and [O5] (in conjunction with DataSomeValuesFromImpl and ObjectSomeValuesFromImpl)
- if the first argument is syntactically "equivalent" to owl:Thing, then replace it by owl:Thing

Specified by:

addSubClassOfAxiom in interface OntologyBuilder

Throws:

InconsistentOntologyException

addDataPropertyRangeAxiom

public void addDataPropertyRangeAxiom(DataPropertyRangeExpression range,
                                      Datatype datatype)
                               throws InconsistentOntologyException

Normalizes and adds a data property range axiom

DataPropertyRange := 'DataPropertyRange' '(' axiomAnnotations DataPropertyExpression DataRange ')'

Implements rule [D3]: - ignore if the property is bot or the range is rdfs:Literal (top datatype) - inconsistency if the property is top but the range is not rdfs:Literal

Specified by:

addDataPropertyRangeAxiom in interface OntologyBuilder

Throws:

InconsistentOntologyException

addSubPropertyOfAxiom

public void addSubPropertyOfAxiom(ObjectPropertyExpression ope1,
                                  ObjectPropertyExpression ope2)
                           throws InconsistentOntologyException

Normalizes and adds an object subproperty axiom

SubObjectPropertyOf := 'SubObjectPropertyOf' '(' axiomAnnotations ObjectPropertyExpression ObjectPropertyExpression ')'

Implements rule [O1]:
- ignore the axiom if the first argument is owl:bottomObjectProperty or the second argument is owl:topObjectProperty
- replace by a disjointness axiom if the second argument is owl:bottomObjectProperty but the first one is not owl:topObjectProperty
- inconsistency if the first is owl:topObjectProperty but the second is owl:bottomObjectProperty

Specified by:

addSubPropertyOfAxiom in interface OntologyBuilder

Throws:

InconsistentOntologyException

addSubPropertyOfAxiom

public void addSubPropertyOfAxiom(DataPropertyExpression dpe1,
                                  DataPropertyExpression dpe2)
                           throws InconsistentOntologyException

Normalizes and adds a data subproperty axiom

SubDataPropertyOf := 'SubDataPropertyOf' '(' axiomAnnotations subDataPropertyExpression superDataPropertyExpression ')'
subDataPropertyExpression := DataPropertyExpression
superDataPropertyExpression := DataPropertyExpression

implements rule [D1]:
- ignore the axiom if the first argument is owl:bottomDataProperty or the second argument is owl:topDataProperty
- replace by a disjointness axiom if the second argument is owl:bottomDataProperty but the first one is not owl:topDataProperty
- inconsistency if the first is owl:topDataProperty but the second is owl:bottomDataProperty

Specified by:

addSubPropertyOfAxiom in interface OntologyBuilder

Throws:

InconsistentOntologyException

addDisjointClassesAxiom

public void addDisjointClassesAxiom(ClassExpression... ces)
                             throws InconsistentOntologyException

Normalizes and adds class disjointness axiom

DisjointClasses := 'DisjointClasses' '(' axiomAnnotations subClassExpression subClassExpression { subClassExpression } ')'

Implements rule [C2]:
- eliminates all occurrences of bot and if the result contains
- no top and at least two elements then disjointness
- one top then emptiness of all other elements
- two tops then inconsistency (this behavior is an extension of OWL 2, where duplicates are removed from the list)

Specified by:

addDisjointClassesAxiom in interface OntologyBuilder

Throws:

InconsistentOntologyException

addDisjointObjectPropertiesAxiom

public void addDisjointObjectPropertiesAxiom(ObjectPropertyExpression... opes)
                                      throws InconsistentOntologyException

Normalizes and adds object property disjointness axiom

DisjointObjectProperties := 'DisjointObjectProperties' '(' axiomAnnotations ObjectPropertyExpression ObjectPropertyExpression { ObjectPropertyExpression } ')'

Implements rule [O2]:
- eliminates all occurrences of bot and if the result contains
- no top and at least two elements then disjointness
- one top then emptiness of all other elements
- two tops then inconsistency (this behavior is an extension of OWL 2, where duplicates are removed from the list)

Specified by:

addDisjointObjectPropertiesAxiom in interface OntologyBuilder

Throws:

InconsistentOntologyException

addDisjointDataPropertiesAxiom

public void addDisjointDataPropertiesAxiom(DataPropertyExpression... dpes)
                                    throws InconsistentOntologyException

Normalizes and adds data property disjointness axiom

DisjointDataProperties := 'DisjointDataProperties' '(' axiomAnnotations DataPropertyExpression DataPropertyExpression { DataPropertyExpression } ')'

Implements rule [D2]:
- eliminates all occurrences of bot and if the result contains
- no top and at least two elements then disjointness
- one top then emptiness of all other elements
- two tops then inconsistency (this behavior is an extension of OWL 2, where duplicates are removed from the list)

Specified by:

addDisjointDataPropertiesAxiom in interface OntologyBuilder

Throws:

InconsistentOntologyException

addReflexiveObjectPropertyAxiom

public void addReflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
                                     throws InconsistentOntologyException

Normalizes and adds a reflexive object property axiom

ReflexiveObjectProperty := 'ReflexiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

Implements rule [O3]:
- ignores if top (which is reflexive by definition)
- inconsistency if bot (which is not reflexive)
- otherwise, removes the inverse if required

Specified by:

addReflexiveObjectPropertyAxiom in interface OntologyBuilder

Throws:

InconsistentOntologyException

addIrreflexiveObjectPropertyAxiom

public void addIrreflexiveObjectPropertyAxiom(ObjectPropertyExpression ope)
                                       throws InconsistentOntologyException

Normalizes and adds an irreflexive object property axiom

ReflexiveObjectProperty := 'ReflexiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

Implements rule [O3]:
- ignores if bot (which is irreflexive by definition)
- inconsistency if top (which is reflexive)
- otherwise, removes the inverse if required

Specified by:

addIrreflexiveObjectPropertyAxiom in interface OntologyBuilder

Throws:

InconsistentOntologyException

addFunctionalObjectPropertyAxiom

public void addFunctionalObjectPropertyAxiom(ObjectPropertyExpression prop)

Specified by:

addFunctionalObjectPropertyAxiom in interface OntologyBuilder

addFunctionalDataPropertyAxiom

public void addFunctionalDataPropertyAxiom(DataPropertyExpression prop)

Specified by:

addFunctionalDataPropertyAxiom in interface OntologyBuilder

createClassAssertion

public static ClassAssertion createClassAssertion(OClass ce,
                                                  ObjectConstant object)
                                           throws InconsistentOntologyException

Creates a class assertion

ClassAssertion := 'ClassAssertion' '(' axiomAnnotations Class Individual ')'

Implements rule [C4]: - ignore (return null) if the class is top - inconsistency if the class is bot

Throws:

InconsistentOntologyException

createObjectPropertyAssertion

public static ObjectPropertyAssertion createObjectPropertyAssertion(ObjectPropertyExpression ope,
                                                                    ObjectConstant o1,
                                                                    ObjectConstant o2)
                                                             throws InconsistentOntologyException

Creates an object property assertion

ObjectPropertyAssertion := 'ObjectPropertyAssertion' '(' axiomAnnotations ObjectPropertyExpression sourceIndividual targetIndividual ')'

Implements rule [O4]: - ignore (return null) if the property is top - inconsistency if the property is bot - swap the arguments to eliminate inverses

Throws:

InconsistentOntologyException

createDataPropertyAssertion

public static DataPropertyAssertion createDataPropertyAssertion(DataPropertyExpression dpe,
                                                                ObjectConstant o1,
                                                                RDFLiteralConstant o2)
                                                         throws InconsistentOntologyException

Creates a data property assertion

DataPropertyAssertion := 'DataPropertyAssertion' '(' axiomAnnotations DataPropertyExpression sourceIndividual targetValue ')'

Implements rule [D4]: - ignore (return null) if the property is top - inconsistency if the property is bot

Throws:

InconsistentOntologyException

createAnnotationAssertion

public static AnnotationAssertion createAnnotationAssertion(AnnotationProperty ap,
                                                            ObjectConstant o,
                                                            Constant c)

Creates an annotation assertion AnnotationAssertion := 'AnnotationAssertion' '(' axiomAnnotations AnnotationProperty AnnotationSubject AnnotationValue ')' AnnotationSubject := IRI | AnonymousIndividual

addClassAssertion

public void addClassAssertion(OClass ce,
                              ObjectConstant o)
                       throws InconsistentOntologyException

Description copied from interface: OntologyBuilder

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

Specified by:

addClassAssertion in interface OntologyBuilder

Throws:

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

addObjectPropertyAssertion

public void addObjectPropertyAssertion(ObjectPropertyExpression ope,
                                       ObjectConstant o1,
                                       ObjectConstant o)
                                throws InconsistentOntologyException

Description copied from interface: OntologyBuilder

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])

Specified by:

addObjectPropertyAssertion in interface OntologyBuilder

Throws:

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

addDataPropertyAssertion

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

Description copied from interface: OntologyBuilder

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

Specified by:

addDataPropertyAssertion in interface OntologyBuilder

Throws:

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

addAnnotationAssertion

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

Description copied from interface: OntologyBuilder

inserts an annotation property assertion

Specified by:

addAnnotationAssertion in interface OntologyBuilder

build

public Ontology build()

Specified by:

build in interface OntologyBuilder

createAuxiliaryObjectProperty

public ObjectPropertyExpression createAuxiliaryObjectProperty()

Description copied from interface: OntologyBuilder

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

Specified by:

createAuxiliaryObjectProperty in interface OntologyBuilder