Uses of Package
org.semanticweb.more

Packages that use org.semanticweb.more
org.semanticweb.more   
org.semanticweb.more.lsignature   
 

Classes in org.semanticweb.more used by org.semanticweb.more
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
           
MOReReasoner.OntologyChangeListener
           
MOReRLrew
           
 

Classes in org.semanticweb.more used by org.semanticweb.more.lsignature
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)
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.
 



Copyright © 2013. All Rights Reserved.