public interface OWLModel extends RDFSModel, OWLReasoner
Modifier and Type | Method and Description |
---|---|
void |
addAnnotationProperty(String propertyURI,
ARTURIResource superProperty,
ARTResource... graphs)
adds an annotation property with uri =
propertyURI |
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... graphs)
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) |
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... graphs)
|
void |
instantiateDatatypeProperty(ARTResource subject,
ARTURIResource predicate,
String value,
ARTResource... graphs)
|
void |
instantiateObjectProperty(ARTResource subject,
ARTURIResource predicate,
ARTResource object,
ARTResource... graphs)
|
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
|
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... graphs)
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 res,
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) |
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 |
addClass, addComment, addLabel, addPropertyDomain, addPropertyRange, addSuperClass, addSuperProperty, deleteClass, hasSuperProperty, isClass, listClasses, listComments, listLabels, listNamedClasses, listNamedResources, listPropertiesForDomainClass, listPropertiesForRangeClass, listPropertyDomains, listPropertyRanges, listSubClasses, listSubProperties, listSuperClasses, listSuperProperties, listURISuperClasses, removeComment, removeLabel, removePropertyDomain, removePropertyRange, removeSuperClass, removeSuperProperty, renameClass, retrieveClass
addInstance, addProperty, addType, deleteProperty, deleteResource, existsResource, hasType, instantiatePropertyWithPlainLiteral, instantiatePropertyWithPlainLiteral, instantiatePropertyWithResource, instantiatePropertyWithTypedLiteral, isLocallyDefined, isProperty, listInstances, listNamedInstances, listProperties, listTypes, removeType, renameProperty, renameResource, retrieveBNode, retrieveURIResource
addRDF, addRDF, addStatement, addTriple, clearRDF, close, deleteStatement, deleteTriple, getBaseURI, getDefaultNamespace, hasStatement, hasTriple, listNamedGraphs, listNamespaces, listPredicatesOfSubjObjPair, listStatements, listSubjectsOfPredObjPair, listValuesOfSubjPredPair, setBaseURI, setDefaultNamespace, writeRDF, writeRDF
expandQName, getNamespacePrefixMapping, getNSForPrefix, getPrefixForNS, getQName, removeNsPrefixMapping, setNsPrefix
createBNode, createBNode, createLiteral, createLiteral, createLiteral, createStatement, createURIResource
writeRDF, writeRDF
createBooleanQuery, createBooleanQuery, createBooleanQuery, createGraphQuery, createGraphQuery, createGraphQuery, createQuery, createQuery, createQuery, createTupleQuery, createTupleQuery, createTupleQuery, createUpdateQuery, createUpdateQuery, createUpdateQuery
createBooleanQuery, createGraphQuery, createQuery, createTupleQuery, createUpdate
supportsInverseProperties, supportsOWLThingMaterialization, supportsSymmetricProperties, supportsTransitiveProperties
supportsClassIdentification, supportsSubClassOfClosure, supportsSubPropertyMaterialization, supportsSubPropertyOfClosure
void addAnnotationProperty(String propertyURI, ARTURIResource superProperty, ARTResource... graphs) throws ModelUpdateException
propertyURI
propertyURI
- superProperty
- graphs
- ModelUpdateException
void addDatatypeProperty(String propertyURI, ARTURIResource superProperty, ARTResource... graphs) throws ModelUpdateException
propertyURI
propertyURI
- superProperty
- graphs
- ModelUpdateException
void addObjectProperty(String propertyURI, ARTURIResource superProperty, ARTResource... graphs) throws ModelUpdateException
propertyURI
propertyURI
- superProperty
- graphs
- ModelUpdateException
void addOntologyProperty(String propertyURI, ARTURIResource superProperty, ARTResource... graphs) throws ModelUpdateException
propertyURI
propertyURI
- superProperty
- graphs
- ModelUpdateException
void addImportStatement(String baseURI, ARTResource... graphs) throws ModelUpdateException
baseURI
- the baseURI of the ontology being importedgraphs
- ModelUpdateException
void instantiateDatatypeProperty(ARTResource subject, ARTURIResource predicate, String value, ARTResource... graphs) throws ModelUpdateException
RDFModel.instantiatePropertyWithPlainLiteral(ARTResource, ARTURIResource, String, ARTResource...)
subject
, predicate
and value
subject
- predicate
- value
- graphs
- ModelUpdateException
void instantiateObjectProperty(ARTResource subject, ARTURIResource predicate, ARTResource object, ARTResource... graphs) throws ModelUpdateException
RDFModel.instantiatePropertyWithResource(ARTResource, ARTURIResource, ARTResource, ARTResource...)
subject
, predicate
and object
subject
- predicate
- object
- graphs
- ModelUpdateException
void instantiateAnnotationProperty(ARTResource subject, ARTURIResource property, String value, String lang, ARTResource... graphs) throws ModelUpdateException
RDFModel.instantiatePropertyWithPlainLiteral(ARTResource, ARTURIResource, String, String, ARTResource...)
subject
, predicate
and object, which is
described by its label (value
) and language (lang
)subject
- property
- value
- lang
- ModelUpdateException
boolean isAnnotationProperty(ARTURIResource prop, ARTResource... graphs) throws ModelAccessException
prop
- graphs
- ModelAccessException
boolean isOntologyProperty(ARTURIResource prop, ARTResource... graphs) throws ModelAccessException
prop
- graphs
- ModelAccessException
boolean isDatatypeProperty(ARTURIResource prop, ARTResource... graphs) throws ModelAccessException
prop
- graphs
- ModelAccessException
boolean isFunctionalProperty(ARTURIResource property, ARTResource... graphs) throws ModelAccessException
property
- graphs
- ModelAccessException
boolean isInverseFunctionalProperty(ARTURIResource property, ARTResource... graphs) throws ModelAccessException
property
- graphs
- ModelAccessException
boolean isObjectProperty(ARTURIResource prop, ARTResource... graphs) throws ModelAccessException
prop
- graphs
- ModelAccessException
boolean isSymmetricProperty(ARTURIResource property, ARTResource... graphs) throws ModelAccessException
property
- graphs
- ModelAccessException
boolean isTransitiveProperty(ARTURIResource property, ARTResource... graphs) throws ModelAccessException
property
- graphs
- ModelAccessException
boolean isDataRange(ARTResource range, ARTResource... graphs) throws ModelAccessException
range
- graphs
- ModelAccessException
boolean isOntology(ARTURIResource uri, ARTResource... graphs) throws ModelAccessException
uri
is an Ontologyuri
- graphs
- ModelAccessException
ARTURIResourceIterator listDatatypeProperties(boolean inferred, ARTResource... graphs) throws ModelAccessException
graphs
inferred
- graphs
- ModelAccessException
ARTURIResourceIterator listObjectProperties(boolean inferred, ARTResource... graphs) throws ModelAccessException
graphs
inferred
- graphs
- ModelAccessException
ARTURIResourceIterator listAnnotationProperties(boolean inferred, ARTResource... graphs) throws ModelAccessException
graphs
inferred
- graphs
- ModelAccessException
ARTURIResourceIterator listOntologyProperties(boolean inferred, ARTResource... graphs) throws ModelAccessException
graphs
inferred
- graphs
- ModelAccessException
ARTURIResource getInverseProperty(ARTURIResource objectProperty, boolean inferred, ARTResource... graphs) throws ModelAccessException
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.objectProperty
- inferred
- graphs
- ModelAccessException
ARTURIResourceIterator listOntologyImports(ARTURIResource ontology, ARTResource... graphs) throws ModelAccessException
ontology
(defined in graphs graphs
ontology
- graphs
- ModelAccessException
ARTLiteralIterator listValuesOfSubjDTypePropertyPair(ARTResource instance, ARTURIResource property, boolean inferred, ARTResource... graphs) throws ModelAccessException
individual
through
datatype/annotation property property
both parameters need to be instantiatedinstance
- property
- inferred
- ModelAccessException
ARTResourceIterator listValuesOfSubjObjPropertyPair(ARTResource individual, ARTURIResource property, boolean inferred, ARTResource... graphs) throws ModelAccessException
individual
through object
property property
both parameters need to be instantiatedindividual
- property
- ModelAccessException
ARTLiteralIterator parseDataRange(ARTResource dataRange, ARTResource... graphs) throws ModelAccessException
dataRange
- graphs
- ModelAccessException
String setDataRange(ARTURIResource property, RDFIterator<ARTLiteral> dataRangeIterator, ARTResource... graphs) throws ModelAccessException, ModelUpdateException
property
dataRange
- graphs
- ModelAccessException
ModelUpdateException
void addValuesToDatarange(ARTResource dataRange, Iterator<ARTLiteral> literals, ARTResource... graphs) throws ModelAccessException, ModelUpdateException
dataRange
- literals
- graphs
- ModelUpdateException
ModelAccessException
void addValueToDatarange(ARTResource dataRange, ARTLiteral lit, ARTResource... graphs) throws ModelAccessException, ModelUpdateException
dataRange
- lit
- graphs
- ModelUpdateException
ModelAccessException
boolean hasValueInDatarange(ARTResource dataRange, ARTLiteral lit, ARTResource... graphs) throws ModelAccessException
dataRange
- lit
- graphs
- ModelAccessException
void removeValueFromDatarange(ARTResource dataRange, ARTLiteral lit, ARTResource... graphs) throws ModelAccessException, ModelUpdateException
dataRange
- lit
- graphs
- ModelAccessException
ModelUpdateException
void removeImportStatement(ARTURIResource URI, ARTResource... graphs) throws ModelUpdateException
graphs
URI
- the baseURI of the ontology being importedgraphs
- ModelUpdateException
void deleteIndividual(ARTResource res, ARTResource... graphs) throws ModelUpdateException
RDFModel#deleteResource(ARTResource, ARTResource...))
as an owl:Individual cannot appear as predicate of a triple)res
- newURI
- ModelUpdateException
void renameIndividual(ARTURIResource res, String newURI, ARTResource... graphs) throws ModelUpdateException
RDFModel#renameResource(ARTURIResource, String)
as an
owl:Individual cannot appear as predicate of a triple)res
- newURI
- ModelUpdateException
void addEnumeratedClass(String classURI, ArrayList<ARTNode> resources, ARTResource... graphs) throws ModelUpdateException
graphs
classURI
- resources
- graphs
- ModelUpdateException
void addOneOf(String BnodeID, ArrayList<ARTNode> resources, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- resources
- graphs
- ModelUpdateException
void addOneOfDataRange(String BnodeID, ArrayList<ARTLiteral> resources, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- resources
- graphs
- ModelUpdateException
void addRestrictionOnPropertyAllValuesFrom(String BnodeID, ARTURIResource property, ARTResource resource, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- property
- resource
- graphs
- ModelUpdateException
void addRestrictionOnPropertySomeValuesFrom(String BnodeID, ARTURIResource property, ARTResource resource, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- property
- resource
- graphs
- ModelUpdateException
void addRestrictionOnPropertyHasValue(String BnodeID, ARTURIResource property, ARTNode resourceOrLiteral, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- property
- resourceOrLiteral
- graphs
- ModelUpdateException
void addRestrictionOnCardinalityMinCardinality(String BnodeID, ARTURIResource property, String literal, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- property
- literal
- graphs
- ModelUpdateException
void addRestrictionOnCardinalityMaxCardinality(String BnodeID, ARTURIResource property, String literal, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- property
- literal
- graphs
- ModelUpdateException
void addRestrictionOnCardinalityCardinality(String BnodeID, ARTURIResource property, String literal, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- property
- literal
- graphs
- ModelUpdateException
void addIntersectionOf(String BnodeID, ArrayList<ARTResource> descriptions, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- descriptions
- graphs
- ModelUpdateException
void addComplementOf(String BnodeID, ARTResource description, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- description
- graphs
- ModelUpdateException
void addUnionOf(String BnodeID, ArrayList<ARTResource> descriptions, ARTResource... graphs) throws ModelUpdateException
graphs
BnodeID
- descriptions
- graphs
- ModelUpdateException
void addEquivalentClass(String classURI, ARTResource equivalentClass, ARTResource... graphs) throws ModelUpdateException
graphs
StringURI
- equivalentClass
- graphs
- ModelUpdateException
void addSubClassOf(String classURI, ARTResource subClass, ARTResource... graphs) throws ModelUpdateException
graphs
StringURI
- subClass
- graphs
- ModelUpdateException
void recursiveBNodeExploration(HashSet<ARTResource> set, ARTResource resource, ARTURIResource prop, ARTResource... graphs) throws ModelAccessException
set
with all the objects which are blank node of his propertyset
- resource
- prop
- graphs
- ModelAccessException
ARTNode parseManchesterExpr(ManchesterClassInterface mci, List<ARTStatement> statList)
String getManchExprFromBNode(ARTBNode bnode, boolean getPrefixName, OWLModel owlModel, ARTResource graphs) throws ModelAccessException
ModelAccessException
ManchesterClassInterface getManchClassFromBNode(ARTBNode bnode, OWLModel owlModel, ARTResource graphs) throws ModelAccessException
ModelAccessException
Copyright © 2015 ART Group, University of Rome, Tor Vergata. All Rights Reserved.