org.mindswap.pellet.utils
Class ATermUtils

java.lang.Object
  extended by org.mindswap.pellet.utils.ATermUtils

public class ATermUtils
extends java.lang.Object

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

Author:
initial version for OWL - Evren Sirin, updates for OWLMeT - NataKeberle

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

NOT

public static final java.lang.String NOT
See Also:
Constant Field Values

AND

public static final java.lang.String AND
See Also:
Constant Field Values

OR

public static final java.lang.String OR
See Also:
Constant Field Values

SOME

public static final java.lang.String SOME
See Also:
Constant Field Values

ALL

public static final java.lang.String ALL
See Also:
Constant Field Values

MIN

public static final java.lang.String MIN
See Also:
Constant Field Values

MAX

public static final java.lang.String MAX
See Also:
Constant Field Values

CARD

public static final java.lang.String CARD
See Also:
Constant Field Values

VALUE

public static final java.lang.String VALUE
See Also:
Constant Field Values

INV

public static final java.lang.String INV
See Also:
Constant Field Values

SUB

public static final java.lang.String SUB
See Also:
Constant Field Values

SAME

public static final java.lang.String SAME
See Also:
Constant Field Values

FUT

public static final java.lang.String FUT
See Also:
Constant Field Values

PAST

public static final java.lang.String PAST
See Also:
Constant Field Values

AT

public static final java.lang.String AT
See Also:
Constant Field Values

ALLFUT

public static final java.lang.String ALLFUT
See Also:
Constant Field Values

ALLPAST

public static final java.lang.String ALLPAST
See Also:
Constant Field Values

SOMEFUT

public static final java.lang.String SOMEFUT
See Also:
Constant Field Values

SOMEPAST

public static final java.lang.String SOMEPAST
See Also:
Constant Field Values

LITFUN

public static final aterm.AFun LITFUN

LIT_VAL_INDEX

public static final int LIT_VAL_INDEX
See Also:
Constant Field Values

LIT_LANG_INDEX

public static final int LIT_LANG_INDEX
See Also:
Constant Field Values

LIT_URI_INDEX

public static final int LIT_URI_INDEX
See Also:
Constant Field Values

ANDFUN

public static final aterm.AFun ANDFUN

ORFUN

public static final aterm.AFun ORFUN

SOMEFUN

public static final aterm.AFun SOMEFUN

ALLFUN

public static final aterm.AFun ALLFUN

NOTFUN

public static final aterm.AFun NOTFUN

MAXFUN

public static final aterm.AFun MAXFUN

MINFUN

public static final aterm.AFun MINFUN

VALUEFUN

public static final aterm.AFun VALUEFUN

FUTFUN

public static final aterm.AFun FUTFUN

PASTFUN

public static final aterm.AFun PASTFUN

ATFUN

public static final aterm.AFun ATFUN

ALLFUTFUN

public static final aterm.AFun ALLFUTFUN

ALLPASTFUN

public static final aterm.AFun ALLPASTFUN

SOMEFUTFUN

public static final aterm.AFun SOMEFUTFUN

SOMEPASTFUN

public static final aterm.AFun SOMEPASTFUN

CLASS_FUN

public static java.util.Set CLASS_FUN

CARDFUN

public static final aterm.AFun CARDFUN
This is not used in the reasoner but kept here to be used for display


INVFUN

public static final aterm.AFun INVFUN

SUBFUN

public static final aterm.AFun SUBFUN

SAMEFUN

public static final aterm.AFun SAMEFUN

VARFUN

public static final aterm.AFun VARFUN
This is used to represent variables in queries


TYPEFUN

public static final aterm.AFun TYPEFUN

IPFUN

public static final aterm.AFun IPFUN

DPFUN

public static final aterm.AFun DPFUN

EMPTY

public static final aterm.ATermAppl EMPTY

EMPTY_LIST

public static final aterm.ATermList EMPTY_LIST

TOP

public static final aterm.ATermAppl TOP

BOTTOM

public static final aterm.ATermAppl BOTTOM

ONE

public static final aterm.ATermInt ONE

NO_DATATYPE

public static aterm.ATermAppl NO_DATATYPE
Constructor Detail

ATermUtils

