OWLModelImpl (OWL Art API 2.3 API)

java.lang.Object
- it.uniroma2.art.owlart.models.impl.BaseRDFModelImpl
- - it.uniroma2.art.owlart.models.impl.RDFModelImpl
  - - it.uniroma2.art.owlart.models.impl.RDFSModelImpl
    - - it.uniroma2.art.owlart.models.impl.OWLModelImpl

All Implemented Interfaces:

RDFSerializer, ARTNodeFactory, BaseRDFTripleModel, OWLModel, OWLReasoner, PrefixMapping, RDFModel, RDFSModel, RDFSReasoner, SPARQLQueryModel, TripleQueryModel

Direct Known Subclasses:

SKOSModelImpl
```
public class OWLModelImpl
extends RDFSModelImpl
implements OWLModel, OWLReasoner
```

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

protected class OWLModelImpl.ARTLiteralIteratorImpl

protected class OWLModelImpl.ARTResourceIteratorImpl

Nested Classes
Modifier and Type	Class and Description
`protected class`	`OWLModelImpl.ARTLiteralIteratorImpl`
`protected class`	`OWLModelImpl.ARTResourceIteratorImpl`

Field Summary

Fields
Modifier and Type Field and Description

protected static org.slf4j.Logger logger
- Fields inherited from class it.uniroma2.art.owlart.models.impl.RDFModelImpl
  baseRep

Fields
Modifier and Type	Field and Description
`protected static org.slf4j.Logger`	`logger`

Constructor Summary

Constructors
Constructor and Description

OWLModelImpl(BaseRDFTripleModel baseRep)

