|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DefinitionOrder
A class to compute the definition order for concepts and tell if a concept is used in cyclic definition. The definition order is computed after the TBox preprocessing is applied so the definitions used for computing this order is not always same as asserted definitions. The notion of cyclic definition depends on the expressivity of the ontology. If there are no inverses a definition the concepts used inside restrictions are ignored.
Method Summary | |
---|---|
boolean |
isCyclic(aterm.ATermAppl concept)
Returns if a concept is used in cyclic definitions. |
java.util.Iterator<aterm.ATermAppl> |
iterator()
Returns an iterator over all the classes in the ontology sorted based on the definition order. |
Method Detail |
---|
java.util.Iterator<aterm.ATermAppl> iterator()
iterator
in interface java.lang.Iterable<aterm.ATermAppl>
boolean isCyclic(aterm.ATermAppl concept)
concept
- concept to check
true
if concept is used in a cyclic definition
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |