|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.utils.TaxonomyUtils
public class TaxonomyUtils
Title: TaxonomyUtils
Description: Utilities for manipulating taxonomy data structure
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Field Summary | |
|---|---|
static java.lang.Object |
INSTANCES_KEY
|
static java.lang.Object |
SUPER_EXPLANATION_KEY
|
| Constructor Summary | |
|---|---|
TaxonomyUtils()
|
|
| Method Summary | ||
|---|---|---|
static boolean |
addSuperExplanation(Taxonomy<aterm.ATermAppl> t,
aterm.ATermAppl sub,
aterm.ATermAppl sup,
java.util.Set<aterm.ATermAppl> explanation)
|
|
static void |
clearAllInstances(Taxonomy<?> t)
|
|
static void |
clearSuperExplanation(Taxonomy<aterm.ATermAppl> t,
aterm.ATermAppl c)
|
|
static
|
getAllInstances(Taxonomy<T> t,
T c)
Retrieve all instances of a class (based on the current state of the taxonomy) |
|
static
|
getDirectInstances(Taxonomy<T> t,
T c)
Retrieve direct instances of a class (based on current state of the taxonomy) |
|
static java.util.Set<java.util.Set<aterm.ATermAppl>> |
getSuperExplanations(Taxonomy<aterm.ATermAppl> t,
aterm.ATermAppl sub,
aterm.ATermAppl sup)
|
|
static
|
getTypes(Taxonomy<T> t,
java.lang.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 |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final java.lang.Object INSTANCES_KEY
public static final java.lang.Object SUPER_EXPLANATION_KEY
| Constructor Detail |
|---|
public TaxonomyUtils()
| Method Detail |
|---|
public static boolean addSuperExplanation(Taxonomy<aterm.ATermAppl> t,
aterm.ATermAppl sub,
aterm.ATermAppl sup,
java.util.Set<aterm.ATermAppl> explanation)
public static void clearSuperExplanation(Taxonomy<aterm.ATermAppl> t,
aterm.ATermAppl c)
public static void clearAllInstances(Taxonomy<?> t)
public static <T,I> java.util.Set<I> getAllInstances(Taxonomy<T> t,
T c)
t - the taxonomyc - the class
public static <T,I> java.util.Set<I> getDirectInstances(Taxonomy<T> t,
T c)
t - the taxonomyc - the class
c and not
instances of any class d where subClassOf(d,c)
public static java.util.Set<java.util.Set<aterm.ATermAppl>> getSuperExplanations(Taxonomy<aterm.ATermAppl> t,
aterm.ATermAppl sub,
aterm.ATermAppl sup)
public static <T> java.util.Set<java.util.Set<T>> getTypes(Taxonomy<T> t,
java.lang.Object ind,
boolean directOnly)
t - the taxonomyind - the individualdirectOnly - true if only most specific classes are desired,
false if all classes are desired
public static boolean isType(Taxonomy<aterm.ATermAppl> t,
aterm.ATermAppl ind,
aterm.ATermAppl c)
t - the taxonomyind - the individualc - the class
true if instanceOf(ind,c),
false else
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||