|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |