Package org.semanticweb.owlapi.util

Class OWLObjectPropertyManager

java.lang.Object
org.semanticweb.owlapi.util.OWLObjectPropertyManager
public class OWLObjectPropertyManager extends Object
Since:
2.2.0
Author:
Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

  • Constructor Details

    • OWLObjectPropertyManager

      public OWLObjectPropertyManager(OWLOntology ont)
      Parameters:
      ont - the ontology to use

  • Method Details

    • getEquivalentObjectProperties

      public static Collection<Set<OWLObjectPropertyExpression>> getEquivalentObjectProperties(Stream<OWLOntology> ontologies)
      Parameters:
      ontologies - ontologies to search
      Returns:
      sets of equivalent properties

    • tarjan

      public static void tarjan(Stream<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Deque<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)
      Parameters:
      ontologies - The ontologies
      prop - the property
      index - index
      stack - stack
      indexMap - index map
      lowlinkMap - low link map
      result - result
      processed - processed
      stackProps - stack entities

    • isComposite

      public boolean isComposite(OWLObjectPropertyExpression expression)
      An object property expression PE is composite in Ax if Ax contains an axiom of the form SubObjectPropertyOf(SubObjectPropertyChain(PE1 ... PEn) PE) with n greater than 1, or SubObjectPropertyOf(SubObjectPropertyChain(PE1 ... PEn) INV(PE)) with n greater than 1, or TransitiveObjectProperty(PE), or TransitiveObjectProperty(INV(PE)).
      Parameters:
      expression - The object property expression to be tested
      Returns:
      true if the object property is composite (according to the above definition) or false if the object property is not composite.

    • getCompositeProperties

      public Set<OWLObjectPropertyExpression> getCompositeProperties()
      Returns:
      the property expressions

    • getPropertyHierarchy

      public 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.
      Returns:
      A Map that maps sub properties to sets of super properties.

    • getHierarchyReflexiveTransitiveClosure

      public Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> getHierarchyReflexiveTransitiveClosure()
      Returns:
      transitive reflexive closure

    • isSubPropertyOf

      public 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.
      Parameters:
      sub - The sub property
      sup - The super property
      Returns:
      true if sub is the sub-property of sup, otherwise false

    • isNonSimple

      public boolean isNonSimple(OWLObjectPropertyExpression expression)
      The relation ->* is the reflexive-transitive closure of ->. An object property expression PE is simple in Ax if, for each object property expression PE' such that PE' ->* PE holds, PE' is not composite.
      Parameters:
      expression - The expression to be tested.
      Returns:
      true if the object property expression is simple, otherwise false.

    • getNonSimpleProperties

      public Set<OWLObjectPropertyExpression> getNonSimpleProperties()
      Returns:
      non simple properties

    • getPropertyPartialOrdering

      public Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> getPropertyPartialOrdering()
      Returns:
      partial ordering

    • isLessThan

      public boolean isLessThan(OWLObjectPropertyExpression propA, OWLObjectPropertyExpression propB)
      Parameters:
      propA - first property
      propB - second property
      Returns:
      true if first property comes first in the default ordering

    • getEquivalentObjectProperties

      public Collection<Set<OWLObjectPropertyExpression>> getEquivalentObjectProperties()
      Returns:
      sets of equivalent properties