|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.Reasoner
org.semanticweb.more.hermit.HermiTforMORe
public class HermiTforMORe
Nested Class Summary |
---|
Nested classes/interfaces inherited from class org.semanticweb.HermiT.Reasoner |
---|
org.semanticweb.HermiT.Reasoner.OntologyChangeListener, org.semanticweb.HermiT.Reasoner.ReasonerFactory |
Field Summary | |
---|---|
protected static org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> |
m_known
|
protected static org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> |
m_poss
|
Fields inherited from class org.semanticweb.HermiT.Reasoner |
---|
m_atomicConceptHierarchy, m_configuration, m_dataRoleHierarchy, m_descriptionGraphs, m_directDataRoleDomains, m_directDisjointClasses, m_directObjectRoleDomains, m_directObjectRoleRanges, m_dlOntology, m_instanceManager, m_interruptFlag, m_isConsistent, m_objectPropertyInclusionManager, m_objectRoleHierarchy, m_ontologyChangeListener, m_pendingChanges, m_prefixes, m_rootOntology, m_tableau |
Constructor Summary | |
---|---|
HermiTforMORe(org.semanticweb.owlapi.model.OWLOntology rootOntology,
org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> possibleSubsumtions,
org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> knownSubsumtions)
|
Method Summary | |
---|---|
protected org.semanticweb.HermiT.hierarchy.Hierarchy<org.semanticweb.HermiT.model.AtomicConcept> |
classifyAtomicConcepts(org.semanticweb.HermiT.tableau.Tableau tableau,
org.semanticweb.HermiT.hierarchy.ClassificationProgressMonitor progressMonitor,
org.semanticweb.HermiT.model.AtomicConcept topElement,
org.semanticweb.HermiT.model.AtomicConcept bottomElement,
Set<org.semanticweb.HermiT.model.AtomicConcept> elements,
boolean forceQuasiOrder)
|
Methods inherited from class org.semanticweb.HermiT.Reasoner |
---|
addIRI, atomicConceptHierarchyNodesToNodeSet, atomicConceptHierarchyNodeToNode, canProcessPendingChangesIncrementally, checkPreConditions, classify, classifyAtomicConceptsForRoles, classifyClasses, classifyDataProperties, classifyObjectProperties, clearState, containsFreshEntities, createDeltaDLOntology, createPrefixes, createTableau, dataPropertyHierarchyNodesToNodeSet, dataPropertyHierarchyNodeToNode, dispose, dumpHierarchies, finalize, flush, flushChangesIfRequired, getAllNamedIndividuals, getBottomClassNode, getBottomDataPropertyNode, getBottomObjectPropertyNode, getBufferingMode, getConfiguration, getDataFactory, getDataPropertyDomains, getDataPropertyValues, getDifferentIndividuals, getDirectSuperConceptNodes, getDisjointClasses, getDisjointConceptNodes, getDisjointDataProperties, getDisjointObjectProperties, getDLOntology, getEquivalentClasses, getEquivalentDataProperties, getEquivalentObjectProperties, getFreshEntityPolicy, getHierarchyNode, getHierarchyNode, getHierarchyNode, getIndividualNodeSetPolicy, getInstances, getInverseObjectProperties, getObjectPropertyDomains, getObjectPropertyInstances, getObjectPropertyRanges, getObjectPropertyValues, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getPrecomputableInferenceTypes, getPrefixes, getReasonerName, getReasonerVersion, getRootOntology, getSameIndividuals, getSubClasses, getSubDataProperties, getSubObjectProperties, getSuperClasses, getSuperDataProperties, getSuperObjectProperties, getTableau, getTableau, getTimeOut, getTopClassNode, getTopDataPropertyNode, getTopObjectPropertyNode, getTypes, getUnsatisfiableClasses, H, H, H, H, H, H, H, H, hasDataPropertyRelationship, hasObjectPropertyRelationship, hasType, initialiseClassInstanceManager, initialisePropertiesInstanceManager, interrupt, isAsymmetric, isConsistent, isDefined, isDefined, isDefined, isDefined, isDisjointObjectProperty, isEntailed, isEntailed, isEntailmentCheckingSupported, isFunctional, isFunctional, isInverseFunctional, isIrreflexive, isPrecomputed, isReflexive, isResultRelevantIndividual, isSameIndividual, isSatisfiable, isSubClassOf, isSubDataPropertyOf, isSubObjectPropertyExpressionOf, isSubObjectPropertyExpressionOf, isSymmetric, isTransitive, isUnsupportedExtensionAxiom, loadOntology, objectPropertyHierarchyNodesToNodeSet, objectPropertyHierarchyNodeToNode, precomputeDisjointClasses, precomputeInferences, precomputeSameAsEquivalenceClasses, printHierarchies, realise, realiseObjectProperties, sortBySameAsIfNecessary, throwFreshEntityExceptionIfNecessary, throwInconsistentOntologyExceptionIfNecessary |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> m_poss
protected static org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> m_known
Constructor Detail |
---|
public HermiTforMORe(org.semanticweb.owlapi.model.OWLOntology rootOntology, org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> possibleSubsumtions, org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> knownSubsumtions)
Method Detail |
---|
protected org.semanticweb.HermiT.hierarchy.Hierarchy<org.semanticweb.HermiT.model.AtomicConcept> classifyAtomicConcepts(org.semanticweb.HermiT.tableau.Tableau tableau, org.semanticweb.HermiT.hierarchy.ClassificationProgressMonitor progressMonitor, org.semanticweb.HermiT.model.AtomicConcept topElement, org.semanticweb.HermiT.model.AtomicConcept bottomElement, Set<org.semanticweb.HermiT.model.AtomicConcept> elements, boolean forceQuasiOrder)
classifyAtomicConcepts
in class org.semanticweb.HermiT.Reasoner
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |