org.semanticweb.more.hermit
Class HermiTforMORe

java.lang.Object
  extended by org.semanticweb.HermiT.Reasoner
      extended by org.semanticweb.more.hermit.HermiTforMORe
All Implemented Interfaces:
org.semanticweb.owlapi.reasoner.OWLReasoner

public class HermiTforMORe
extends org.semanticweb.HermiT.Reasoner


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, getClassHierarchyDepth, getConfiguration, getDataFactory, getDataPropertyDomains, getDataPropertyHierarchyDepth, getDataPropertyValues, getDifferentIndividuals, getDirectSuperConceptNodes, getDisjointClasses, getDisjointConceptNodes, getDisjointDataProperties, getDisjointObjectProperties, getDLOntology, getEquivalentClasses, getEquivalentDataProperties, getEquivalentObjectProperties, getFreshEntityPolicy, getHierarchyNode, getHierarchyNode, getHierarchyNode, getIndividualNodeSetPolicy, getInstances, getInverseObjectProperties, getNumberOfInstances, getNumberOfInstances, getNumberOfPredecessors, getNumberOfPropertyInstances, getNumberOfSameIndividuals, getNumberOfSuccessors, getNumberOfTypes, getObjectPropertyDomains, getObjectPropertyHierarchyDepth, 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

m_poss

protected static org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> m_poss

m_known

protected static org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> m_known
Constructor Detail

HermiTforMORe

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

classifyAtomicConcepts

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)
Overrides:
classifyAtomicConcepts in class org.semanticweb.HermiT.Reasoner


Copyright © 2013. All Rights Reserved.