org.semanticweb.HermiT.hierarchy
Class QuasiOrderClassificationForRoles
java.lang.Object
org.semanticweb.HermiT.hierarchy.QuasiOrderClassification
org.semanticweb.HermiT.hierarchy.QuasiOrderClassificationForRoles
public class QuasiOrderClassificationForRoles
- extends QuasiOrderClassification
Methods inherited from class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification |
addKnownSubsumptions, buildHierarchy, buildHierarchyOfUnknownPossible, buildModelForConcept, buildTransitivelyReducedHierarchy, checkUnknownSubsumersUsingEnhancedTraversal, classify, getAllKnownSubsumers, initialiseKnownSubsumptionsUsingToldSubsumers, isEveryPossibleSubsumerNonSubsumer, isUnsatisfiable, makeConceptUnsatisfiable, prunePossibleSubsumers, prunePossibleSubsumersOfConcept, readKnownSubsumersFromRootNode, readPossibleSubsumersFromNodeLabel, updatePossibleSubsumers, updateSubsumptionsUsingLeafNodeStrategy |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_hasInverses
protected final boolean m_hasInverses
m_conceptsForRoles
protected final java.util.Map<Role,AtomicConcept> m_conceptsForRoles
m_rolesForConcepts
protected final java.util.Map<AtomicConcept,Role> m_rolesForConcepts
QuasiOrderClassificationForRoles
public QuasiOrderClassificationForRoles(Tableau tableau,
ClassificationProgressMonitor progressMonitor,
AtomicConcept topElement,
AtomicConcept bottomElement,
java.util.Set<AtomicConcept> elements,
boolean hasInverses,
java.util.Map<Role,AtomicConcept> conceptsForRoles,
java.util.Map<AtomicConcept,Role> rolesForConcepts)
initialiseKnownSubsumptionsUsingToldSubsumers
protected void initialiseKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses)
- Overrides:
initialiseKnownSubsumptionsUsingToldSubsumers
in class QuasiOrderClassification
addKnownSubsumption
protected void addKnownSubsumption(AtomicConcept subConcept,
AtomicConcept superConcept)
- Overrides:
addKnownSubsumption
in class QuasiOrderClassification
addPossibleSubsumption
protected void addPossibleSubsumption(AtomicConcept subConcept,
AtomicConcept superConcept)
- Overrides:
addPossibleSubsumption
in class QuasiOrderClassification
getSatTestDescription
protected ReasoningTaskDescription getSatTestDescription(AtomicConcept atomicConcept)
- Overrides:
getSatTestDescription
in class QuasiOrderClassification
getSubsumptionTestDescription
protected ReasoningTaskDescription getSubsumptionTestDescription(AtomicConcept subConcept,
AtomicConcept superConcept)
- Overrides:
getSubsumptionTestDescription
in class QuasiOrderClassification
getSubsumedByListTestDescription
protected ReasoningTaskDescription getSubsumedByListTestDescription(AtomicConcept subConcept,
java.lang.Object[] superconcepts)
- Overrides:
getSubsumedByListTestDescription
in class QuasiOrderClassification