org.semanticweb.HermiT.structural
Class ObjectPropertyInclusionManager
java.lang.Object
org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager
public class ObjectPropertyInclusionManager
- extends Object
Field Summary |
protected Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> |
m_automataByProperty
|
Method Summary |
protected rationals.State |
addNewTransition(rationals.Automaton automaton,
rationals.State fromState,
org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression)
|
protected void |
automataConnector(rationals.Automaton biggerPropertyAutomaton,
rationals.Automaton smallerPropertyAutomaton,
rationals.Transition transition)
|
protected rationals.Automaton |
buildCompleteAutomataForProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyToBuildAutomatonFor,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> completeAutomata,
Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> inversedPropertyDependencyGraph,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> symmetricObjectProperties,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
|
protected Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> |
buildIndividualAutomata(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexPropertiesDependencyGraph,
Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions,
Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
|
protected Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> |
buildInversePropertiesMap(Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions)
|
protected Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
buildPropertyOrdering(Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions,
Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap)
|
protected void |
checkForRegularity(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyDependencyGraph,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap)
|
protected void |
connectAllAutomata(Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> completeAutomata,
Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyDependencyGraph,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata,
Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> symmetricObjectProperties,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
|
protected void |
createAutomata(Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> automataByProperty,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexObjectPropertyExpressions,
Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions,
Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions)
|
protected Set<rationals.Transition> |
deltaToState(rationals.Automaton smallerPropertyAutomaton,
rationals.State state)
|
protected Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> |
findEquivalentProperties(Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions)
|
protected Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> |
findSimpleProperties(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexPropertiesDependencyGraph,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata)
|
protected Map<rationals.State,rationals.State> |
getDisjointUnion(rationals.Automaton automaton1,
rationals.Automaton automaton2)
|
protected rationals.Automaton |
getMirroredCopy(rationals.Automaton automaton)
|
protected void |
increaseAutomatonWithInversePropertyAutomaton(rationals.Automaton propertyAutomaton,
rationals.Automaton inversePropertyAutomaton)
|
protected void |
increaseWithDefinedInverseIfNecessary(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyToBuildAutomatonFor,
rationals.Automaton leafPropertyAutomaton,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata)
|
protected rationals.Automaton |
minimizeAndNormalizeAutomaton(rationals.Automaton automaton)
|
void |
rewriteAxioms(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
OWLAxioms axioms,
int firstReplacementIndex)
|
int |
rewriteNegativeObjectPropertyAssertions(org.semanticweb.owlapi.model.OWLDataFactory factory,
OWLAxioms axioms,
int replacementIndex)
|
protected void |
useStandardAutomataConnector(rationals.Automaton biggerPropertyAutomaton,
rationals.Automaton smallerPropertyAutomaton,
rationals.Transition transition)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_automataByProperty
protected final Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> m_automataByProperty
ObjectPropertyInclusionManager
public ObjectPropertyInclusionManager(OWLAxioms axioms)
rewriteNegativeObjectPropertyAssertions
public int rewriteNegativeObjectPropertyAssertions(org.semanticweb.owlapi.model.OWLDataFactory factory,
OWLAxioms axioms,
int replacementIndex)
rewriteAxioms
public void rewriteAxioms(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
OWLAxioms axioms,
int firstReplacementIndex)
createAutomata
protected void createAutomata(Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> automataByProperty,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexObjectPropertyExpressions,
Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions,
Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions)
buildInversePropertiesMap
protected Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> buildInversePropertiesMap(Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions)
findEquivalentProperties
protected Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> findEquivalentProperties(Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions)
findSimpleProperties
protected Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> findSimpleProperties(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexPropertiesDependencyGraph,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata)
connectAllAutomata
protected void connectAllAutomata(Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> completeAutomata,
Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyDependencyGraph,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata,
Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> symmetricObjectProperties,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
increaseAutomatonWithInversePropertyAutomaton
protected void increaseAutomatonWithInversePropertyAutomaton(rationals.Automaton propertyAutomaton,
rationals.Automaton inversePropertyAutomaton)
buildCompleteAutomataForProperties
protected rationals.Automaton buildCompleteAutomataForProperties(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyToBuildAutomatonFor,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> completeAutomata,
Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> inversedPropertyDependencyGraph,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> symmetricObjectProperties,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
increaseWithDefinedInverseIfNecessary
protected void increaseWithDefinedInverseIfNecessary(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyToBuildAutomatonFor,
rationals.Automaton leafPropertyAutomaton,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> inversePropertiesMap,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> individualAutomata)
minimizeAndNormalizeAutomaton
protected rationals.Automaton minimizeAndNormalizeAutomaton(rationals.Automaton automaton)
useStandardAutomataConnector
protected void useStandardAutomataConnector(rationals.Automaton biggerPropertyAutomaton,
rationals.Automaton smallerPropertyAutomaton,
rationals.Transition transition)
automataConnector
protected void automataConnector(rationals.Automaton biggerPropertyAutomaton,
rationals.Automaton smallerPropertyAutomaton,
rationals.Transition transition)
deltaToState
protected Set<rationals.Transition> deltaToState(rationals.Automaton smallerPropertyAutomaton,
rationals.State state)
buildPropertyOrdering
protected Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> buildPropertyOrdering(Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions,
Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap)
checkForRegularity
protected void checkForRegularity(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyDependencyGraph,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap)
buildIndividualAutomata
protected Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,rationals.Automaton> buildIndividualAutomata(Graph<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> complexPropertiesDependencyGraph,
Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> simpleObjectPropertyInclusions,
Collection<OWLAxioms.ComplexObjectPropertyInclusion> complexObjectPropertyInclusions,
Map<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> equivalentPropertiesMap,
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> transitiveProperties)
getDisjointUnion
protected Map<rationals.State,rationals.State> getDisjointUnion(rationals.Automaton automaton1,
rationals.Automaton automaton2)
getMirroredCopy
protected rationals.Automaton getMirroredCopy(rationals.Automaton automaton)
addNewTransition
protected rationals.State addNewTransition(rationals.Automaton automaton,
rationals.State fromState,
org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression)
throws rationals.NoSuchStateException
- Throws:
rationals.NoSuchStateException
Copyright © 2012. All Rights Reserved.