org.semanticweb.more
Class MOReRLrew

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

public class MOReRLrew
extends MOReReasoner

Author:
Ana Armas

Nested Class Summary
 
Nested classes/interfaces inherited from class org.semanticweb.more.MOReReasoner
MOReReasoner.OntologyChangeListener
 
Field Summary
protected  int classifiedWithRLrew
           
protected  String iri_merged_class_ontology
           
protected  org.semanticweb.owlapi.model.OWLOntology merged_class_ontology
           
protected  org.semanticweb.owlapi.reasoner.OWLReasoner mergedReasoner
           
protected  long timeForELK
           
protected  long timeForELKMerged
           
protected  long timeForHermiT
           
protected  long timeForLsignature
           
protected  long timeForMaterialization
           
protected  long timeForMergedOnto
           
protected  long 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
MOReRLrew(org.semanticweb.owlapi.model.OWLOntology ontlgy)
           
MOReRLrew(org.semanticweb.owlapi.model.OWLOntology ontlgy, boolean isBuffered, boolean normalizeAxioms, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
           
MOReRLrew(org.semanticweb.owlapi.model.OWLOntology ontlgy, boolean isBuffered, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
           
 
Method Summary
protected  void checkRemainingSubsumtionsWithHermiT(org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> upperBound, org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> knownSubsumptions)
           
 void classifyClasses()
           
protected  org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> computeUpperBoundClassification()
           
protected  org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> computeUpperBoundClassification(org.semanticweb.owlapi.model.OWLOntology compmodule)
           
protected  void extractComplementModuleOntology()
           
 org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0)
           
protected  org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> getKnownSubsumptionsGraphForCompModule()
           
 org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0, boolean arg1)
           
 org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0, boolean arg1)
           
 org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()
           
 void interrupt()
           
 boolean isConsistent()
           
static void main(String[] argv)
           
 void printHierarchy(File outputFile)
           
protected  void refineCompModule(org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> upperBoundGraph)
           
protected  void unloadOntologyFragmentsFromManager()
          We also unload the merged ontlogy from classification
 
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
 

Field Detail

mergedReasoner

protected org.semanticweb.owlapi.reasoner.OWLReasoner mergedReasoner

iri_merged_class_ontology

protected final String iri_merged_class_ontology
See Also:
Constant Field Values

merged_class_ontology

protected org.semanticweb.owlapi.model.OWLOntology merged_class_ontology

classifiedWithRLrew

protected final int classifiedWithRLrew
See Also:
Constant Field Values

timeForLsignature

protected long timeForLsignature

timeForELK

protected long timeForELK

timeForMergedOnto

protected long timeForMergedOnto

timeForELKMerged

protected long timeForELKMerged

timeForRLrewriting

protected long timeForRLrewriting

timeForMaterialization

protected long timeForMaterialization

timeForHermiT

protected long timeForHermiT
Constructor Detail

MOReRLrew

public MOReRLrew(org.semanticweb.owlapi.model.OWLOntology ontlgy)

MOReRLrew

public MOReRLrew(org.semanticweb.owlapi.model.OWLOntology ontlgy,
                 boolean isBuffered,
                 org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)

MOReRLrew

public MOReRLrew(org.semanticweb.owlapi.model.OWLOntology ontlgy,
                 boolean isBuffered,
                 boolean normalizeAxioms,
                 org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
Method Detail

classifyClasses

public void classifyClasses()
Overrides:
classifyClasses in class MOReReasoner

unloadOntologyFragmentsFromManager

protected void unloadOntologyFragmentsFromManager()
We also unload the merged ontlogy from classification

Overrides:
unloadOntologyFragmentsFromManager in class MOReReasoner

getKnownSubsumptionsGraphForCompModule

protected org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> getKnownSubsumptionsGraphForCompModule()

checkRemainingSubsumtionsWithHermiT

protected void checkRemainingSubsumtionsWithHermiT(org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> upperBound,
                                                   org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> knownSubsumptions)

extractComplementModuleOntology

protected void extractComplementModuleOntology()

computeUpperBoundClassification

protected org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> computeUpperBoundClassification()

computeUpperBoundClassification

protected org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> computeUpperBoundClassification(org.semanticweb.owlapi.model.OWLOntology compmodule)

refineCompModule

protected void refineCompModule(org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> upperBoundGraph)

getEquivalentClasses

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0)
                                                                                                 throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                        org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                        org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                        org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                        org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getEquivalentClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getEquivalentClasses in class MOReReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getSubClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0,
                                                                                                    boolean arg1)
                                                                                             throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                    org.semanticweb.owlapi.reasoner.TimeOutException,
                                                                                                    org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                    org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                    org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
Specified by:
getSubClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getSubClasses in class MOReReasoner
Throws:
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException

getSuperClasses

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression arg0,
                                                                                                      boolean arg1)
                                                                                               throws org.semanticweb.owlapi.reasoner.InconsistentOntologyException,
                                                                                                      org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException,
                                                                                                      org.semanticweb.owlapi.reasoner.FreshEntitiesException,
                                                                                                      org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                      org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
getSuperClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getSuperClasses in class MOReReasoner
Throws:
org.semanticweb.owlapi.reasoner.InconsistentOntologyException
org.semanticweb.owlapi.reasoner.ClassExpressionNotInProfileException
org.semanticweb.owlapi.reasoner.FreshEntitiesException
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

getUnsatisfiableClasses

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses()
                                                                                                    throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                                                                                                           org.semanticweb.owlapi.reasoner.TimeOutException,
                                                                                                           org.semanticweb.owlapi.reasoner.InconsistentOntologyException
Specified by:
getUnsatisfiableClasses in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
getUnsatisfiableClasses in class MOReReasoner
Throws:
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException
org.semanticweb.owlapi.reasoner.InconsistentOntologyException

interrupt

public void interrupt()
Specified by:
interrupt in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
interrupt in class MOReReasoner

isConsistent

public boolean isConsistent()
                     throws org.semanticweb.owlapi.reasoner.ReasonerInterruptedException,
                            org.semanticweb.owlapi.reasoner.TimeOutException
Specified by:
isConsistent in interface org.semanticweb.owlapi.reasoner.OWLReasoner
Overrides:
isConsistent in class MOReReasoner
Throws:
org.semanticweb.owlapi.reasoner.ReasonerInterruptedException
org.semanticweb.owlapi.reasoner.TimeOutException

printHierarchy

public void printHierarchy(File outputFile)
                    throws FileNotFoundException,
                           org.semanticweb.owlapi.model.OWLOntologyCreationException,
                           org.semanticweb.owlapi.model.OWLOntologyStorageException
Overrides:
printHierarchy in class MOReReasoner
Throws:
FileNotFoundException
org.semanticweb.owlapi.model.OWLOntologyCreationException
org.semanticweb.owlapi.model.OWLOntologyStorageException

main

public static void main(String[] argv)
                 throws FileNotFoundException,
                        org.semanticweb.owlapi.model.OWLOntologyStorageException
Throws:
FileNotFoundException
org.semanticweb.owlapi.model.OWLOntologyStorageException


Copyright © 2013. All Rights Reserved.