org.semanticweb.more
Class MOReRLrew
java.lang.Object
org.semanticweb.more.MOReReasoner
org.semanticweb.more.MOReRLrew
- All Implemented Interfaces:
- org.semanticweb.owlapi.reasoner.OWLReasoner
- Direct Known Subclasses:
- MOReReasonerWithRLandMaterializationByStages
public class MOReRLrew
- extends MOReReasoner
- Author:
- Ana Armas
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)
|
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 |
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
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)
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.