public class OWLObjectPropertyManager
extends java.lang.Object
Constructor and Description |
---|
OWLObjectPropertyManager(OWLOntologyManager manager,
OWLOntology ont) |
Modifier and Type | Method and Description |
---|---|
void |
dispose()
clear the object and its resources
|
java.util.Set<OWLObjectPropertyExpression> |
getCompositeProperties() |
java.util.Collection<java.util.Set<OWLObjectPropertyExpression>> |
getEquivalentObjectProperties() |
static java.util.Collection<java.util.Set<OWLObjectPropertyExpression>> |
getEquivalentObjectProperties(java.util.Set<OWLOntology> ontologies) |
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyExpression>> |
getHierarchyReflexiveTransitiveClosure() |
java.util.Set<OWLObjectPropertyExpression> |
getNonSimpleProperties() |
protected java.util.Set<OWLOntology> |
getOntologies() |
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyExpression>> |
getPropertyHierarchy()
The object property hierarchy relation -> is the smallest relation on
object property expressions for which the following conditions hold (A ->
B means that -> holds for A and B): if Ax contains an axiom
SubObjectPropertyOf(PE1 PE2), then PE1 -> PE2 holds; and if Ax contains
an axiom EquivalentObjectProperties(PE1 PE2), then PE1 -> PE2 and PE2 ->
PE1 hold; and if Ax contains an axiom InverseObjectProperties(PE1 PE2),
then PE1 -> INV(PE2) and INV(PE2) -> PE1 hold; and if Ax contains an
axiom SymmetricObjectProperty(PE), then PE -> INV(PE) holds; and if PE1
-> PE2 holds, then INV(PE1) -> INV(PE2) holds as well.
|
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyExpression>> |
getPropertyPartialOrdering() |
boolean |
isComposite(OWLObjectPropertyExpression expression)
An object property expression PE is composite in Ax if Ax contains an axiom of the form
SubObjectPropertyOf(SubObjectPropertyChain(PE1 ...
|
boolean |
isLessThan(OWLObjectPropertyExpression propA,
OWLObjectPropertyExpression propB) |
boolean |
isNonSimple(OWLObjectPropertyExpression expression)
The relation ->* is the reflexive-transitive closure of ->.
|
boolean |
isSubPropertyOf(OWLObjectPropertyExpression sub,
OWLObjectPropertyExpression sup)
Tests to see if one property is a sub property of another property in the reflexive transitive
closure of the property hierarchy
|
static void |
tarjan(java.util.Set<OWLOntology> ontologies,
OWLObjectPropertyExpression prop,
int index,
java.util.Stack<OWLObjectPropertyExpression> stack,
java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap,
java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap,
java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result,
java.util.Set<OWLObjectPropertyExpression> processed,
java.util.Set<OWLObjectPropertyExpression> stackProps) |
public OWLObjectPropertyManager(OWLOntologyManager manager, OWLOntology ont)
manager
- the ontology manager to useont
- the ontology to usepublic void dispose()
protected java.util.Set<OWLOntology> getOntologies()
public boolean isComposite(OWLObjectPropertyExpression expression)
expression
- The object property expression to be testedtrue
if the object property is composite (according to the above definition)
or false
if the object property is not composite.public java.util.Set<OWLObjectPropertyExpression> getCompositeProperties()
public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyExpression>> getPropertyHierarchy()
public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyExpression>> getHierarchyReflexiveTransitiveClosure()
public boolean isSubPropertyOf(OWLObjectPropertyExpression sub, OWLObjectPropertyExpression sup)
sub
- The sub propertysup
- The super propertytrue
if sub is the sub-property of sup, otherwise false
public boolean isNonSimple(OWLObjectPropertyExpression expression)
expression
- The expression to be tested.true
if the object property expression is simple,
otherwise false.public java.util.Set<OWLObjectPropertyExpression> getNonSimpleProperties()
public java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyExpression>> getPropertyPartialOrdering()
public boolean isLessThan(OWLObjectPropertyExpression propA, OWLObjectPropertyExpression propB)
propA
- first propertypropB
- second propertypublic static java.util.Collection<java.util.Set<OWLObjectPropertyExpression>> getEquivalentObjectProperties(java.util.Set<OWLOntology> ontologies)
ontologies
- ontologies to searchpublic java.util.Collection<java.util.Set<OWLObjectPropertyExpression>> getEquivalentObjectProperties()
public static void tarjan(java.util.Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, java.util.Stack<OWLObjectPropertyExpression> stack, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap, java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result, java.util.Set<OWLObjectPropertyExpression> processed, java.util.Set<OWLObjectPropertyExpression> stackProps)
ontologies
- The ontologiesprop
- the propertyindex
- indexstack
- stackindexMap
- index maplowlinkMap
- low link mapresult
- resultprocessed
- processedstackProps
- stack entities