Constructors
Constructor and Description
`OWLModelImpl(BaseRDFTripleModel baseRep)`

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`addAnnotationProperty(String propertyURI, ARTURIResource superProperty, ARTResource... graphs)` /* ADD/REMOVE METHODS ***
`void`	`addClass(String uri, ARTResource... contexts)` This method has a different behavior depending on the level of the vocabulary used by the repository implementation.
`void`	`addComplementOf(String BnodeID, ARTResource description, ARTResource... graphs)` Add an anonymous class as the complement of the specified resource to `graphs`
`void`	`addDatatypeProperty(String propertyURI, ARTURIResource superProperty, ARTResource... graphs)` adds a datatype property with uri = `propertyURI`
`void`	`addEnumeratedClass(String classURI, ArrayList<ARTNode> resources, ARTResource... graphs)` Add an enumerated class with an identifier (a URI reference) to graphs `graphs`
`void`	`addEquivalentClass(String classURI, ARTResource equivalentClass, ARTResource... graphs)` Add a named equivalent class of the specified resource to `graphs`
`void`	`addImportStatement(String baseURI, ARTResource... contexts)` adds an import statement to the given ontology graphs.
`void`	`addIntersectionOf(String BnodeID, ArrayList<ARTResource> descriptions, ARTResource... graphs)` Add an anonymous class as intersection of a set of resources to `graphs`
`void`	`addObjectProperty(String propertyURI, ARTURIResource superProperty, ARTResource... graphs)` adds an object property with uri = `propertyURI`
`void`	`addOneOf(String BnodeID, ArrayList<ARTNode> resources, ARTResource... graphs)` Add an anonymous enumerated class to graphs `graphs`
`void`	`addOneOfDataRange(String BnodeID, ArrayList<ARTLiteral> resources, ARTResource... graphs)` Add a datarange to graphs `graphs`
`void`	`addOntologyProperty(String propertyURI, ARTURIResource superProperty, ARTResource... graphs)` adds an ontology property with uri = `propertyURI`
`void`	`addRestrictionOnCardinalityCardinality(String BnodeID, ARTURIResource property, String literal, ARTResource... graphs)` Add an anonymous class as a restriction on the cardinality of property to `graphs`
`void`	`addRestrictionOnCardinalityMaxCardinality(String BnodeID, ARTURIResource property, String literal, ARTResource... graphs)` Add an anonymous class as a restriction on the maximum cardinality of property to `graphs`
`void`	`addRestrictionOnCardinalityMinCardinality(String BnodeID, ARTURIResource property, String literal, ARTResource... graphs)` Add an anonymous class as a restriction on the minimum cardinality of property to `graphs`
`void`	`addRestrictionOnPropertyAllValuesFrom(String BnodeID, ARTURIResource property, ARTResource resource, ARTResource... graphs)` Add an anonymous class as a restriction on range (All Values) of a property to `graphs`
`void`	`addRestrictionOnPropertyHasValue(String BnodeID, ARTURIResource property, ARTNode resourceOrLiteral, ARTResource... graphs)` Add an anonymous class as a restriction on range (Has Value) of a property to `graphs`
`void`	`addRestrictionOnPropertySomeValuesFrom(String BnodeID, ARTURIResource property, ARTResource resource, ARTResource... graphs)` Add an anonymous class as a restriction on range (Some Values) of a property to `graphs`
`void`	`addSubClassOf(String classURI, ARTResource subClass, ARTResource... graphs)` Add an named subclass of the specified resource to `graphs`
`void`	`addUnionOf(String BnodeID, ArrayList<ARTResource> descriptions, ARTResource... graphs)` Add an anonymous class as union of a set of resources to `graphs`
`void`	`addValuesToDatarange(ARTResource dataRange, Iterator<ARTLiteral> literals, ARTResource... graphs)` it adds a list of literal values (using an iterator over RDF ARTLiteral) to an existing datarange
`void`	`addValueToDatarange(ARTResource dataRange, ARTLiteral lit, ARTResource... graphs)` it adds a literal value to an existing datarange
`void`	`deleteIndividual(ARTResource res, ARTResource... graphs)` deletes an owl:Individual (optimized wrt `RDFModel#deleteResource(ARTResource, ARTResource...))`
`ARTURIResource`	`getInverseProperty(ARTURIResource objectProperty, boolean inferred, ARTResource... graphs)` returns the inverse property of `objectProperty`.
`ManchesterClassInterface`	`getManchClassFromBNode(ARTBNode bnode, OWLModel owlModel, ARTResource graphs)`
`String`	`getManchExprFromBNode(ARTBNode bnode, boolean getPrefixName, OWLModel owlModel, ARTResource graphs)`
`protected boolean`	`hasInversePropertyBoundConcept(ARTResource resource, ARTURIResource property, ARTURIResource inverseProperty, ARTResource object, boolean inferred, ARTResource... graphs)` this method is invoked by this OWLModel implementation when one needs to known exactly if a triple is available through inference on property which has an inverse.
`protected boolean`	`hasSymmetricPropertyBoundConcept(ARTResource resource, ARTURIResource property, ARTResource object, boolean inferred, ARTResource... graphs)` this method is invoked by this OWLModel implementation when one needs to known exactly if a triple is available through inference on property which is symmetric.
`protected boolean`	`hasTransitiveInversePropertyBoundConcept(ARTResource resource, ARTURIResource nonTransitiveProperty, ARTURIResource nonTransitiveInverseProperty, ARTURIResource transitiveExtensionProperty, ARTURIResource transitiveExtensionInverseProperty, ARTResource object, boolean inferred, ARTResource... graphs)`
`protected boolean`	`hasTransitivePropertyBoundConcept(ARTResource resource, ARTURIResource property, ARTResource object, boolean inferred, ARTResource... graphs)` this method is invoked by this OWLModel implementation when one needs to known exactly if a triple is available through inference on a transitive property.
`protected boolean`	`hasTransitivePropertyBoundConcept(ARTResource resource, ARTURIResource nonTransitiveProperty, ARTURIResource transitiveExtensionProperty, ARTResource object, boolean inferred, ARTResource... graphs)` * as for `hasTransitivePropertyBoundConcept(ARTResource, ARTURIResource, ARTResource, boolean, ARTResource...)`
`boolean`	`hasValueInDatarange(ARTResource dataRange, ARTLiteral lit, ARTResource... graphs)` check if the selected datarange has a particular literal as value
`void`	`instantiateAnnotationProperty(ARTResource subject, ARTURIResource property, String value, String lang, ARTResource... contexts)` 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
`void`	`instantiateDatatypeProperty(ARTResource subject, ARTURIResource predicate, String literalString, ARTResource... contexts)` TRIPLE INSTANTIATION METHODS ***
`void`	`instantiateObjectProperty(ARTResource subject, ARTURIResource predicate, ARTResource object, ARTResource... contexts)` creates a triple for the given `subject`, `predicate` and `object` Arguments are already constrained considering the type of property which is being instantiated
`boolean`	`isAnnotationProperty(ARTURIResource prop, ARTResource... contexts)` BOOLEAN METHODS ***
`boolean`	`isClass(ARTResource cls, ARTResource... graphs)` /* BOOLEAN METHODS ***
`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... contexts)` checks that prop is an Datatype property
`boolean`	`isFunctionalProperty(ARTURIResource property, ARTResource... contexts)` checks that prop is a Functional property
`boolean`	`isInverseFunctionalProperty(ARTURIResource property, ARTResource... contexts)` checks that prop is an InverseFunctional property
`boolean`	`isObjectProperty(ARTURIResource property, ARTResource... contexts)` checks that prop is an Object property
`boolean`	`isOntology(ARTURIResource uri, ARTResource... contexts)` 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... contexts)` checks that prop is a Symmetric property
`boolean`	`isTransitiveProperty(ARTURIResource property, ARTResource... contexts)` checks that prop is a Transitive property
`ARTURIResourceIterator`	`listAnnotationProperties(boolean inferred, ARTResource... graphs)` returns an iterator over Annotation properties available from graphs `graphs`
`ARTResourceIterator`	`listClasses(boolean inferred, ARTResource... graphs)` list all the classes in the current Model (in graphs: `graphs`).
`ARTURIResourceIterator`	`listDatatypeProperties(boolean inferred, ARTResource... graphs)` returns an iterator over datatype properties available from graphs `graphs`
`protected ARTResourceIterator`	`listInversePropertyBoundConcepts(ARTResource resource, ARTURIResource property, ARTURIResource inverseProperty, boolean inferred, ARTResource... graphs)` method which is invoked by this OWLModel implementation when the complete set of results from a property which has an inverse has to be obtained.
`ARTURIResourceIterator`	`listNamedClasses(boolean inferred, ARTResource... graphs)` LIST/GET METHODS ***
`ARTURIResourceIterator`	`listObjectProperties(boolean inferred, ARTResource... graphs)` returns an iterator over object properties available from graphs `graphs`
`ARTURIResourceIterator`	`listOntologyImports(ARTURIResource ontology, ARTResource... contexts)` 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`
`protected ARTResourceIterator`	`listSymmetricPropertyBoundConcepts(ARTResource resource, ARTURIResource property, boolean inferred, ARTResource... graphs)` method which is invoked by this OWLModel implementation when the complete set of results from a property which is symmetric has to be obtained.
`protected ARTResourceIterator`	`listTransitiveInversePropertyBoundConcepts(ARTResource resource, ARTURIResource nonTransitiveProperty, ARTURIResource nonTransitiveInverseProperty, ARTURIResource transitiveExtensionProperty, ARTURIResource transitiveExtensionInverseProperty, boolean inferred, ARTResource... graphs)`
`protected ARTResourceIterator`	`listTransitivePropertyBoundConcepts(ARTResource resource, ARTURIResource nonTransitiveProperty, ARTURIResource transitiveExtensionProperty, boolean inferred, ARTResource... graphs)` as for `listTransitivePropertyBoundConcepts(ARTResource, ARTURIResource, ARTURIResource, boolean, ARTResource...)`
`protected ARTResourceIterator`	`listTransitivePropertyBoundConcepts(ARTResource resource, ARTURIResource property, boolean inferred, ARTResource... graphs)` method which is invoked by this OWLModel implementation when the complete set of results from a transitive property has to be obtained.
`ARTLiteralIterator`	`listValuesOfSubjDTypePropertyPair(ARTResource instance, ARTURIResource property, boolean inferred, ARTResource... contexts)` 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... contexts)` 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
`ARTNode`	`parseManchesterExpr(ManchesterClassInterface mci, List<ARTStatement> statList)`
`void`	`recursiveBNodeExploration(HashSet<ARTResource> set, ARTResource resource, ARTURIResource prop, ARTResource... graphs)` recursively explore (that is, runs along the transitive closure of) a property and fills the set `set` with all the objects which are blank node of his property
`void`	`removeImportStatement(ARTURIResource URI, ARTResource... contexts)` removes an import statement from graphs `graphs`
`void`	`removeValueFromDatarange(ARTResource dataRange, ARTLiteral lit, ARTResource... graphs)` remove a ARTLiteral value from the desired datarange
`void`	`renameIndividual(ARTURIResource oldIndividual, String newURI, ARTResource... graphs)` renames an owl:Individual (optimized wrt `RDFModel#renameResource(ARTURIResource, String)` as an owl:Individual cannot appear as predicate of a triple)
`ARTURIResource`	`retrieveClass(String uri, ARTResource... contexts)` /* RETRIEVE METHODS ***
`String`	`setDataRange(ARTURIResource property, RDFIterator<ARTLiteral> dataRangeIterator, ARTResource... graphs)` given an iterator over RDF nodes, instantiates a set of triples realizing the datarange composed of elements in the iterator, assigned as range of property `property`
`boolean`	`supportsInverseProperties()`
`boolean`	`supportsOWLThingMaterialization()` OWL REASONING METHODS ***
`boolean`	`supportsSymmetricProperties()`
`boolean`	`supportsTransitiveProperties()`

Methods inherited from class it.uniroma2.art.owlart.models.impl.RDFModelImpl
addInstance, addProperty, addRDF, addRDF, addStatement, addTriple, addType, clearRDF, close, createBNode, createBNode, createBooleanQuery, createBooleanQuery, createBooleanQuery, createBooleanQuery, createGraphQuery, createGraphQuery, createGraphQuery, createGraphQuery, createLiteral, createLiteral, createLiteral, createQuery, createQuery, createQuery, createQuery, createStatement, createTupleQuery, createTupleQuery, createTupleQuery, createTupleQuery, createUpdate, createUpdateQuery, createUpdateQuery, createUpdateQuery, createURIResource, deleteProperty, deleteResource, deleteStatement, deleteTriple, existsResource, expandQName, getBaseURI, getDefaultNamespace, getNamespacePrefixMapping, getNSForPrefix, getPrefixForNS, getQName, hasStatement, hasTriple, hasType, instantiatePropertyWithPlainLiteral, instantiatePropertyWithPlainLiteral, instantiatePropertyWithResource, instantiatePropertyWithTypedLiteral, isLocallyDefined, isProperty, listInstances, listNamedGraphs, listNamedInstances, listNamespaces, listPredicatesOfSubjObjPair, listProperties, listStatements, listSubjectsOfPredObjPair, listTypes, listValuesOfSubjPredPair, removeNsPrefixMapping, removeType, renameProperty, renameResource, retrieveBNode, retrieveURIResource, setBaseURI, setDefaultNamespace, setNsPrefix, writeRDF, writeRDF, writeRDF, writeRDF

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface it.uniroma2.art.owlart.models.RDFSModel
addComment, addLabel, addPropertyDomain, addPropertyRange, addSuperClass, addSuperProperty, deleteClass, hasSuperProperty, listComments, listLabels, listNamedResources, listPropertiesForDomainClass, listPropertiesForRangeClass, listPropertyDomains, listPropertyRanges, listSubClasses, listSubProperties, listSuperClasses, listSuperProperties, listURISuperClasses, removeComment, removeLabel, removePropertyDomain, removePropertyRange, removeSuperClass, removeSuperProperty, renameClass

Methods inherited from interface it.uniroma2.art.owlart.models.RDFModel
addInstance, addProperty, addType, deleteProperty, deleteResource, existsResource, hasType, instantiatePropertyWithPlainLiteral, instantiatePropertyWithPlainLiteral, instantiatePropertyWithResource, instantiatePropertyWithTypedLiteral, isLocallyDefined, isProperty, listInstances, listNamedInstances, listProperties, listTypes, removeType, renameProperty, renameResource, 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.model.ARTNodeFactory
createBNode, createBNode, createLiteral, createLiteral, createLiteral, createStatement, createURIResource

Methods inherited from interface it.uniroma2.art.owlart.io.RDFSerializer
writeRDF, writeRDF

Methods inherited from interface it.uniroma2.art.owlart.models.SPARQLQueryModel
createBooleanQuery, createBooleanQuery, createBooleanQuery, createGraphQuery, createGraphQuery, createGraphQuery, createQuery, createQuery, createQuery, createTupleQuery, createTupleQuery, createTupleQuery, createUpdateQuery, createUpdateQuery, createUpdateQuery

Methods inherited from interface it.uniroma2.art.owlart.models.TripleQueryModel
createBooleanQuery, createGraphQuery, createQuery, createTupleQuery, createUpdate

Methods inherited from interface it.uniroma2.art.owlart.models.RDFSReasoner
supportsClassIdentification, supportsSubClassOfClosure, supportsSubPropertyMaterialization, supportsSubPropertyOfClosure

Field Detail

logger

protected static org.slf4j.Logger logger

Constructor Detail

OWLModelImpl

public OWLModelImpl(BaseRDFTripleModel baseRep)

Method Detail

addAnnotationProperty

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

/* ADD/REMOVE METHODS ***

Specified by:: addAnnotationProperty in interface OWLModel
Throws:: ModelUpdateException

addDatatypeProperty

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

Description copied from interface: OWLModel

adds a datatype property with uri = propertyURI

Specified by:: addDatatypeProperty in interface OWLModel
Throws:: ModelUpdateException

addObjectProperty

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

Description copied from interface: OWLModel

adds an object property with uri = propertyURI

Specified by:: addObjectProperty in interface OWLModel
Throws:: ModelUpdateException

addOntologyProperty

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

Description copied from interface: OWLModel

adds an ontology property with uri = propertyURI

Specified by:: addOntologyProperty in interface OWLModel
Throws:: ModelUpdateException

addImportStatement
```
public void addImportStatement(String baseURI,
                      ARTResource... contexts)
                        throws ModelUpdateException
```
Description copied from interface: OWLModel

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

Specified by:

addImportStatement in interface OWLModel

Parameters:
baseURI - the baseURI of the ontology being imported

Throws:

ModelUpdateException

addClass
```
public void addClass(String uri,
            ARTResource... contexts)
              throws ModelUpdateException
```
Description copied from interface: RDFSModel

This method has a different behavior depending on the level of the vocabulary used by the repository implementation. The newly created class will be an rdfs:Class in RDFS repositories and owl:Class in OWL repositories

Specified by:

addClass in interface RDFSModel

Overrides:

addClass in class RDFSModelImpl

Parameters:
uri - URI string of the class being created

Throws:

ModelUpdateException

removeImportStatement
```
public void removeImportStatement(ARTURIResource URI,
                         ARTResource... contexts)
                           throws ModelUpdateException
```
Description copied from interface: OWLModel

removes an import statement from graphs graphs

Specified by:

removeImportStatement in interface OWLModel

Parameters:
URI - the baseURI of the ontology being imported

Throws:

ModelUpdateException

addValuesToDatarange

public void addValuesToDatarange(ARTResource dataRange,
                        Iterator<ARTLiteral> literals,
                        ARTResource... graphs)
                          throws ModelAccessException,
                                 ModelUpdateException

Description copied from interface: OWLModel

it adds a list of literal values (using an iterator over RDF ARTLiteral) to an existing datarange

Specified by:: addValuesToDatarange in interface OWLModel
Throws:: ModelAccessException; ModelUpdateException

addValueToDatarange

public void addValueToDatarange(ARTResource dataRange,
                       ARTLiteral lit,
                       ARTResource... graphs)
                         throws ModelAccessException,
                                ModelUpdateException

Description copied from interface: OWLModel

it adds a literal value to an existing datarange

Specified by:: addValueToDatarange in interface OWLModel
Throws:: ModelAccessException; ModelUpdateException

removeValueFromDatarange

public void removeValueFromDatarange(ARTResource dataRange,
                            ARTLiteral lit,
                            ARTResource... graphs)
                              throws ModelAccessException,
                                     ModelUpdateException

Description copied from interface: OWLModel

remove a ARTLiteral value from the desired datarange

Specified by:: removeValueFromDatarange in interface OWLModel
Throws:: ModelAccessException; ModelUpdateException

instantiateDatatypeProperty

public void instantiateDatatypeProperty(ARTResource subject,
                               ARTURIResource predicate,
                               String literalString,
                               ARTResource... contexts)
                                 throws ModelUpdateException

TRIPLE INSTANTIATION METHODS ***

Specified by:: instantiateDatatypeProperty in interface OWLModel
Throws:: ModelUpdateException

instantiateObjectProperty

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

Description copied from interface: OWLModel

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

Specified by:: instantiateObjectProperty in interface OWLModel
Throws:: ModelUpdateException

instantiateAnnotationProperty

public void instantiateAnnotationProperty(ARTResource subject,
                                 ARTURIResource property,
                                 String value,
                                 String lang,
                                 ARTResource... contexts)
                                   throws ModelUpdateException

Description copied from interface: OWLModel

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

Specified by:: instantiateAnnotationProperty in interface OWLModel
Throws:: ModelUpdateException

setDataRange

public String setDataRange(ARTURIResource property,
                  RDFIterator<ARTLiteral> dataRangeIterator,
                  ARTResource... graphs)
                    throws ModelAccessException,
                           ModelUpdateException

Description copied from interface: OWLModel

given an iterator over RDF nodes, instantiates a set of triples realizing the datarange composed of elements in the iterator, assigned as range of property property

Specified by:: setDataRange in interface OWLModel
Returns:
Throws:: ModelAccessException; ModelUpdateException

isAnnotationProperty

public boolean isAnnotationProperty(ARTURIResource prop,
                           ARTResource... contexts)
                             throws ModelAccessException

BOOLEAN METHODS ***

Specified by:: isAnnotationProperty in interface OWLModel
Returns:
Throws:: ModelAccessException

isDatatypeProperty

public boolean isDatatypeProperty(ARTURIResource prop,
                         ARTResource... contexts)
                           throws ModelAccessException

Description copied from interface: OWLModel

checks that prop is an Datatype property

Specified by:: isDatatypeProperty in interface OWLModel
Returns:
Throws:: ModelAccessException

isOntologyProperty

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

Description copied from interface: OWLModel

checks that prop is an Ontology property

Specified by:: isOntologyProperty in interface OWLModel
Returns:
Throws:: ModelAccessException

isFunctionalProperty

public boolean isFunctionalProperty(ARTURIResource property,
                           ARTResource... contexts)
                             throws ModelAccessException

Description copied from interface: OWLModel

checks that prop is a Functional property

Specified by:: isFunctionalProperty in interface OWLModel
Returns:
Throws:: ModelAccessException

isInverseFunctionalProperty

public boolean isInverseFunctionalProperty(ARTURIResource property,
                                  ARTResource... contexts)
                                    throws ModelAccessException

Description copied from interface: OWLModel

checks that prop is an InverseFunctional property

Specified by:: isInverseFunctionalProperty in interface OWLModel
Returns:
Throws:: ModelAccessException

isObjectProperty

public boolean isObjectProperty(ARTURIResource property,
                       ARTResource... contexts)
                         throws ModelAccessException

Description copied from interface: OWLModel

checks that prop is an Object property

Specified by:: isObjectProperty in interface OWLModel
Returns:
Throws:: ModelAccessException

isSymmetricProperty

public boolean isSymmetricProperty(ARTURIResource property,
                          ARTResource... contexts)
                            throws ModelAccessException

Description copied from interface: OWLModel

checks that prop is a Symmetric property

Specified by:: isSymmetricProperty in interface OWLModel
Returns:
Throws:: ModelAccessException

isTransitiveProperty

public boolean isTransitiveProperty(ARTURIResource property,
                           ARTResource... contexts)
                             throws ModelAccessException

Description copied from interface: OWLModel

checks that prop is a Transitive property

Specified by:: isTransitiveProperty in interface OWLModel
Returns:
Throws:: ModelAccessException

isDataRange
```
public boolean isDataRange(ARTResource range,
                  ARTResource... graphs)
                    throws ModelAccessException
```
Description copied from interface: OWLModel

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

Specified by:

isDataRange in interface OWLModel

Returns:

Throws:

ModelAccessException

isOntology
```
public boolean isOntology(ARTURIResource uri,
                 ARTResource... contexts)
                   throws ModelAccessException
```
Description copied from interface: OWLModel

checks that resource uri is an Ontology

Specified by:

isOntology in interface OWLModel

Returns:

Throws:

ModelAccessException

hasValueInDatarange

public boolean hasValueInDatarange(ARTResource dataRange,
                          ARTLiteral lit,
                          ARTResource... graphs)
                            throws ModelAccessException

Description copied from interface: OWLModel

check if the selected datarange has a particular literal as value

Specified by:: hasValueInDatarange in interface OWLModel
Returns:
Throws:: ModelAccessException

listNamedClasses

public ARTURIResourceIterator listNamedClasses(boolean inferred,
                                      ARTResource... graphs)
                                        throws ModelAccessException

LIST/GET METHODS ***

Specified by:: listNamedClasses in interface RDFSModel
Overrides:: listNamedClasses in class RDFSModelImpl
Returns:: Collection arrayList
Throws:: ModelAccessException

listClasses
```
public ARTResourceIterator listClasses(boolean inferred,
                              ARTResource... graphs)
                                throws ModelAccessException
```
Description copied from interface: RDFSModel

list all the classes in the current Model (in graphs: graphs). If this model is also an RDFSReasoner which RDFSReasoner.supportsSubClassOfClosure(), the returned URIs are all rdf instances of RDFS.CLASS. If negative case, the returned URIs are those specified as subjects of triples present in the given graphs where the predicate is RDF.TYPE or RDFS.SUBCLASSOF.

Specified by:

listClasses in interface RDFSModel

Overrides:

listClasses in class RDFSModelImpl

Returns:
Collection arrayList

Throws:

ModelAccessException

listAnnotationProperties

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

Description copied from interface: OWLModel

returns an iterator over Annotation properties available from graphs graphs

Specified by:: listAnnotationProperties in interface OWLModel
Returns:
Throws:: ModelAccessException

listDatatypeProperties

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

Description copied from interface: OWLModel

returns an iterator over datatype properties available from graphs graphs

Specified by:: listDatatypeProperties in interface OWLModel
Returns:
Throws:: ModelAccessException

listObjectProperties

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

Description copied from interface: OWLModel

returns an iterator over object properties available from graphs graphs

Specified by:: listObjectProperties in interface OWLModel
Returns:
Throws:: ModelAccessException

listOntologyProperties

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

Description copied from interface: OWLModel

returns an iterator over Ontology properties available from graphs graphs

Specified by:: listOntologyProperties in interface OWLModel
Returns:
Throws:: ModelAccessException

getInverseProperty
```
public ARTURIResource getInverseProperty(ARTURIResource objectProperty,
                                boolean inferred,
                                ARTResource... graphs)
                                  throws ModelAccessException
```
Description copied from interface: OWLModel

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.

Specified by:

getInverseProperty in interface OWLModel

Returns:

Throws:

ModelAccessException

listOntologyImports

public ARTURIResourceIterator listOntologyImports(ARTURIResource ontology,
                                         ARTResource... contexts)
                                           throws ModelAccessException

Description copied from interface: OWLModel

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

Specified by:: listOntologyImports in interface OWLModel
Returns:
Throws:: ModelAccessException

listValuesOfSubjDTypePropertyPair

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

Description copied from interface: OWLModel

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

Specified by:: listValuesOfSubjDTypePropertyPair in interface OWLModel
Returns:
Throws:: ModelAccessException

listValuesOfSubjObjPropertyPair

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

Description copied from interface: OWLModel

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

Specified by:: listValuesOfSubjObjPropertyPair in interface OWLModel
Returns:
Throws:: ModelAccessException

retrieveClass
```
public ARTURIResource retrieveClass(String uri,
                           ARTResource... contexts)
                             throws ModelAccessException
```
Description copied from class: RDFSModelImpl

/* RETRIEVE METHODS ***

Specified by:

retrieveClass in interface RDFSModel

Overrides:

retrieveClass in class RDFSModelImpl

Returns:

Throws:

ModelAccessException

parseDataRange

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

Description copied from interface: OWLModel

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

Specified by:: parseDataRange in interface OWLModel
Returns:
Throws:: ModelAccessException

isClass
```
public boolean isClass(ARTResource cls,
              ARTResource... graphs)
                throws ModelAccessException
```
Description copied from class: RDFSModelImpl

/* BOOLEAN METHODS ***

Specified by:

isClass in interface RDFSModel

Overrides:

isClass in class RDFSModelImpl

Throws:

ModelAccessException

deleteIndividual
```
public void deleteIndividual(ARTResource res,
                    ARTResource... graphs)
                      throws ModelUpdateException
```
Description copied from interface: OWLModel

deletes an owl:Individual (optimized wrt RDFModel#deleteResource(ARTResource, ARTResource...)) as an owl:Individual cannot appear as predicate of a triple)

Specified by:

deleteIndividual in interface OWLModel

Throws:

ModelUpdateException

renameIndividual
```
public void renameIndividual(ARTURIResource oldIndividual,
                    String newURI,
                    ARTResource... graphs)
                      throws ModelUpdateException
```
Description copied from interface: OWLModel

renames an owl:Individual (optimized wrt RDFModel#renameResource(ARTURIResource, String) as an owl:Individual cannot appear as predicate of a triple)

Specified by:

renameIndividual in interface OWLModel

Throws:

ModelUpdateException

supportsOWLThingMaterialization
```
public boolean supportsOWLThingMaterialization()
```
OWL REASONING METHODS ***

Specified by:

supportsOWLThingMaterialization in interface OWLReasoner

Returns:

supportsInverseProperties
```
public boolean supportsInverseProperties()
```
Specified by:

supportsInverseProperties in interface OWLReasoner

supportsTransitiveProperties
```
public boolean supportsTransitiveProperties()
```
Specified by:

supportsTransitiveProperties in interface OWLReasoner

supportsSymmetricProperties
```
public boolean supportsSymmetricProperties()
```
Specified by:

supportsSymmetricProperties in interface OWLReasoner

hasInversePropertyBoundConcept

protected boolean hasInversePropertyBoundConcept(ARTResource resource,
                                     ARTURIResource property,
                                     ARTURIResource inverseProperty,
                                     ARTResource object,
                                     boolean inferred,
                                     ARTResource... graphs)
                                          throws ModelAccessException

this method is invoked by this OWLModel implementation when one needs to known exactly if a triple is available through inference on property which has an inverse. In this case, if a reasoner is not available or if it is not able to provide owl:inverseOf computation, then an algorithmic solution is adopted to provide on-the-fly computation for the property passed as an argument.

Parameters:: resource -; property -; inverseProperty -; object -; inferred -; graphs -
Returns:
Throws:: ModelAccessException

hasSymmetricPropertyBoundConcept

protected boolean hasSymmetricPropertyBoundConcept(ARTResource resource,
                                       ARTURIResource property,
                                       ARTResource object,
                                       boolean inferred,
                                       ARTResource... graphs)
                                            throws ModelAccessException

this method is invoked by this OWLModel implementation when one needs to known exactly if a triple is available through inference on property which is symmetric. In this case, if a reasoner is not available or if it is not able to provide owl:Symmetric computation, then an algorithmic solution is adopted to provide on-the-fly computation for the property passed as an argument.

Parameters:: resource -; property -; object -; inferred -; graphs -
Returns:
Throws:: ModelAccessException

hasTransitivePropertyBoundConcept

protected boolean hasTransitivePropertyBoundConcept(ARTResource resource,
                                        ARTURIResource property,
                                        ARTResource object,
                                        boolean inferred,
                                        ARTResource... graphs)
                                             throws ModelAccessException

this method is invoked by this OWLModel implementation when one needs to known exactly if a triple is available through inference on a transitive property. In this case, if a reasoner is not available or if it is not able to provide owl:inverseOf computation, then an algorithmic solution is adopted to provide on-the-fly computation for the property passed as an argument.

Parameters:: resource -; property -; object -; inferred -; graphs -
Returns:
Throws:: ModelAccessException

hasTransitivePropertyBoundConcept
```
protected boolean hasTransitivePropertyBoundConcept(ARTResource resource,
                                        ARTURIResource nonTransitiveProperty,
                                        ARTURIResource transitiveExtensionProperty,
                                        ARTResource object,
                                        boolean inferred,
                                        ARTResource... graphs)
                                             throws ModelAccessException
```
* as for hasTransitivePropertyBoundConcept(ARTResource, ARTURIResource, ARTResource, boolean, ARTResource...) though the transitive property is the transitive extension of a non-transitive property.
If no reasoning is asked, the non-transitive property is looked in the concrete triples.
In case of reasoning (inferred==true), if a reasoner is able to compute it (it has transitive property reasoning), the transitive property is explored, while if it is not, a recursive exploration of the non-transitive property is conducted

Parameters:
resource -
nonTransitiveProperty -
transitiveExtensionProperty -
object -
inferred -
graphs -

Returns:

Throws:

ModelAccessException

hasTransitiveInversePropertyBoundConcept

protected boolean hasTransitiveInversePropertyBoundConcept(ARTResource resource,
                                               ARTURIResource nonTransitiveProperty,
                                               ARTURIResource nonTransitiveInverseProperty,
                                               ARTURIResource transitiveExtensionProperty,
                                               ARTURIResource transitiveExtensionInverseProperty,
                                               ARTResource object,
                                               boolean inferred,
                                               ARTResource... graphs)
                                                    throws ModelAccessException

Parameters:: resource -; nonTransitiveProperty -; nonTransitiveInverseProperty - inverse property of property nonTransitiveProperty; transitiveExtensionProperty - transitive extension of property nonTransitiveProperty; transitiveExtensionInverseProperty - transitive extension of property nonTransitiveInverseProperty; object -; inferred -; graphs -
Returns:
Throws:: ModelAccessException

listInversePropertyBoundConcepts

protected ARTResourceIterator listInversePropertyBoundConcepts(ARTResource resource,
                                                   ARTURIResource property,
                                                   ARTURIResource inverseProperty,
                                                   boolean inferred,
                                                   ARTResource... graphs)
                                                        throws ModelAccessException

method which is invoked by this OWLModel implementation when the complete set of results from a property which has an inverse has to be obtained. In this case, if a reasoner is not available or if it is not able to provide owl:inverseOf computation, then an algorithmic solution is adopted to provide on-the-fly computation for the property passed as an argument.

Parameters:: resource -; property -; inverseProperty -; graphs -
Returns:
Throws:: ModelAccessException

listSymmetricPropertyBoundConcepts

protected ARTResourceIterator listSymmetricPropertyBoundConcepts(ARTResource resource,
                                                     ARTURIResource property,
                                                     boolean inferred,
                                                     ARTResource... graphs)
                                                          throws ModelAccessException

method which is invoked by this OWLModel implementation when the complete set of results from a property which is symmetric has to be obtained. In this case, if a reasoner is not available or if it is not able to provide owl:Symmetric computation, then an algorithmic solution is adopted to provide on-the-fly computation for the property passed as an argument.

Parameters:: resource -; property -; graphs -
Returns:
Throws:: ModelAccessException

listTransitivePropertyBoundConcepts

protected ARTResourceIterator listTransitivePropertyBoundConcepts(ARTResource resource,
                                                      ARTURIResource property,
                                                      boolean inferred,
                                                      ARTResource... graphs)
                                                           throws ModelAccessException

method which is invoked by this OWLModel implementation when the complete set of results from a transitive property has to be obtained. In this case, if a reasoner is not available or if it is not able to provide owl:inverseOf computation, then an algorithmic solution is adopted to provide on-the-fly computation for the property passed as an argument.

Parameters:: resource -; property -; graphs -
Returns:
Throws:: ModelAccessException

listTransitivePropertyBoundConcepts
```
protected ARTResourceIterator listTransitivePropertyBoundConcepts(ARTResource resource,
                                                      ARTURIResource nonTransitiveProperty,
                                                      ARTURIResource transitiveExtensionProperty,
                                                      boolean inferred,
                                                      ARTResource... graphs)
                                                           throws ModelAccessException
```
as for listTransitivePropertyBoundConcepts(ARTResource, ARTURIResource, ARTURIResource, boolean, ARTResource...) though the transitive property is the transitive extension of a non-transitive property.
If no reasoning is asked, the non-transitive property is looked in the concrete triples.
In case of reasoning (inferred==true), if a reasoner is able to compute it (it has transitive property reasoning), the transitive property is explored, while if it is not, a recursive exploration of the non-transitive property is conducted

Parameters:
resource -
nonTransitiveProperty -
transitiveExtensionProperty - transitive extension of property property
graphs -

Returns:

Throws:

ModelAccessException

listTransitiveInversePropertyBoundConcepts

protected ARTResourceIterator listTransitiveInversePropertyBoundConcepts(ARTResource resource,
                                                             ARTURIResource nonTransitiveProperty,
                                                             ARTURIResource nonTransitiveInverseProperty,
                                                             ARTURIResource transitiveExtensionProperty,
                                                             ARTURIResource transitiveExtensionInverseProperty,
                                                             boolean inferred,
                                                             ARTResource... graphs)
                                                                  throws ModelAccessException

Parameters:: resource -; nonTransitiveProperty -; transitiveExtensionProperty - transitive extension of property property; graphs -
Returns:
Throws:: ModelAccessException

addEnumeratedClass

public void addEnumeratedClass(String classURI,
                      ArrayList<ARTNode> resources,
                      ARTResource... graphs)
                        throws ModelUpdateException

Add an enumerated class with an identifier (a URI reference) to graphs graphs

Specified by:: addEnumeratedClass in interface OWLModel
Parameters:: classURI -; resources -; graphs -
Throws:: ModelUpdateException

addOneOf

public void addOneOf(String BnodeID,
            ArrayList<ARTNode> resources,
            ARTResource... graphs)
              throws ModelUpdateException

Add an anonymous enumerated class to graphs graphs

Specified by:: addOneOf in interface OWLModel
Parameters:: id -; resources -; graphs -
Throws:: ModelUpdateException

addOneOfDataRange

public void addOneOfDataRange(String BnodeID,
                     ArrayList<ARTLiteral> resources,
                     ARTResource... graphs)
                       throws ModelUpdateException

Add a datarange to graphs graphs

Specified by:: addOneOfDataRange in interface OWLModel
Parameters:: id -; resources -; graphs -
Throws:: ModelUpdateException

addRestrictionOnPropertyAllValuesFrom

public void addRestrictionOnPropertyAllValuesFrom(String BnodeID,
                                         ARTURIResource property,
                                         ARTResource resource,
                                         ARTResource... graphs)
                                           throws ModelUpdateException

Add an anonymous class as a restriction on range (All Values) of a property to graphs

Specified by:: addRestrictionOnPropertyAllValuesFrom in interface OWLModel
Parameters:: ID -; property -; resource -; graphs -
Throws:: ModelUpdateException

addRestrictionOnPropertySomeValuesFrom

public void addRestrictionOnPropertySomeValuesFrom(String BnodeID,
                                          ARTURIResource property,
                                          ARTResource resource,
                                          ARTResource... graphs)
                                            throws ModelUpdateException

Add an anonymous class as a restriction on range (Some Values) of a property to graphs

Specified by:: addRestrictionOnPropertySomeValuesFrom in interface OWLModel
Parameters:: ID -; property -; resource -; graphs -
Throws:: ModelUpdateException

addRestrictionOnPropertyHasValue

public void addRestrictionOnPropertyHasValue(String BnodeID,
                                    ARTURIResource property,
                                    ARTNode resourceOrLiteral,
                                    ARTResource... graphs)
                                      throws ModelUpdateException

Add an anonymous class as a restriction on range (Has Value) of a property to graphs

Specified by:: addRestrictionOnPropertyHasValue in interface OWLModel
Parameters:: ID -; property -; resourceOrLiteral -; graphs -
Throws:: ModelUpdateException

addRestrictionOnCardinalityMinCardinality

public void addRestrictionOnCardinalityMinCardinality(String BnodeID,
                                             ARTURIResource property,
                                             String literal,
                                             ARTResource... graphs)
                                               throws ModelUpdateException

Add an anonymous class as a restriction on the minimum cardinality of property to graphs

Specified by:: addRestrictionOnCardinalityMinCardinality in interface OWLModel
Parameters:: ID -; property -; literal -; graphs -
Throws:: ModelUpdateException

addRestrictionOnCardinalityMaxCardinality

public void addRestrictionOnCardinalityMaxCardinality(String BnodeID,
                                             ARTURIResource property,
                                             String literal,
                                             ARTResource... graphs)
                                               throws ModelUpdateException

Add an anonymous class as a restriction on the maximum cardinality of property to graphs

Specified by:: addRestrictionOnCardinalityMaxCardinality in interface OWLModel
Parameters:: ID -; property -; literal -; graphs -
Throws:: ModelUpdateException

addRestrictionOnCardinalityCardinality

public void addRestrictionOnCardinalityCardinality(String BnodeID,
                                          ARTURIResource property,
                                          String literal,
                                          ARTResource... graphs)
                                            throws ModelUpdateException

Add an anonymous class as a restriction on the cardinality of property to graphs

Specified by:: addRestrictionOnCardinalityCardinality in interface OWLModel
Parameters:: ID -; property -; literal -; graphs -
Throws:: ModelUpdateException

addIntersectionOf

public void addIntersectionOf(String BnodeID,
                     ArrayList<ARTResource> descriptions,
                     ARTResource... graphs)
                       throws ModelUpdateException

Add an anonymous class as intersection of a set of resources to graphs

Specified by:: addIntersectionOf in interface OWLModel
Parameters:: ID -; descriptions -; graphs -
Throws:: ModelUpdateException

addComplementOf

public void addComplementOf(String BnodeID,
                   ARTResource description,
                   ARTResource... graphs)
                     throws ModelUpdateException

Add an anonymous class as the complement of the specified resource to graphs

Specified by:: addComplementOf in interface OWLModel
Parameters:: ID -; description -; graphs -
Throws:: ModelUpdateException

addUnionOf

public void addUnionOf(String BnodeID,
              ArrayList<ARTResource> descriptions,
              ARTResource... graphs)
                throws ModelUpdateException

Add an anonymous class as union of a set of resources to graphs

Specified by:: addUnionOf in interface OWLModel
Parameters:: ID -; descriptions -; graphs -
Throws:: ModelUpdateException

addEquivalentClass

public void addEquivalentClass(String classURI,
                      ARTResource equivalentClass,
                      ARTResource... graphs)
                        throws ModelUpdateException

Add a named equivalent class of the specified resource to graphs

Specified by:: addEquivalentClass in interface OWLModel
Parameters:: StringURI -; equivalentClass -; graphs -
Throws:: ModelUpdateException

addSubClassOf

public void addSubClassOf(String classURI,
                 ARTResource subClass,
                 ARTResource... graphs)
                   throws ModelUpdateException

Add an named subclass of the specified resource to graphs

Specified by:: addSubClassOf in interface OWLModel
Parameters:: StringURI -; subClass -; graphs -
Throws:: ModelUpdateException

recursiveBNodeExploration

public void recursiveBNodeExploration(HashSet<ARTResource> set,
                             ARTResource resource,
                             ARTURIResource prop,
                             ARTResource... graphs)
                               throws ModelAccessException

recursively explore (that is, runs along the transitive closure of) a property and fills the set set with all the objects which are blank node of his property

Specified by:: recursiveBNodeExploration in interface OWLModel
Parameters:: set -; resource -; prop -; graphs -
Throws:: ModelAccessException

parseManchesterExpr

public ARTNode parseManchesterExpr(ManchesterClassInterface mci,
                          List<ARTStatement> statList)

Specified by:: parseManchesterExpr in interface OWLModel

getManchExprFromBNode

public String getManchExprFromBNode(ARTBNode bnode,
                           boolean getPrefixName,
                           OWLModel owlModel,
                           ARTResource graphs)
                             throws ModelAccessException

Specified by:: getManchExprFromBNode in interface OWLModel
Throws:: ModelAccessException

getManchClassFromBNode

public ManchesterClassInterface getManchClassFromBNode(ARTBNode bnode,
                                              OWLModel owlModel,
                                              ARTResource graphs)
                                                throws ModelAccessException

Specified by:: getManchClassFromBNode in interface OWLModel
Throws:: ModelAccessException

Class OWLModelImpl

Nested Class Summary

Field Summary

Fields inherited from class it.uniroma2.art.owlart.models.impl.RDFModelImpl

Constructor Summary

Method Summary

Methods inherited from class it.uniroma2.art.owlart.models.impl.RDFSModelImpl

Methods inherited from class it.uniroma2.art.owlart.models.impl.RDFModelImpl

Methods inherited from class java.lang.Object

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

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

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

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

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

Methods inherited from interface it.uniroma2.art.owlart.io.RDFSerializer

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

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

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

Field Detail

logger

Constructor Detail

OWLModelImpl

Method Detail

addAnnotationProperty

addDatatypeProperty

addObjectProperty

addOntologyProperty

addImportStatement

addClass

removeImportStatement

addValuesToDatarange

addValueToDatarange

removeValueFromDatarange

instantiateDatatypeProperty

instantiateObjectProperty

instantiateAnnotationProperty

setDataRange

isAnnotationProperty

isDatatypeProperty

isOntologyProperty

isFunctionalProperty

isInverseFunctionalProperty

isObjectProperty

isSymmetricProperty

isTransitiveProperty

isDataRange

isOntology

hasValueInDatarange

listNamedClasses

listClasses

listAnnotationProperties

listDatatypeProperties

listObjectProperties

listOntologyProperties

getInverseProperty

listOntologyImports

listValuesOfSubjDTypePropertyPair

listValuesOfSubjObjPropertyPair

retrieveClass

parseDataRange

isClass

deleteIndividual

renameIndividual

supportsOWLThingMaterialization

supportsInverseProperties

supportsTransitiveProperties

supportsSymmetricProperties

hasInversePropertyBoundConcept

hasSymmetricPropertyBoundConcept

hasTransitivePropertyBoundConcept

hasTransitivePropertyBoundConcept

hasTransitiveInversePropertyBoundConcept

listInversePropertyBoundConcepts

listSymmetricPropertyBoundConcepts

listTransitivePropertyBoundConcepts

listTransitivePropertyBoundConcepts

listTransitiveInversePropertyBoundConcepts

addEnumeratedClass

addOneOf

addOneOfDataRange