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