it.uniroma2.art.owlart.models
Interface OWLModel

All Superinterfaces:

ARTNodeFactory, BaseRDFTripleModel, OWLReasoner, PrefixMapping, RDFModel, RDFSModel, RDFSReasoner, TripleQueryModel

All Known Implementing Classes:

OWLModelImpl, SKOSModelImpl, SKOSXLModelImpl

public interface OWLModel
extends RDFSModel, OWLReasoner

Interface for OWL (1.0) compliant models

Author:

Armando Stellato

Method Summary

void	addAnnotationProperty(java.lang.String propertyURI, ARTURIResource superProperty, ARTResource... graphs) adds an annotation property with uri = propertyURI
void	addDatatypeProperty(java.lang.String propertyURI, ARTURIResource superProperty, ARTResource... graphs) adds a datatype property with uri = propertyURI
void	addImportStatement(java.lang.String baseURI, ARTResource... graphs) adds an import statement to the given ontology graphs.
void	addObjectProperty(java.lang.String propertyURI, ARTURIResource superProperty, ARTResource... graphs) adds an object property with uri = propertyURI
void	addOntologyProperty(java.lang.String propertyURI, ARTURIResource superProperty, ARTResource... graphs) adds an ontology property with uri = propertyURI
ARTURIResource	getInverseProperty(ARTURIResource objectProperty, boolean inferred, ARTResource... graphs) returns the inverse property of objectProperty.
void	instantiateAnnotationProperty(ARTResource subject, ARTURIResource property, java.lang.String value, java.lang.String lang, ARTResource... graphs) Deprecated. use RDFModel.instantiatePropertyWithPlainLiteral(ARTResource, ARTURIResource, String, String, ARTResource...)
void	instantiateDatatypeProperty(ARTResource subject, ARTURIResource predicate, java.lang.String value, ARTResource... graphs) Deprecated. use RDFModel.instantiatePropertyWithPlainLiteral(ARTResource, ARTURIResource, String, ARTResource...)
void	instantiateObjectProperty(ARTResource subject, ARTURIResource predicate, ARTResource object, ARTResource... graphs) Deprecated. use RDFModel.instantiatePropertyWithResource(ARTResource, ARTURIResource, ARTResource, ARTResource...)
boolean	isAnnotationProperty(ARTURIResource prop, ARTResource... graphs) checks that prop is an Annotation property
boolean	isDataRange(ARTResource range, ARTResource... graphs) checks if the resource (which has been probably returned has the range of a datatype property, is a DataRange)
boolean	isDatatypeProperty(ARTURIResource prop, ARTResource... graphs) checks that prop is an Datatype property
boolean	isFunctionalProperty(ARTURIResource property, ARTResource... graphs) checks that prop is a Functional property
boolean	isInverseFunctionalProperty(ARTURIResource property, ARTResource... graphs) checks that prop is an InverseFunctional property
boolean	isObjectProperty(ARTURIResource prop, ARTResource... graphs) checks that prop is an Object property
boolean	isOntology(ARTURIResource uri, ARTResource... graphs) checks that resource uri is an Ontology
boolean	isOntologyProperty(ARTURIResource prop, ARTResource... graphs) checks that prop is an Ontology property
boolean	isSymmetricProperty(ARTURIResource property, ARTResource... graphs) checks that prop is a Symmetric property
boolean	isTransitiveProperty(ARTURIResource property, ARTResource... graphs) checks that prop is a Transitive property
ARTURIResourceIterator	listAnnotationProperties(boolean inferred, ARTResource... graphs) returns an iterator over Annotation properties available from graphs graphs
ARTURIResourceIterator	listDatatypeProperties(boolean inferred, ARTResource... graphs) returns an iterator over datatype properties available from graphs graphs
ARTURIResourceIterator	listObjectProperties(boolean inferred, ARTResource... graphs) returns an iterator over object properties available from graphs graphs
ARTURIResourceIterator	listOntologyImports(ARTURIResource ontology, ARTResource... graphs) list all ontologies imported by ontology ontology (defined in graphs graphs
ARTURIResourceIterator	listOntologyProperties(boolean inferred, ARTResource... graphs) returns an iterator over Ontology properties available from graphs graphs
ARTLiteralIterator	listValuesOfSubjDTypePropertyPair(ARTResource instance, ARTURIResource property, boolean inferred, ARTResource... graphs) returns an iterator over the list of values bound to individual individual through datatype/annotation property property both parameters need to be instantiated
ARTResourceIterator	listValuesOfSubjObjPropertyPair(ARTResource individual, ARTURIResource property, boolean inferred, ARTResource... graphs) returns an iterator over the list of values bound to individual individual through object property property both parameters need to be instantiated
ARTLiteralIterator	parseDataRange(ARTResource dataRange, ARTResource... graphs) returns an iterator over the list of values allowed by this datarange
void	removeImportStatement(ARTURIResource URI, ARTResource... graphs) removes an import statement from graphs graphs

Methods inherited from interface it.uniroma2.art.owlart.models.RDFSModel

addClass, addComment, addLabel, addPropertyDomain, addPropertyRange, addSuperClass, addSuperProperty, isClass, listComments, listLabels, listNamedClasses, listNamedResources, listPropertiesForDomainClass, listPropertiesForRangeClass, listPropertyDomains, listPropertyRanges, listSubClasses, listSubProperties, listSuperClasses, listSuperProperties, listURISuperClasses, removeComment, removeLabel, removePropertyDomain, removePropertyRange, removeSuperClass, removeSuperProperty, renameClass, retrieveClass

Methods inherited from interface it.uniroma2.art.owlart.models.RDFModel

addInstance, addProperty, addType, hasType, instantiatePropertyWithPlainLiteral, instantiatePropertyWithPlainLiteral, instantiatePropertyWithResource, instantiatePropertyWithTypedLiteral, isProperty, listInstances, listNamedInstances, listProperties, listTypes, removeType, renameIndividual, renameProperty, retrieveBNode, retrieveURIResource

Methods inherited from interface it.uniroma2.art.owlart.models.BaseRDFTripleModel

addRDF, addRDF, addStatement, addTriple, clearRDF, close, deleteStatement, deleteTriple, getBaseURI, getDefaultNamespace, hasStatement, hasTriple, listNamedGraphs, listNamespaces, listPredicatesOfSubjObjPair, listStatements, listSubjectsOfPredObjPair, listValuesOfSubjPredPair, setBaseURI, setDefaultNamespace, writeRDF, writeRDF

Methods inherited from interface it.uniroma2.art.owlart.models.PrefixMapping

expandQName, getNamespacePrefixMapping, getNSForPrefix, getPrefixForNS, getQName, removeNsPrefixMapping, setNsPrefix

Methods inherited from interface it.uniroma2.art.owlart.models.TripleQueryModel

createBooleanQuery, createGraphQuery, createQuery, createTupleQuery

Methods inherited from interface it.uniroma2.art.owlart.model.ARTNodeFactory

createBNode, createBNode, createLiteral, createLiteral, createLiteral, createURIResource

Methods inherited from interface it.uniroma2.art.owlart.models.OWLReasoner

supportsInverseProperties, supportsOWLThingMaterialization, supportsSymmetricProperties, supportsTransitiveProperties

Methods inherited from interface it.uniroma2.art.owlart.models.RDFSReasoner

supportsSubClassOfClosure, supportsSubPropertyMaterialization, supportsSubPropertyOfClosure

Method Detail

addAnnotationProperty

void addAnnotationProperty(java.lang.String propertyURI,
                           ARTURIResource superProperty,
                           ARTResource... graphs)
                           throws ModelUpdateException

adds an annotation property with uri = propertyURI

Parameters:

propertyURI -

superProperty -

graphs -

Throws:

ModelUpdateException

addDatatypeProperty

void addDatatypeProperty(java.lang.String propertyURI,
                         ARTURIResource superProperty,
                         ARTResource... graphs)
                         throws ModelUpdateException

adds a datatype property with uri = propertyURI

Parameters:

propertyURI -

superProperty -

graphs -

Throws:

ModelUpdateException

addObjectProperty

void addObjectProperty(java.lang.String propertyURI,
                       ARTURIResource superProperty,
                       ARTResource... graphs)
                       throws ModelUpdateException

adds an object property with uri = propertyURI

Parameters:

propertyURI -

superProperty -

graphs -

Throws:

ModelUpdateException

addOntologyProperty

void addOntologyProperty(java.lang.String propertyURI,
                         ARTURIResource superProperty,
                         ARTResource... graphs)
                         throws ModelUpdateException

adds an ontology property with uri = propertyURI

Parameters:

propertyURI -

superProperty -

graphs -

Throws:

ModelUpdateException

addImportStatement

void addImportStatement(java.lang.String baseURI,
                        ARTResource... graphs)
                        throws ModelUpdateException

adds an import statement to the given ontology graphs. Note that this method should be commonly invoked on the main graph, since the subject of the import is the uri of the main ontology of this model. However, the methods allows to state the import also in other graphs

Parameters:

baseURI - the baseURI of the ontology being imported

graphs -

Throws:

ModelUpdateException

instantiateDatatypeProperty

void instantiateDatatypeProperty(ARTResource subject,
                                 ARTURIResource predicate,
                                 java.lang.String value,
                                 ARTResource... graphs)
                                 throws ModelUpdateException

Deprecated. use RDFModel.instantiatePropertyWithPlainLiteral(ARTResource, ARTURIResource, String, ARTResource...)

creates a triple for the given subject, predicate and value
Arguments are already constrained considering the type of property which is being instantiated

Parameters:

subject -

predicate -

value -

graphs -

Throws:

ModelUpdateException

instantiateObjectProperty

void instantiateObjectProperty(ARTResource subject,
                               ARTURIResource predicate,
                               ARTResource object,
                               ARTResource... graphs)
                               throws ModelUpdateException

Deprecated. use RDFModel.instantiatePropertyWithResource(ARTResource, ARTURIResource, ARTResource, ARTResource...)

creates a triple for the given subject, predicate and object
Arguments are already constrained considering the type of property which is being instantiated

Parameters:

subject -

predicate -

object -

graphs -

Throws:

ModelUpdateException

instantiateAnnotationProperty

void instantiateAnnotationProperty(ARTResource subject,
                                   ARTURIResource property,
                                   java.lang.String value,
                                   java.lang.String lang,
                                   ARTResource... graphs)
                                   throws ModelUpdateException

Deprecated. use RDFModel.instantiatePropertyWithPlainLiteral(ARTResource, ARTURIResource, String, String, ARTResource...)

creates a triple for the given subject, predicate and object, which is described by its label (value) and language (lang)
Arguments are already constrained considering the type of property which is being instantiated

Parameters:

subject -

property -

value -

lang -

Throws:

ModelUpdateException

isAnnotationProperty

boolean isAnnotationProperty(ARTURIResource prop,
                             ARTResource... graphs)
                             throws ModelAccessException

checks that prop is an Annotation property

Parameters:

prop -

graphs -

Returns:

Throws:

ModelAccessException

isOntologyProperty

boolean isOntologyProperty(ARTURIResource prop,
                           ARTResource... graphs)
                           throws ModelAccessException

checks that prop is an Ontology property

Parameters:

prop -

graphs -

Returns:

Throws:

ModelAccessException

isDatatypeProperty

boolean isDatatypeProperty(ARTURIResource prop,
                           ARTResource... graphs)
                           throws ModelAccessException

checks that prop is an Datatype property

Parameters:

prop -

graphs -

Returns:

Throws:

ModelAccessException

isFunctionalProperty

boolean isFunctionalProperty(ARTURIResource property,
                             ARTResource... graphs)
                             throws ModelAccessException

checks that prop is a Functional property

Parameters:

property -

graphs -

Returns:

Throws:

ModelAccessException

isInverseFunctionalProperty

boolean isInverseFunctionalProperty(ARTURIResource property,
                                    ARTResource... graphs)
                                    throws ModelAccessException

checks that prop is an InverseFunctional property

Parameters:

property -

graphs -

Returns:

Throws:

ModelAccessException

isObjectProperty

boolean isObjectProperty(ARTURIResource prop,
                         ARTResource... graphs)
                         throws ModelAccessException

checks that prop is an Object property

Parameters:

prop -

graphs -

Returns:

Throws:

ModelAccessException

isSymmetricProperty

boolean isSymmetricProperty(ARTURIResource property,
                            ARTResource... graphs)
                            throws ModelAccessException

checks that prop is a Symmetric property

Parameters:

property -

graphs -

Returns:

Throws:

ModelAccessException

isTransitiveProperty

boolean isTransitiveProperty(ARTURIResource property,
                             ARTResource... graphs)
                             throws ModelAccessException

checks that prop is a Transitive property

Parameters:

property -

graphs -

Returns:

Throws:

ModelAccessException

isDataRange

boolean isDataRange(ARTResource range,
                    ARTResource... graphs)
                    throws ModelAccessException

checks if the resource (which has been probably returned has the range of a datatype property, is a DataRange)

Parameters:

range -

graphs -

Returns:

Throws:

ModelAccessException

isOntology

boolean isOntology(ARTURIResource uri,
                   ARTResource... graphs)
                   throws ModelAccessException

checks that resource uri is an Ontology

Parameters:

uri -

graphs -

Returns:

Throws:

ModelAccessException

listDatatypeProperties

ARTURIResourceIterator listDatatypeProperties(boolean inferred,
                                              ARTResource... graphs)
                                              throws ModelAccessException

returns an iterator over datatype properties available from graphs graphs

Parameters:

inferred -

graphs -

Returns:

Throws:

ModelAccessException

listObjectProperties

ARTURIResourceIterator listObjectProperties(boolean inferred,
                                            ARTResource... graphs)
                                            throws ModelAccessException

returns an iterator over object properties available from graphs graphs

Parameters:

inferred -

graphs -

Returns:

Throws:

ModelAccessException

listAnnotationProperties

ARTURIResourceIterator listAnnotationProperties(boolean inferred,
                                                ARTResource... graphs)
                                                throws ModelAccessException

returns an iterator over Annotation properties available from graphs graphs

Parameters:

inferred -

graphs -

Returns:

Throws:

ModelAccessException

listOntologyProperties

ARTURIResourceIterator listOntologyProperties(boolean inferred,
                                              ARTResource... graphs)
                                              throws ModelAccessException

returns an iterator over Ontology properties available from graphs graphs

Parameters:

inferred -

graphs -

Returns:

Throws:

ModelAccessException

getInverseProperty

ARTURIResource getInverseProperty(ARTURIResource objectProperty,
                                  boolean inferred,
                                  ARTResource... graphs)
                                  throws ModelAccessException

returns the inverse property of objectProperty. If more than one inverse is defined, the first declared one is returned (all other properties are equivalentProperties then). If no declaration is available, null is returned.

Parameters:

objectProperty -

inferred -

graphs -

Returns:

Throws:

ModelAccessException

listOntologyImports

ARTURIResourceIterator listOntologyImports(ARTURIResource ontology,
                                           ARTResource... graphs)
                                           throws ModelAccessException

list all ontologies imported by ontology ontology (defined in graphs graphs

Parameters:

ontology -

graphs -

Returns:

Throws:

ModelAccessException

listValuesOfSubjDTypePropertyPair

ARTLiteralIterator listValuesOfSubjDTypePropertyPair(ARTResource instance,
                                                     ARTURIResource property,
                                                     boolean inferred,
                                                     ARTResource... graphs)
                                                     throws ModelAccessException

returns an iterator over the list of values bound to individual individual through datatype/annotation property property both parameters need to be instantiated

Parameters:

instance -

property -

inferred -

Returns:

Throws:

ModelAccessException

listValuesOfSubjObjPropertyPair

ARTResourceIterator listValuesOfSubjObjPropertyPair(ARTResource individual,
                                                    ARTURIResource property,
                                                    boolean inferred,
                                                    ARTResource... graphs)
                                                    throws ModelAccessException

returns an iterator over the list of values bound to individual individual through object property property both parameters need to be instantiated

Parameters:

individual -

property -

Returns:

Throws:

ModelAccessException

parseDataRange

ARTLiteralIterator parseDataRange(ARTResource dataRange,
                                  ARTResource... graphs)
                                  throws ModelAccessException

returns an iterator over the list of values allowed by this datarange

Parameters:

dataRange -

graphs -

Returns:

Throws:

ModelAccessException

removeImportStatement

void removeImportStatement(ARTURIResource URI,
                           ARTResource... graphs)
                           throws ModelUpdateException

removes an import statement from graphs graphs

Parameters:

URI - the baseURI of the ontology being imported

graphs -

Throws:

ModelUpdateException