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(@Nonnull OWLOntologyManager manager, @Nonnull OWLOntology ont)
manager
- the ontology manager to useont
- the ontology to usepublic void dispose()
public boolean isComposite(@Nonnull 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.@Nonnull public Set<OWLObjectPropertyExpression> getCompositeProperties()
@Nonnull public Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> getPropertyHierarchy()
@Nonnull public Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> getHierarchyReflexiveTransitiveClosure()
public boolean isSubPropertyOf(@Nonnull OWLObjectPropertyExpression sub, @Nonnull OWLObjectPropertyExpression sup)
sub
- The sub propertysup
- The super propertytrue
if sub is the sub-property of sup, otherwise false
public boolean isNonSimple(@Nonnull OWLObjectPropertyExpression expression)
expression
- The expression to be tested.true
if the object property expression is simple, otherwise false.@Nonnull public Set<OWLObjectPropertyExpression> getNonSimpleProperties()
@Nonnull public Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> getPropertyPartialOrdering()
public boolean isLessThan(@Nonnull OWLObjectPropertyExpression propA, @Nonnull OWLObjectPropertyExpression propB)
propA
- first propertypropB
- second property@Nonnull public static Collection<Set<OWLObjectPropertyExpression>> getEquivalentObjectProperties(@Nonnull Set<OWLOntology> ontologies)
ontologies
- ontologies to search@Nonnull public Collection<Set<OWLObjectPropertyExpression>> getEquivalentObjectProperties()
public static void tarjan(@Nonnull Set<OWLOntology> ontologies, @Nonnull OWLObjectPropertyExpression prop, int index, @Nonnull Stack<OWLObjectPropertyExpression> stack, @Nonnull Map<OWLObjectPropertyExpression,Integer> indexMap, @Nonnull Map<OWLObjectPropertyExpression,Integer> lowlinkMap, @Nonnull Set<Set<OWLObjectPropertyExpression>> result, @Nonnull Set<OWLObjectPropertyExpression> processed, @Nonnull Set<OWLObjectPropertyExpression> stackProps)
ontologies
- The ontologiesprop
- the propertyindex
- indexstack
- stackindexMap
- index maplowlinkMap
- low link mapresult
- resultprocessed
- processedstackProps
- stack entitiesCopyright © 2020 The University of Manchester. All rights reserved.