org.semanticweb.more
Class MOReReasonerWithRLandMaterializationByStages

java.lang.Object
  extended by org.semanticweb.more.MOReReasoner
      extended by org.semanticweb.more.MOReRLrew
          extended by org.semanticweb.more.MOReReasonerWithRLandMaterializationByStages
All Implemented Interfaces:
org.semanticweb.owlapi.reasoner.OWLReasoner

public class MOReReasonerWithRLandMaterializationByStages
extends MOReRLrew


Nested Class Summary
 
Nested classes/interfaces inherited from class org.semanticweb.more.MOReReasoner
MOReReasoner.OntologyChangeListener
 
Field Summary
 
Fields inherited from class org.semanticweb.more.MOReRLrew
classifiedWithRLrew, iri_merged_class_ontology, merged_class_ontology, mergedReasoner, timeForELK, timeForELKMerged, timeForHermiT, timeForLsignature, timeForMaterialization, timeForMergedOnto, timeForRLrewriting
 
Fields inherited from class org.semanticweb.more.MOReReasoner
classified, compmodule_onto, compModuleSize, compSignature, configuration, ELKFRAGMENT, iri_compmodule_ontology, iri_lmodule_ontology, iri_str_working_ontology, isBuffered, isMonitorUp, lFragment, lmodule_onto, lModuleAxioms, lReasoner, lSignature, manager, normalizeAxioms, notYetClassified, ontology, OWL2EL, owl2reasoner, OWL2REASONERID, pendingChanges_root_ontology, root_ontology, root_ontologyChangeListener
 
Constructor Summary
MOReReasonerWithRLandMaterializationByStages(org.semanticweb.owlapi.model.OWLOntology ontology)
           
 
Method Summary
protected  org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> computeUpperBoundClassification(org.semanticweb.owlapi.model.OWLOntology ontology)
           
 
Methods inherited from class org.semanticweb.more.MOReRLrew
checkRemainingSubsumtionsWithHermiT, classifyClasses, computeUpperBoundClassification, extractComplementModuleOntology, getEquivalentClasses, getKnownSubsumptionsGraphForCompModule, getSubClasses, getSuperClasses, getUnsatisfiableClasses, interrupt, isConsistent, main, printHierarchy, refineCompModule, unloadOntologyFragmentsFromManager
 
Methods inherited from class org.semanticweb.more.MOReReasoner
axiomInLfragment, clearStatus, dispose, disposeUsedReasoners, extractComplementModule, finalize, findLsignature, flush, flushChangesIfRequired, getBottomClassNode, getBottomDataPropertyNode, getBottomObjectPropertyNode, getBufferingMode, getCompModuleSize, getDataPropertyDomains, getDataPropertyValues, getDifferentIndividuals, getDisjointClasses, getDisjointDataProperties, getDisjointObjectProperties, getEquivalentDataProperties, getEquivalentObjectProperties, getFreshEntityPolicy, getIndividualNodeSetPolicy, getInstances, getInverseObjectProperties, getLsignature, getObjectPropertyDomains, getObjectPropertyRanges, getObjectPropertyValues, getPendingAxiomAdditions, getPendingAxiomRemovals, getPendingChanges, getPrecomputableInferenceTypes, getReasonerName, getReasonerVersion, getReasonerVersionStr, getRootOntology, getSameIndividuals, getSubDataProperties, getSubObjectProperties, getSuperDataProperties, getSuperObjectProperties, getTimeOut, getTopClassNode, getTopDataPropertyNode, getTopObjectPropertyNode, getTypes, includeLostSignature, isBufferingMode, isEntailed, isEntailed, isEntailmentCheckingSupported, isFullyEL, isPrecomputed, isSatisfiable, loadOntology, nELaxioms, nELKaxioms, precomputeInferences, printStatsAboutInputOntology, processInputOntology, setReasoner, statisticsOriginalOntology, turnHierarchyIntoAxioms
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MOReReasonerWithRLandMaterializationByStages

public MOReReasonerWithRLandMaterializationByStages(org.semanticweb.owlapi.model.OWLOntology ontology)
                                             throws org.semanticweb.owlapi.model.OWLOntologyCreationException
Throws:
org.semanticweb.owlapi.model.OWLOntologyCreationException
Method Detail

computeUpperBoundClassification

protected org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> computeUpperBoundClassification(org.semanticweb.owlapi.model.OWLOntology ontology)
Overrides:
computeUpperBoundClassification in class MOReRLrew


Copyright © 2013. All Rights Reserved.