Package org.semanticweb.more

Class Summary
AdaptedInferredOntologyGenerator Based on org.semanticweb.owlapi.util.InferredOntologyGenerator
BottomLocalityChecker Based on the codes from Ernesto Jiménez, this axiom visitor checks whether an axiom is bottom-local wrt a given external signature and, if the answer is negative, provides several sets of symbols that could be removed from this external signature in order to make it local (if such sets exist)
ListProcessor  
LocalityInfo We use this class to gather information about some axiom or class found in some method so that we can return the whole lot of information at once.
MOReReasoner  
MOReReasonerFactory Factory for the OWLAPI reasoner implementation of the MORe reasoner.
MOReReasonerWithRLandMaterializationByStages  
MOReRLrew  
MOReRLrewReasonerFactory Factory for the OWLAPI reasoner implementation of the MORe RLrew reasoner.
OWL2ReasonerManager Access to an OWL 2 reasoner.
 



Copyright © 2013. All Rights Reserved.