public ATermUtils()
Method Detail

getFactory

public static aterm.ATermFactory getFactory()

makePlainLiteral

public static aterm.ATermAppl makePlainLiteral(java.lang.String value)

makePlainLiteral

public static aterm.ATermAppl makePlainLiteral(java.lang.String value,
                                               java.lang.String lang)

makeTypedLiteral

public static aterm.ATermAppl makeTypedLiteral(java.lang.String value,
                                               java.lang.String dt)

makeLiteral

public static aterm.ATermAppl makeLiteral(aterm.ATermAppl name)

makeTermAppl

public static aterm.ATermAppl makeTermAppl(java.lang.String name)

makeTermAppl

public static aterm.ATermAppl makeTermAppl(aterm.AFun fun,
                                           aterm.ATerm[] args)

makeNot

public static aterm.ATermAppl makeNot(aterm.ATerm c)

term

public static aterm.ATerm term(java.lang.String str)

negate

public static aterm.ATermList negate(aterm.ATermList list)

negate

public static final aterm.ATermAppl negate(aterm.ATermAppl a)

makeVar

public static final aterm.ATermAppl makeVar(java.lang.String name)

makeVar

public static final aterm.ATermAppl makeVar(aterm.ATermAppl name)

makeValue

public static final aterm.ATermAppl makeValue(aterm.ATerm c)

makeInv

public static final aterm.ATermAppl makeInv(aterm.ATermAppl r)

makeSub

public static final aterm.ATermAppl makeSub(aterm.ATerm a,
                                            aterm.ATerm b)

makeSame

public static final aterm.ATermAppl makeSame(aterm.ATerm a,
                                             aterm.ATerm b)

makeAnd

public static final aterm.ATermAppl makeAnd(aterm.ATerm c1,
                                            aterm.ATerm c2)

makeAnd

public static aterm.ATermAppl makeAnd(aterm.ATermList list)

makeOr

public static final aterm.ATermAppl makeOr(aterm.ATermAppl c1,
                                           aterm.ATermAppl c2)

makeOr

public static aterm.ATermAppl makeOr(aterm.ATermList list)

makeAllValues

public static final aterm.ATermAppl makeAllValues(aterm.ATerm r,
                                                  aterm.ATerm c)

makeSomeValues

public static final aterm.ATermAppl makeSomeValues(aterm.ATerm r,
                                                   aterm.ATerm c)

makeHasValue

public static final aterm.ATermAppl makeHasValue(aterm.ATerm r,
                                                 aterm.ATerm ind)

makeDisplayCard

public static final aterm.ATermAppl makeDisplayCard(aterm.ATerm r,
                                                    int n)

makeNormalizedMax

public static final aterm.ATermAppl makeNormalizedMax(aterm.ATerm r,
                                                      int n)

makeMax

public static final aterm.ATermAppl makeMax(aterm.ATerm r,
                                            int n)

makeMin

public static final aterm.ATermAppl makeMin(aterm.ATerm r,
                                            int n)

makeDisplayMax

public static final aterm.ATermAppl makeDisplayMax(aterm.ATerm r,
                                                   int n)

makeDisplayMin

public static final aterm.ATermAppl makeDisplayMin(aterm.ATerm r,
                                                   int n)

makeCard

public static final aterm.ATermAppl makeCard(aterm.ATerm r,
                                             int n)

makeList

public static final aterm.ATermList makeList(aterm.ATerm singleton)

makeList

public static final aterm.ATermList makeList(aterm.ATerm first,
                                             aterm.ATermList rest)

makeList

public static aterm.ATermList makeList(java.util.Collection set)

makeList

public static final aterm.ATermList makeList(aterm.ATerm[] aTerms)

makeFuture

public static final aterm.ATermAppl makeFuture(aterm.ATerm r,
                                               int n)

makePast

public static final aterm.ATermAppl makePast(aterm.ATerm r,
                                             int n)

makeAt

public static final aterm.ATermAppl makeAt(aterm.ATerm a,
                                           aterm.ATerm b)

makeAllfuture

public static final aterm.ATermAppl makeAllfuture(aterm.ATerm a)

makeAllpast

public static final aterm.ATermAppl makeAllpast(aterm.ATerm a)

