org.mindswap.pellet.utils

Class TaxonomyUtils

java.lang.Object

org.mindswap.pellet.utils.TaxonomyUtils

public class TaxonomyUtils
extends Object

Title: TaxonomyUtils

Description: Utilities for manipulating taxonomy data structure

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Field Summary

Fields

Modifier and Type	Field and Description
static Object	INSTANCES_KEY
static Object	SUPER_EXPLANATION_KEY

Constructor Summary

Constructors

Constructor and Description
TaxonomyUtils()

Method Summary

Modifier and Type	Method and Description
static boolean	addSuperExplanation(Taxonomy<aterm.ATermAppl> t, aterm.ATermAppl sub, aterm.ATermAppl sup, Set<aterm.ATermAppl> explanation)
static void	clearAllInstances(Taxonomy<?> t)
static void	clearSuperExplanation(Taxonomy<aterm.ATermAppl> t, aterm.ATermAppl c)
static <T,I> Set<I>	getAllInstances(Taxonomy<T> t, T c) Retrieve all instances of a class (based on the current state of the taxonomy)
static <T,I> Set<I>	getDirectInstances(Taxonomy<T> t, T c) Retrieve direct instances of a class (based on current state of the taxonomy)
static Set<Set<aterm.ATermAppl>>	getSuperExplanations(Taxonomy<aterm.ATermAppl> t, aterm.ATermAppl sub, aterm.ATermAppl sup)
static <T> Set<Set<T>>	getTypes(Taxonomy<T> t, Object ind, boolean directOnly) Get classes of which the individual is an instance (based on the current state of the taxonomy)
static boolean	isType(Taxonomy<aterm.ATermAppl> t, aterm.ATermAppl ind, aterm.ATermAppl c) Determine if an individual is an instance of a class (based on the current state of the taxonomy)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCES_KEY

public static final Object INSTANCES_KEY

SUPER_EXPLANATION_KEY

public static final Object SUPER_EXPLANATION_KEY

Constructor Detail

TaxonomyUtils

public TaxonomyUtils()

Method Detail

addSuperExplanation

public static boolean addSuperExplanation(Taxonomy<aterm.ATermAppl> t,
                                          aterm.ATermAppl sub,
                                          aterm.ATermAppl sup,
                                          Set<aterm.ATermAppl> explanation)

clearSuperExplanation

public static void clearSuperExplanation(Taxonomy<aterm.ATermAppl> t,
                                         aterm.ATermAppl c)

clearAllInstances

public static void clearAllInstances(Taxonomy<?> t)

getAllInstances

public static <T,I> Set<I> getAllInstances(Taxonomy<T> t,
                                           T c)

Retrieve all instances of a class (based on the current state of the taxonomy)

Parameters:

t - the taxonomy

c - the class

Returns:

a set of all individuals that are instances of the class

getDirectInstances

public static <T,I> Set<I> getDirectInstances(Taxonomy<T> t,
                                              T c)

Retrieve direct instances of a class (based on current state of the taxonomy)

Parameters:

t - the taxonomy

c - the class

Returns:

a set of individuals that are instances of c and not instances of any class d where subClassOf(d,c)

getSuperExplanations

public static Set<Set<aterm.ATermAppl>> getSuperExplanations(Taxonomy<aterm.ATermAppl> t,
                                                             aterm.ATermAppl sub,
                                                             aterm.ATermAppl sup)

getTypes

public static <T> Set<Set<T>> getTypes(Taxonomy<T> t,
                                       Object ind,
                                       boolean directOnly)

Get classes of which the individual is an instance (based on the current state of the taxonomy)

Parameters:

t - the taxonomy

ind - the individual

directOnly - true if only most specific classes are desired, false if all classes are desired

Returns:

a set of sets of classes where each inner set is a collection of equivalent classes

isType

public static boolean isType(Taxonomy<aterm.ATermAppl> t,
                             aterm.ATermAppl ind,
                             aterm.ATermAppl c)

Determine if an individual is an instance of a class (based on the current state of the taxonomy)

Parameters:

t - the taxonomy

ind - the individual

c - the class

Returns:

a boolean true if instanceOf(ind,c), false else