public class OWLObjectPropertyManager extends Object
Constructor and Description |
---|
OWLObjectPropertyManager(OWLOntologyManager manager,
OWLOntology ont) |
Modifier and Type | Method and Description |
---|---|
void |
dispose()
clear the object and its resources.
|
Set<OWLObjectPropertyExpression> |
getCompositeProperties() |
Collection<Set<OWLObjectPropertyExpression>> |
getEquivalentObjectProperties() |
static Collection<Set<OWLObjectPropertyExpression>> |
getEquivalentObjectProperties(Set<OWLOntology> ontologies) |
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
getHierarchyReflexiveTransitiveClosure() |
Set<OWLObjectPropertyExpression> |
getNonSimpleProperties() |
Map<OWLObjectPropertyExpression,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.
|
Map<OWLObjectPropertyExpression,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(Set<OWLOntology> ontologies,
OWLObjectPropertyExpression prop,
int index,
Stack<OWLObjectPropertyExpression> stack,
Map<OWLObjectPropertyExpression,Integer> indexMap,
Map<OWLObjectPropertyExpression,Integer> lowlinkMap,
Set<Set<OWLObjectPropertyExpression>> result,
Set<OWLObjectPropertyExpression> processed,
Set<OWLObjectPropertyExpression> stackProps) |
public OWLObjectPropertyManager(OWLOntologyManager manager, OWLOntology ont)
manager
- the ontology manager to useont
- the ontology to usepublic void dispose()
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 Set<OWLObjectPropertyExpression> getCompositeProperties()
public Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> getPropertyHierarchy()
public Map<OWLObjectPropertyExpression,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 Set<OWLObjectPropertyExpression> getNonSimpleProperties()
public Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> getPropertyPartialOrdering()
public boolean isLessThan(OWLObjectPropertyExpression propA, OWLObjectPropertyExpression propB)
propA
- first propertypropB
- second propertypublic static Collection<Set<OWLObjectPropertyExpression>> getEquivalentObjectProperties(Set<OWLOntology> ontologies)
ontologies
- ontologies to searchpublic Collection<Set<OWLObjectPropertyExpression>> getEquivalentObjectProperties()
public static void tarjan(Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Stack<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)
ontologies
- The ontologiesprop
- the propertyindex
- indexstack
- stackindexMap
- index maplowlinkMap
- low link mapresult
- resultprocessed
- processedstackProps
- stack entitiesCopyright © 2017 The University of Manchester. All Rights Reserved.