makeSomefuture

public static final aterm.ATermAppl makeSomefuture(aterm.ATerm a)

makeSomepast

public static final aterm.ATermAppl makeSomepast(aterm.ATerm a)

member

public static final boolean member(aterm.ATerm a,
                                   aterm.ATermList list)

isSet

public static boolean isSet(aterm.ATermList list)

toSet

public static aterm.ATermList toSet(aterm.ATermList list)

toSet

public static aterm.ATermList toSet(aterm.ATerm[] a,
                                    int size)

toSet

public static aterm.ATermList toSet(java.util.Collection coll)

toString

public static java.lang.String toString(aterm.ATermAppl term)

toArray

public static aterm.ATerm[] toArray(aterm.ATermList list)

assertTrue

public static final void assertTrue(boolean condition)

isPrimitive

public static final boolean isPrimitive(aterm.ATermAppl c)

isNegatedPrimitive

public static final boolean isNegatedPrimitive(aterm.ATermAppl c)

isPrimitiveOrNegated

public static final boolean isPrimitiveOrNegated(aterm.ATermAppl c)

isBnode

public static final boolean isBnode(aterm.ATermAppl name)

isAnon

public static final boolean isAnon(aterm.ATermAppl name)

listToSet

public static java.util.Set listToSet(aterm.ATermList list)

getPrimitives

public static java.util.Set getPrimitives(aterm.ATermList list)

isAnd

public static final boolean isAnd(aterm.ATermAppl a)

isOr

public static final boolean isOr(aterm.ATermAppl a)

isAllValues

public static final boolean isAllValues(aterm.ATermAppl a)

isSomeValues

public static final boolean isSomeValues(aterm.ATermAppl a)

isHasValue

public static final boolean isHasValue(aterm.ATermAppl a)

isNominal

public static final boolean isNominal(aterm.ATermAppl a)

isOneOf

public static final boolean isOneOf(aterm.ATermAppl a)

isDataRange

public static final boolean isDataRange(aterm.ATermAppl a)

isNot

public static final boolean isNot(aterm.ATermAppl a)

isMax

public static final boolean isMax(aterm.ATermAppl a)

isMin

public static final boolean isMin(aterm.ATermAppl a)

isCard

public static final boolean isCard(aterm.ATermAppl a)

isLiteral

public static final boolean isLiteral(aterm.ATermAppl a)

isFuture

public static final boolean isFuture(aterm.ATermAppl a)

isPast

public static final boolean isPast(aterm.ATermAppl a)

isAt

public static final boolean isAt(aterm.ATermAppl a)

isAllfuture

public static final boolean isAllfuture(aterm.ATermAppl a)

isAllpast

public static final boolean isAllpast(aterm.ATermAppl a)

isSomefuture

public static final boolean isSomefuture(aterm.ATermAppl a)

isSomepast

public static final boolean isSomepast(aterm.ATermAppl a)

isVar

public static final boolean isVar(aterm.ATermAppl a)

isComplexClass

public static boolean isComplexClass(aterm.ATerm c)

isTimeStructure

public static boolean isTimeStructure(aterm.ATermAppl c)

nnf

public static aterm.ATerm nnf(aterm.ATerm term)

nnf

public static aterm.ATermList nnf(aterm.ATermList list)

nnf

public static aterm.ATermAppl nnf(aterm.ATermAppl term)

normalize

public static java.util.Collection normalize(java.util.Collection coll)

normalize

public static aterm.ATermList normalize(aterm.ATermList list)

normalize

public static aterm.ATermAppl normalize(aterm.ATermAppl term)
Normalize the term by making following changes:

Parameters:
term -
Returns:

simplify

public static aterm.ATermAppl simplify(aterm.ATermAppl term)
simplfiy the term by making following changes:

Parameters:
term -
Returns:

makeSimplifiedAnd

public static aterm.ATermAppl makeSimplifiedAnd(java.util.Collection conjuncts)
Creates a simplified and assuming that all the elements have already been normalized.

Parameters:
conjuncts -
Returns:

findPrimitives

public static java.util.Set findPrimitives(aterm.ATermAppl ter)
Parameters:
ter -
Returns:

main

public static void main(java.lang.String[] args)


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.