org.mindswap.pellet.taxonomy
Interface DefinitionOrder

All Superinterfaces:
java.lang.Iterable<aterm.ATermAppl>
All Known Implementing Classes:
AbstractDefinitionOrder, JGraphBasedDefinitionOrder, TaxonomyBasedDefinitionOrder

public interface DefinitionOrder
extends java.lang.Iterable<aterm.ATermAppl>

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.

Author:
Evren Sirin

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

iterator

java.util.Iterator<aterm.ATermAppl> iterator()
Returns an iterator over all the classes in the ontology sorted based on the definition order.

Specified by:
iterator in interface java.lang.Iterable<aterm.ATermAppl>

isCyclic

boolean isCyclic(aterm.ATermAppl concept)
Returns if a concept is used in cyclic definitions.

Parameters:
concept - concept to check
Returns:
true if concept is used in a cyclic definition


Copyright © 2004 Evren Sirin. All Rights Reserved.