org.mindswap.pellet.taxonomy

Interface DefinitionOrder

All Superinterfaces:

Iterable<aterm.ATermAppl>

All Known Implementing Classes:

AbstractDefinitionOrder, JGraphBasedDefinitionOrder, TaxonomyBasedDefinitionOrder

public interface DefinitionOrder
extends 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

Modifier and Type	Method and Description
boolean	isCyclic(aterm.ATermAppl concept) Returns if a concept is used in cyclic definitions.
Iterator<aterm.ATermAppl>	iterator() Returns an iterator over all the classes in the ontology sorted based on the definition order.

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

iterator

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 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