|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.utils.ATermUtils
public class ATermUtils
This class provides the functions ATerm related functions. Creating terms for URI's and complex class descriptions is done here. There are also functions for normalization, simplification and conversion to NNF (Normal Negation Form).
Field Summary | |
---|---|
static java.lang.String |
ALL
|
static aterm.AFun |
ALLFUN
|
static java.lang.String |
ALLFUT
|
static aterm.AFun |
ALLFUTFUN
|
static java.lang.String |
ALLPAST
|
static aterm.AFun |
ALLPASTFUN
|
static java.lang.String |
AND
|
static aterm.AFun |
ANDFUN
|
static java.lang.String |
AT
|
static aterm.AFun |
ATFUN
|
static aterm.ATermAppl |
BOTTOM
|
static java.lang.String |
CARD
|
static aterm.AFun |
CARDFUN
This is not used in the reasoner but kept here to be used for display |
static java.util.Set |
CLASS_FUN
|
static aterm.AFun |
DPFUN
|
static aterm.ATermAppl |
EMPTY
|
static aterm.ATermList |
EMPTY_LIST
|
static java.lang.String |
FUT
|
static aterm.AFun |
FUTFUN
|
static java.lang.String |
INV
|
static aterm.AFun |
INVFUN
|
static aterm.AFun |
IPFUN
|
static int |
LIT_LANG_INDEX
|
static int |
LIT_URI_INDEX
|
static int |
LIT_VAL_INDEX
|
static aterm.AFun |
LITFUN
|
static java.lang.String |
MAX
|
static aterm.AFun |
MAXFUN
|
static java.lang.String |
MIN
|
static aterm.AFun |
MINFUN
|
static aterm.ATermAppl |
NO_DATATYPE
|
static java.lang.String |
NOT
|
static aterm.AFun |
NOTFUN
|
static aterm.ATermInt |
ONE
|
static java.lang.String |
OR
|
static aterm.AFun |
ORFUN
|
static java.lang.String |
PAST
|
static aterm.AFun |
PASTFUN
|
static java.lang.String |
SAME
|
static aterm.AFun |
SAMEFUN
|
static java.lang.String |
SOME
|
static aterm.AFun |
SOMEFUN
|
static java.lang.String |
SOMEFUT
|
static aterm.AFun |
SOMEFUTFUN
|
static java.lang.String |
SOMEPAST
|
static aterm.AFun |
SOMEPASTFUN
|
static java.lang.String |
SUB
|
static aterm.AFun |
SUBFUN
|
static aterm.ATermAppl |
TOP
|
static aterm.AFun |
TYPEFUN
|
static java.lang.String |
VALUE
|
static aterm.AFun |
VALUEFUN
|
static aterm.AFun |
VARFUN
This is used to represent variables in queries |
Constructor Summary | |
---|---|
ATermUtils()
|
Method Summary | |
---|---|
static void |
assertTrue(boolean condition)
|
static java.util.Set |
findPrimitives(aterm.ATermAppl ter)
|
static aterm.ATermFactory |
getFactory()
|
static java.util.Set |
getPrimitives(aterm.ATermList list)
|
static boolean |
isAllfuture(aterm.ATermAppl a)
|
static boolean |
isAllpast(aterm.ATermAppl a)
|
static boolean |
isAllValues(aterm.ATermAppl a)
|
static boolean |
isAnd(aterm.ATermAppl a)
|
static boolean |
isAnon(aterm.ATermAppl name)
|
static boolean |
isAt(aterm.ATermAppl a)
|
static boolean |
isBnode(aterm.ATermAppl name)
|
static boolean |
isCard(aterm.ATermAppl a)
|
static boolean |
isComplexClass(aterm.ATerm c)
|
static boolean |
isDataRange(aterm.ATermAppl a)
|
static boolean |
isFuture(aterm.ATermAppl a)
|
static boolean |
isHasValue(aterm.ATermAppl a)
|
static boolean |
isLiteral(aterm.ATermAppl a)
|
static boolean |
isMax(aterm.ATermAppl a)
|
static boolean |
isMin(aterm.ATermAppl a)
|
static boolean |
isNegatedPrimitive(aterm.ATermAppl c)
|
static boolean |
isNominal(aterm.ATermAppl a)
|
static boolean |
isNot(aterm.ATermAppl a)
|
static boolean |
isOneOf(aterm.ATermAppl a)
|
static boolean |
isOr(aterm.ATermAppl a)
|
static boolean |
isPast(aterm.ATermAppl a)
|
static boolean |
isPrimitive(aterm.ATermAppl c)
|
static boolean |
isPrimitiveOrNegated(aterm.ATermAppl c)
|
static boolean |
isSet(aterm.ATermList list)
|
static boolean |
isSomefuture(aterm.ATermAppl a)
|
static boolean |
isSomepast(aterm.ATermAppl a)
|
static boolean |
isSomeValues(aterm.ATermAppl a)
|
static boolean |
isTimeStructure(aterm.ATermAppl c)
|
static boolean |
isVar(aterm.ATermAppl a)
|
static java.util.Set |
listToSet(aterm.ATermList list)
|
static void |
main(java.lang.String[] args)
|
static aterm.ATermAppl |
makeAllfuture(aterm.ATerm a)
|
static aterm.ATermAppl |
makeAllpast(aterm.ATerm a)
|
static aterm.ATermAppl |
makeAllValues(aterm.ATerm r,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeAnd(aterm.ATerm c1,
aterm.ATerm c2)
|
static aterm.ATermAppl |
makeAnd(aterm.ATermList list)
|
static aterm.ATermAppl |
makeAt(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeCard(aterm.ATerm r,
int n)
|
static aterm.ATermAppl |
makeDisplayCard(aterm.ATerm r,
int n)
|
static aterm.ATermAppl |
makeDisplayMax(aterm.ATerm r,
int n)
|
static aterm.ATermAppl |
makeDisplayMin(aterm.ATerm r,
int n)
|
static aterm.ATermAppl |
makeFuture(aterm.ATerm r,
int n)
|
static aterm.ATermAppl |
makeHasValue(aterm.ATerm r,
aterm.ATerm ind)
|
static aterm.ATermAppl |
makeInv(aterm.ATermAppl r)
|
static aterm.ATermList |
makeList(aterm.ATerm singleton)
|
static aterm.ATermList |
makeList(aterm.ATerm[] aTerms)
|
static aterm.ATermList |
makeList(aterm.ATerm first,
aterm.ATermList rest)
|
static aterm.ATermList |
makeList(java.util.Collection set)
|
static aterm.ATermAppl |
makeLiteral(aterm.ATermAppl name)
|
static aterm.ATermAppl |
makeMax(aterm.ATerm r,
int n)
|
static aterm.ATermAppl |
makeMin(aterm.ATerm r,
int n)
|
static aterm.ATermAppl |
makeNormalizedMax(aterm.ATerm r,
int n)
|
static aterm.ATermAppl |
makeNot(aterm.ATerm c)
|
static aterm.ATermAppl |
makeOr(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
static aterm.ATermAppl |
makeOr(aterm.ATermList list)
|
static aterm.ATermAppl |
makePast(aterm.ATerm r,
int n)
|
static aterm.ATermAppl |
makePlainLiteral(java.lang.String value)
|
static aterm.ATermAppl |
makePlainLiteral(java.lang.String value,
java.lang.String lang)
|
static aterm.ATermAppl |
makeSame(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeSimplifiedAnd(java.util.Collection conjuncts)
Creates a simplified and assuming that all the elements have already been normalized. |
static aterm.ATermAppl |
makeSomefuture(aterm.ATerm a)
|
static aterm.ATermAppl |
makeSomepast(aterm.ATerm a)
|
static aterm.ATermAppl |
makeSomeValues(aterm.ATerm r,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeSub(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeTermAppl(aterm.AFun fun,
aterm.ATerm[] args)
|
static aterm.ATermAppl |
makeTermAppl(java.lang.String name)
|
static aterm.ATermAppl |
makeTypedLiteral(java.lang.String value,
java.lang.String dt)
|
static aterm.ATermAppl |
makeValue(aterm.ATerm c)
|
static aterm.ATermAppl |
makeVar(aterm.ATermAppl name)
|
static aterm.ATermAppl |
makeVar(java.lang.String name)
|
static boolean |
member(aterm.ATerm a,
aterm.ATermList list)
|
static aterm.ATermAppl |
negate(aterm.ATermAppl a)
|
static aterm.ATermList |
negate(aterm.ATermList list)
|
static aterm.ATerm |
nnf(aterm.ATerm term)
|
static aterm.ATermAppl |
nnf(aterm.ATermAppl term)
|
static aterm.ATermList |
nnf(aterm.ATermList list)
|
static aterm.ATermAppl |
normalize(aterm.ATermAppl term)
Normalize the term by making following changes: or([a1, a2,..., an]) -> not(and[not(a1), not(a2), ..., not(an)]]) some(p, c) -> not(all(p, not(c))) max(p, n) -> not(min(p, n+1)) |
static aterm.ATermList |
normalize(aterm.ATermList list)
|
static java.util.Collection |
normalize(java.util.Collection coll)
|
static aterm.ATermAppl |
simplify(aterm.ATermAppl term)
simplfiy the term by making following changes: and([]) -> TOP all(p, TOP) -> TOP min(p, 0) -> TOP and([a1, and([a2,... |
static aterm.ATerm |
term(java.lang.String str)
|
static aterm.ATerm[] |
toArray(aterm.ATermList list)
|
static aterm.ATermList |
toSet(aterm.ATerm[] a,
int size)
|
static aterm.ATermList |
toSet(aterm.ATermList list)
|
static aterm.ATermList |
toSet(java.util.Collection coll)
|
static java.lang.String |
toString(aterm.ATermAppl term)
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String NOT
public static final java.lang.String AND
public static final java.lang.String OR
public static final java.lang.String SOME
public static final java.lang.String ALL
public static final java.lang.String MIN
public static final java.lang.String MAX
public static final java.lang.String CARD
public static final java.lang.String VALUE
public static final java.lang.String INV
public static final java.lang.String SUB
public static final java.lang.String SAME
public static final java.lang.String FUT
public static final java.lang.String PAST
public static final java.lang.String AT
public static final java.lang.String ALLFUT
public static final java.lang.String ALLPAST
public static final java.lang.String SOMEFUT
public static final java.lang.String SOMEPAST
public static final aterm.AFun LITFUN
public static final int LIT_VAL_INDEX
public static final int LIT_LANG_INDEX
public static final int LIT_URI_INDEX
public static final aterm.AFun ANDFUN
public static final aterm.AFun ORFUN
public static final aterm.AFun SOMEFUN
public static final aterm.AFun ALLFUN
public static final aterm.AFun NOTFUN
public static final aterm.AFun MAXFUN
public static final aterm.AFun MINFUN
public static final aterm.AFun VALUEFUN
public static final aterm.AFun FUTFUN
public static final aterm.AFun PASTFUN
public static final aterm.AFun ATFUN
public static final aterm.AFun ALLFUTFUN
public static final aterm.AFun ALLPASTFUN
public static final aterm.AFun SOMEFUTFUN
public static final aterm.AFun SOMEPASTFUN
public static java.util.Set CLASS_FUN
public static final aterm.AFun CARDFUN
public static final aterm.AFun INVFUN
public static final aterm.AFun SUBFUN
public static final aterm.AFun SAMEFUN
public static final aterm.AFun VARFUN
public static final aterm.AFun TYPEFUN
public static final aterm.AFun IPFUN
public static final aterm.AFun DPFUN
public static final aterm.ATermAppl EMPTY
public static final aterm.ATermList EMPTY_LIST
public static final aterm.ATermAppl TOP
public static final aterm.ATermAppl BOTTOM
public static final aterm.ATermInt ONE
public static aterm.ATermAppl NO_DATATYPE
Constructor Detail |
---|
public ATermUtils()
Method Detail |
---|
public static aterm.ATermFactory getFactory()
public static aterm.ATermAppl makePlainLiteral(java.lang.String value)
public static aterm.ATermAppl makePlainLiteral(java.lang.String value, java.lang.String lang)
public static aterm.ATermAppl makeTypedLiteral(java.lang.String value, java.lang.String dt)
public static aterm.ATermAppl makeLiteral(aterm.ATermAppl name)
public static aterm.ATermAppl makeTermAppl(java.lang.String name)
public static aterm.ATermAppl makeTermAppl(aterm.AFun fun, aterm.ATerm[] args)
public static aterm.ATermAppl makeNot(aterm.ATerm c)
public static aterm.ATerm term(java.lang.String str)
public static aterm.ATermList negate(aterm.ATermList list)
public static final aterm.ATermAppl negate(aterm.ATermAppl a)
public static final aterm.ATermAppl makeVar(java.lang.String name)
public static final aterm.ATermAppl makeVar(aterm.ATermAppl name)
public static final aterm.ATermAppl makeValue(aterm.ATerm c)
public static final aterm.ATermAppl makeInv(aterm.ATermAppl r)
public static final aterm.ATermAppl makeSub(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeSame(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeAnd(aterm.ATerm c1, aterm.ATerm c2)
public static aterm.ATermAppl makeAnd(aterm.ATermList list)
public static final aterm.ATermAppl makeOr(aterm.ATermAppl c1, aterm.ATermAppl c2)
public static aterm.ATermAppl makeOr(aterm.ATermList list)
public static final aterm.ATermAppl makeAllValues(aterm.ATerm r, aterm.ATerm c)
public static final aterm.ATermAppl makeSomeValues(aterm.ATerm r, aterm.ATerm c)
public static final aterm.ATermAppl makeHasValue(aterm.ATerm r, aterm.ATerm ind)
public static final aterm.ATermAppl makeDisplayCard(aterm.ATerm r, int n)
public static final aterm.ATermAppl makeNormalizedMax(aterm.ATerm r, int n)
public static final aterm.ATermAppl makeMax(aterm.ATerm r, int n)
public static final aterm.ATermAppl makeMin(aterm.ATerm r, int n)
public static final aterm.ATermAppl makeDisplayMax(aterm.ATerm r, int n)
public static final aterm.ATermAppl makeDisplayMin(aterm.ATerm r, int n)
public static final aterm.ATermAppl makeCard(aterm.ATerm r, int n)
public static final aterm.ATermList makeList(aterm.ATerm singleton)
public static final aterm.ATermList makeList(aterm.ATerm first, aterm.ATermList rest)
public static aterm.ATermList makeList(java.util.Collection set)
public static final aterm.ATermList makeList(aterm.ATerm[] aTerms)
public static final aterm.ATermAppl makeFuture(aterm.ATerm r, int n)
public static final aterm.ATermAppl makePast(aterm.ATerm r, int n)
public static final aterm.ATermAppl makeAt(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeAllfuture(aterm.ATerm a)
public static final aterm.ATermAppl makeAllpast(aterm.ATerm a)
public static final aterm.ATermAppl makeSomefuture(aterm.ATerm a)
public static final aterm.ATermAppl makeSomepast(aterm.ATerm a)
public static final boolean member(aterm.ATerm a, aterm.ATermList list)
public static boolean isSet(aterm.ATermList list)
public static aterm.ATermList toSet(aterm.ATermList list)
public static aterm.ATermList toSet(aterm.ATerm[] a, int size)
public static aterm.ATermList toSet(java.util.Collection coll)
public static java.lang.String toString(aterm.ATermAppl term)
public static aterm.ATerm[] toArray(aterm.ATermList list)
public static final void assertTrue(boolean condition)
public static final boolean isPrimitive(aterm.ATermAppl c)
public static final boolean isNegatedPrimitive(aterm.ATermAppl c)
public static final boolean isPrimitiveOrNegated(aterm.ATermAppl c)
public static final boolean isBnode(aterm.ATermAppl name)
public static final boolean isAnon(aterm.ATermAppl name)
public static java.util.Set listToSet(aterm.ATermList list)
public static java.util.Set getPrimitives(aterm.ATermList list)
public static final boolean isAnd(aterm.ATermAppl a)
public static final boolean isOr(aterm.ATermAppl a)
public static final boolean isAllValues(aterm.ATermAppl a)
public static final boolean isSomeValues(aterm.ATermAppl a)
public static final boolean isHasValue(aterm.ATermAppl a)
public static final boolean isNominal(aterm.ATermAppl a)
public static final boolean isOneOf(aterm.ATermAppl a)
public static final boolean isDataRange(aterm.ATermAppl a)
public static final boolean isNot(aterm.ATermAppl a)
public static final boolean isMax(aterm.ATermAppl a)
public static final boolean isMin(aterm.ATermAppl a)
public static final boolean isCard(aterm.ATermAppl a)
public static final boolean isLiteral(aterm.ATermAppl a)
public static final boolean isFuture(aterm.ATermAppl a)
public static final boolean isPast(aterm.ATermAppl a)
public static final boolean isAt(aterm.ATermAppl a)
public static final boolean isAllfuture(aterm.ATermAppl a)
public static final boolean isAllpast(aterm.ATermAppl a)
public static final boolean isSomefuture(aterm.ATermAppl a)
public static final boolean isSomepast(aterm.ATermAppl a)
public static final boolean isVar(aterm.ATermAppl a)
public static boolean isComplexClass(aterm.ATerm c)
public static boolean isTimeStructure(aterm.ATermAppl c)
public static aterm.ATerm nnf(aterm.ATerm term)
public static aterm.ATermList nnf(aterm.ATermList list)
public static aterm.ATermAppl nnf(aterm.ATermAppl term)
public static java.util.Collection normalize(java.util.Collection coll)
public static aterm.ATermList normalize(aterm.ATermList list)
public static aterm.ATermAppl normalize(aterm.ATermAppl term)
term
-
public static aterm.ATermAppl simplify(aterm.ATermAppl term)
term
-
public static aterm.ATermAppl makeSimplifiedAnd(java.util.Collection conjuncts)
conjuncts
-
public static java.util.Set findPrimitives(aterm.ATermAppl ter)
ter
-
public static void main(java.lang.String[] args)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |