Package openllet.core.utils

Class 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:
    Evren Sirin

    • Constructor Summary

      Constructors 
      Constructor Description
      ATermUtils()  

    • Method Summary

      All Methods Static Methods Concrete Methods Deprecated Methods 
      Modifier and Type Method Description
      static void assertTrue​(boolean condition)  
      static java.util.Set<openllet.aterm.ATermAppl> findPrimitives​(openllet.aterm.ATermAppl term)  
      static java.util.Set<openllet.aterm.ATermAppl> findPrimitives​(openllet.aterm.ATermAppl term, boolean skipRestrictions, boolean skipTopLevel)  
      static void findPrimitives​(openllet.aterm.ATermAppl term, java.util.Set<openllet.aterm.ATermAppl> primitives)  
      static void findPrimitives​(openllet.aterm.ATermAppl term, java.util.Set<openllet.aterm.ATermAppl> primitives, boolean skipRestrictions, boolean skipTopLevel)  
      static openllet.aterm.ATermFactory getFactory()  
      static java.lang.String getLiteralDatatype​(openllet.aterm.ATermAppl literal)  
      static java.lang.String getLiteralLang​(openllet.aterm.ATermAppl literal)  
      static java.lang.String getLiteralValue​(openllet.aterm.ATermAppl literal)  
      static java.util.Set<openllet.aterm.ATermAppl> getPrimitives​(openllet.aterm.ATermList list)  
      static openllet.aterm.ATermAppl getTop​(Role r)  
      static boolean isAllValues​(openllet.aterm.ATermAppl a)  
      static boolean isAnd​(openllet.aterm.ATermAppl a)  
      static boolean isAnon​(openllet.aterm.ATermAppl term)  
      static boolean isAnonNominal​(openllet.aterm.ATermAppl term)  
      static boolean isBnode​(openllet.aterm.ATermAppl name)  
      static boolean isBottom​(openllet.aterm.ATermAppl a)  
      static boolean isBuiltinProperty​(openllet.aterm.ATermAppl name)  
      static boolean isCard​(openllet.aterm.ATermAppl a)  
      static boolean isComplexClass​(openllet.aterm.ATerm c)  
      static boolean isDataRange​(openllet.aterm.ATermAppl a)  
      static boolean isHasValue​(openllet.aterm.ATermAppl a)  
      static boolean isInv​(openllet.aterm.ATermAppl r)  
      static boolean isLiteral​(openllet.aterm.ATermAppl a)  
      static boolean isMax​(openllet.aterm.ATermAppl a)  
      static boolean isMin​(openllet.aterm.ATermAppl a)  
      static boolean isNegatedPrimitive​(openllet.aterm.ATermAppl c)  
      static boolean isNominal​(openllet.aterm.ATermAppl a)  
      static boolean isNot​(openllet.aterm.ATermAppl a)  
      static boolean isOneOf​(openllet.aterm.ATermAppl a)  
      static boolean isOr​(openllet.aterm.ATermAppl a)  
      static boolean isPrimitive​(openllet.aterm.ATermAppl c)  
      static boolean isPrimitiveOrNegated​(openllet.aterm.ATermAppl c)  
      static boolean isPropertyAssertion​(openllet.aterm.ATermAppl a)  
      static boolean isRestrictedDatatype​(openllet.aterm.ATermAppl term)  
      static boolean isSelf​(openllet.aterm.ATermAppl a)  
      static boolean isSet​(openllet.aterm.ATermList list)  
      static boolean isSomeValues​(openllet.aterm.ATermAppl a)  
      static boolean isTop​(openllet.aterm.ATermAppl a)  
      static boolean isTransitiveChain​(openllet.aterm.ATermList chain, openllet.aterm.ATerm r)  
      static boolean isTypeAssertion​(openllet.aterm.ATermAppl a)  
      static boolean isVar​(openllet.aterm.ATermAppl a)  
      static java.util.Set<openllet.aterm.ATermAppl> listToSet​(openllet.aterm.ATermList list)  
      static openllet.aterm.ATermAppl makeAllDifferent​(openllet.aterm.ATermList list)  
      static openllet.aterm.ATermAppl makeAllValues​(openllet.aterm.ATerm r, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeAnd​(openllet.aterm.ATermList list)  
      static openllet.aterm.ATermAppl makeAnd​(openllet.aterm.ATerm c1, openllet.aterm.ATerm c2)  
      static openllet.aterm.ATermAppl makeAnon​(int id)  
      static openllet.aterm.ATermAppl makeAnonNominal​(int id)  
      static openllet.aterm.ATermAppl makeAntisymmetric​(openllet.aterm.ATerm r)
      Deprecated.
      Use makeAsymmetric(ATerm)
      static openllet.aterm.ATermAppl makeAsymmetric​(openllet.aterm.ATerm r)  
      static openllet.aterm.ATermAppl makeBnode​(java.lang.String id)  
      static openllet.aterm.ATermAppl makeBuiltinAtom​(openllet.aterm.ATermAppl[] args)  
      static openllet.aterm.ATermAppl makeCard​(openllet.aterm.ATerm r, int n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeComplement​(openllet.aterm.ATerm a, openllet.aterm.ATerm b)  
      static openllet.aterm.ATermAppl makeDatatypeDefinition​(openllet.aterm.ATermAppl datatype, openllet.aterm.ATermAppl definition)  
      static openllet.aterm.ATermAppl makeDifferent​(openllet.aterm.ATerm a, openllet.aterm.ATerm b)  
      static openllet.aterm.ATermAppl makeDisjoint​(openllet.aterm.ATerm a, openllet.aterm.ATerm b)  
      static openllet.aterm.ATermAppl makeDisjointProperties​(openllet.aterm.ATermList list)  
      static openllet.aterm.ATermAppl makeDisjointProperty​(openllet.aterm.ATerm a, openllet.aterm.ATerm b)  
      static openllet.aterm.ATermAppl makeDisjoints​(openllet.aterm.ATermList list)  
      static openllet.aterm.ATermAppl makeDisplayCard​(openllet.aterm.ATerm r, int n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeDisplayMax​(openllet.aterm.ATerm r, int n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeDisplayMin​(openllet.aterm.ATerm r, int n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeDomain​(openllet.aterm.ATerm r, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeEqClasses​(openllet.aterm.ATerm a, openllet.aterm.ATerm b)  
      static openllet.aterm.ATermAppl makeEqProp​(openllet.aterm.ATerm r, openllet.aterm.ATerm s)  
      static openllet.aterm.ATermAppl makeExactCard​(openllet.aterm.ATerm r, int n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeExactCard​(openllet.aterm.ATerm r, openllet.aterm.ATermInt n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeFacetRestriction​(openllet.aterm.ATermAppl facetName, openllet.aterm.ATermAppl facetValue)  
      static openllet.aterm.ATermAppl makeFunctional​(openllet.aterm.ATerm a)  
      static openllet.aterm.ATermAppl makeHasValue​(openllet.aterm.ATerm r, openllet.aterm.ATerm ind)  
      static openllet.aterm.ATermAppl makeInv​(openllet.aterm.ATermAppl r)  
      static openllet.aterm.ATermAppl makeInverseFunctional​(openllet.aterm.ATerm a)  
      static openllet.aterm.ATermAppl makeInvProp​(openllet.aterm.ATerm r, openllet.aterm.ATerm s)  
      static openllet.aterm.ATermAppl makeIrreflexive​(openllet.aterm.ATerm r)  
      static openllet.aterm.ATermList makeList​(java.util.Collection<openllet.aterm.ATermAppl> set)  
      static openllet.aterm.ATermList makeList​(openllet.aterm.ATerm singleton)  
      static openllet.aterm.ATermList makeList​(openllet.aterm.ATerm[] aTerms)  
      static openllet.aterm.ATermList makeList​(openllet.aterm.ATerm first, openllet.aterm.ATermList rest)  
      static openllet.aterm.ATermAppl makeLiteral​(openllet.aterm.ATermAppl name)  
      static openllet.aterm.ATermAppl makeMax​(openllet.aterm.ATerm r, int n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeMax​(openllet.aterm.ATerm r, openllet.aterm.ATermInt n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeMin​(openllet.aterm.ATerm r, int n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeMin​(openllet.aterm.ATerm r, openllet.aterm.ATermInt n, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeNormalizedMax​(openllet.aterm.ATermAppl r, int n, openllet.aterm.ATermAppl c)  
      static openllet.aterm.ATermAppl makeNot​(openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeOr​(openllet.aterm.ATermAppl c1, openllet.aterm.ATermAppl c2)  
      static openllet.aterm.ATermAppl makeOr​(openllet.aterm.ATermList list)  
      static openllet.aterm.ATermAppl makePlainLiteral​(java.lang.String value)  
      static openllet.aterm.ATermAppl makePlainLiteral​(java.lang.String value, java.lang.String lang)  
      static openllet.aterm.ATermAppl makePropAtom​(openllet.aterm.ATermAppl p, openllet.aterm.ATermAppl s, openllet.aterm.ATermAppl o)  
      static openllet.aterm.ATermAppl makeRange​(openllet.aterm.ATerm r, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeReflexive​(openllet.aterm.ATerm r)  
      static openllet.aterm.ATermAppl makeRestrictedDatatype​(openllet.aterm.ATermAppl baseDatatype, openllet.aterm.ATermAppl[] restrictions)  
      static openllet.aterm.ATermAppl makeRule​(openllet.aterm.ATermAppl[] head, openllet.aterm.ATermAppl[] body)  
      static openllet.aterm.ATermAppl makeRule​(openllet.aterm.ATermAppl name, openllet.aterm.ATermAppl[] head, openllet.aterm.ATermAppl[] body)  
      static openllet.aterm.ATermAppl makeSameAs​(openllet.aterm.ATerm a, openllet.aterm.ATerm b)  
      static openllet.aterm.ATermAppl makeSelf​(openllet.aterm.ATermAppl r)  
      static openllet.aterm.ATermAppl makeSimplifiedAnd​(java.util.Collection<openllet.aterm.ATermAppl> conjuncts)  
      static openllet.aterm.ATermAppl makeSomeValues​(openllet.aterm.ATerm r, openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeStringLiteral​(java.lang.String value)  
      static openllet.aterm.ATermAppl makeSub​(openllet.aterm.ATerm a, openllet.aterm.ATerm b)  
      static openllet.aterm.ATermAppl makeSubProp​(openllet.aterm.ATerm r, openllet.aterm.ATerm s)  
      static openllet.aterm.ATermAppl makeSymmetric​(openllet.aterm.ATerm r)  
      static openllet.aterm.ATermAppl makeTermAppl​(java.lang.String name)  
      static openllet.aterm.ATermAppl makeTermAppl​(openllet.aterm.AFun fun, openllet.aterm.ATerm[] args)  
      static openllet.aterm.ATermAppl makeTransitive​(openllet.aterm.ATerm r)  
      static openllet.aterm.ATermAppl makeTypeAtom​(openllet.aterm.ATermAppl ind, openllet.aterm.ATermAppl c)  
      static openllet.aterm.ATermAppl makeTypedLiteral​(java.lang.String value, java.lang.String dt)  
      static openllet.aterm.ATermAppl makeTypedLiteral​(java.lang.String value, openllet.aterm.ATermAppl dt)  
      static openllet.aterm.ATermAppl makeTypedPlainLangLiteral​(java.lang.String value, java.lang.String lang)  
      static openllet.aterm.ATermAppl makeValue​(openllet.aterm.ATerm c)  
      static openllet.aterm.ATermAppl makeVar​(java.lang.String name)  
      static openllet.aterm.ATermAppl makeVar​(openllet.aterm.ATermAppl name)  
      static boolean member​(openllet.aterm.ATerm a, openllet.aterm.ATermList list)  
      static openllet.aterm.ATermAppl negate​(openllet.aterm.ATermAppl a)  
      static openllet.aterm.ATermList negate​(openllet.aterm.ATermList list)  
      static openllet.aterm.ATerm nnf​(openllet.aterm.ATerm term)  
      static openllet.aterm.ATermAppl nnf​(openllet.aterm.ATermAppl term)  
      static openllet.aterm.ATermList nnf​(openllet.aterm.ATermList list)  
      static java.util.Collection<openllet.aterm.ATermAppl> normalize​(java.util.Collection<openllet.aterm.ATermAppl> terms)  
      static openllet.aterm.ATermAppl normalize​(openllet.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) -> all(p, not(c)) max(p, n) -> not(min(p, n+1))
      static openllet.aterm.ATermList normalize​(openllet.aterm.ATermList list)  
      static java.util.Collection<openllet.aterm.ATermAppl> primitiveOrBottom​(java.util.Collection<openllet.aterm.ATermAppl> collection)  
      static java.util.Set<openllet.aterm.ATermAppl> primitiveOrBottom​(java.util.Set<openllet.aterm.ATermAppl> collection)  
      static openllet.aterm.ATermAppl simplify​(openllet.aterm.ATermAppl term)
      Simplify the term by making following changes: and([]) -> TOP all(p, TOP) -> TOP min(p, 0) -> TOP and([a1, and([a2,...
      static openllet.aterm.ATerm term​(java.lang.String str)  
      static openllet.aterm.ATermAppl[] toArray​(openllet.aterm.ATermList list)  
      static openllet.aterm.ATermList toSet​(java.util.Collection<openllet.aterm.ATermAppl> terms)  
      static openllet.aterm.ATermList toSet​(openllet.aterm.ATerm[] a, int size)  
      static openllet.aterm.ATermList toSet​(openllet.aterm.ATermList list)  
      static java.lang.String toString​(java.util.Collection<openllet.aterm.ATermAppl> terms)
      Return the string representations of the terms in a collection.
      static java.lang.String toString​(openllet.aterm.ATermAppl term)
      Return a string representation of the term which might be representing a named term, literal, variable or a complex concept expression.
      static java.lang.String toString​(openllet.aterm.ATermAppl term, boolean printLocalName, boolean printNNF)
      Return a string representation of the term which might be representing a named term, literal, variable or a complex concept expression.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • LITFUN

        public static final openllet.aterm.AFun LITFUN

      • ANDFUN

        public static final openllet.aterm.AFun ANDFUN

      • ORFUN

        public static final openllet.aterm.AFun ORFUN

      • SOMEFUN

        public static final openllet.aterm.AFun SOMEFUN

      • ALLFUN

        public static final openllet.aterm.AFun ALLFUN

      • NOTFUN

        public static final openllet.aterm.AFun NOTFUN

      • MAXFUN

        public static final openllet.aterm.AFun MAXFUN

      • MINFUN

        public static final openllet.aterm.AFun MINFUN

      • VALUEFUN

        public static final openllet.aterm.AFun VALUEFUN

      • SELFFUN

        public static final openllet.aterm.AFun SELFFUN

      • CARDFUN

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

      • CLASS_FUN

        public static java.util.Set<openllet.aterm.AFun> CLASS_FUN

      • INVFUN

        public static final openllet.aterm.AFun INVFUN

      • SUBFUN

        public static final openllet.aterm.AFun SUBFUN

      • EQCLASSFUN

        public static final openllet.aterm.AFun EQCLASSFUN

      • SAMEASFUN

        public static final openllet.aterm.AFun SAMEASFUN

      • DISJOINTFUN

        public static final openllet.aterm.AFun DISJOINTFUN

      • DISJOINTSFUN

        public static final openllet.aterm.AFun DISJOINTSFUN

      • DISJOINTPROPFUN

        public static final openllet.aterm.AFun DISJOINTPROPFUN

      • DISJOINTPROPSFUN

        public static final openllet.aterm.AFun DISJOINTPROPSFUN

      • COMPLEMENTFUN

        public static final openllet.aterm.AFun COMPLEMENTFUN

      • VARFUN

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

      • TYPEFUN

        public static final openllet.aterm.AFun TYPEFUN

      • PROPFUN

        public static final openllet.aterm.AFun PROPFUN

      • DIFFERENTFUN

        public static final openllet.aterm.AFun DIFFERENTFUN
        Added for explanations

      • ALLDIFFERENTFUN

        public static final openllet.aterm.AFun ALLDIFFERENTFUN

      • ASYMMETRICFUN

        public static final openllet.aterm.AFun ASYMMETRICFUN

      • ANTISYMMETRICFUN

        @Deprecated
public static final openllet.aterm.AFun ANTISYMMETRICFUN
        Deprecated.
        Use ASYMMETRICFUN

      • FUNCTIONALFUN

        public static final openllet.aterm.AFun FUNCTIONALFUN

      • INVFUNCTIONALFUN

        public static final openllet.aterm.AFun INVFUNCTIONALFUN

      • IRREFLEXIVEFUN

        public static final openllet.aterm.AFun IRREFLEXIVEFUN

      • REFLEXIVEFUN

        public static final openllet.aterm.AFun REFLEXIVEFUN

      • SYMMETRICFUN

        public static final openllet.aterm.AFun SYMMETRICFUN

      • TRANSITIVEFUN

        public static final openllet.aterm.AFun TRANSITIVEFUN

      • SUBPROPFUN

        public static final openllet.aterm.AFun SUBPROPFUN

      • EQPROPFUN

        public static final openllet.aterm.AFun EQPROPFUN

      • INVPROPFUN

        public static final openllet.aterm.AFun INVPROPFUN

      • DOMAINFUN

        public static final openllet.aterm.AFun DOMAINFUN

      • RANGEFUN

        public static final openllet.aterm.AFun RANGEFUN

      • RULEFUN

        public static final openllet.aterm.AFun RULEFUN

      • BUILTINFUN

        public static final openllet.aterm.AFun BUILTINFUN

      • DATATYPEDEFFUN

        public static final openllet.aterm.AFun DATATYPEDEFFUN

      • RESTRDATATYPEFUN

        public static final openllet.aterm.AFun RESTRDATATYPEFUN

      • FACET

        public static final openllet.aterm.AFun FACET

      • EMPTY

        public static final openllet.aterm.ATermAppl EMPTY

      • EMPTY_LIST

        public static final openllet.aterm.ATermList EMPTY_LIST

      • AXIOM_FUN

        public static java.util.Set<openllet.aterm.AFun> AXIOM_FUN
        Set of all axiom functors used in explanations

      • TOP

        public static final openllet.aterm.ATermAppl TOP

      • BOTTOM

        public static final openllet.aterm.ATermAppl BOTTOM

      • TOP_OBJECT_PROPERTY

        public static final openllet.aterm.ATermAppl TOP_OBJECT_PROPERTY

      • TOP_DATA_PROPERTY

        public static final openllet.aterm.ATermAppl TOP_DATA_PROPERTY

      • BOTTOM_OBJECT_PROPERTY

        public static final openllet.aterm.ATermAppl BOTTOM_OBJECT_PROPERTY

      • BOTTOM_DATA_PROPERTY

        public static final openllet.aterm.ATermAppl BOTTOM_DATA_PROPERTY

      • TOP_LIT

        public static final openllet.aterm.ATermAppl TOP_LIT

      • BOTTOM_LIT

        public static final openllet.aterm.ATermAppl BOTTOM_LIT

      • CONCEPT_SAT_IND

        public static final openllet.aterm.ATermAppl CONCEPT_SAT_IND

      • ONE

        public static final openllet.aterm.ATermInt ONE

      • LITERAL_STRING

        public static final openllet.aterm.ATermAppl LITERAL_STRING

      • PLAIN_LITERAL_DATATYPE

        public static final openllet.aterm.ATermAppl PLAIN_LITERAL_DATATYPE

      • NO_DATATYPE

        public static openllet.aterm.ATermAppl NO_DATATYPE

      • BNODE_FUN

        public static final openllet.aterm.AFun BNODE_FUN

      • ANON_FUN

        public static final openllet.aterm.AFun ANON_FUN

      • ANON_NOMINAL_FUN

        public static final openllet.aterm.AFun ANON_NOMINAL_FUN

    • Constructor Detail

      • ATermUtils

        public ATermUtils()

    • Method Detail

      • getFactory

        public static openllet.aterm.ATermFactory getFactory()

      • makeTypeAtom

        public static final openllet.aterm.ATermAppl makeTypeAtom​(openllet.aterm.ATermAppl ind,
                                                          openllet.aterm.ATermAppl c)

      • makePropAtom

        public static final openllet.aterm.ATermAppl makePropAtom​(openllet.aterm.ATermAppl p,
                                                          openllet.aterm.ATermAppl s,
                                                          openllet.aterm.ATermAppl o)

      • makeStringLiteral

        public static openllet.aterm.ATermAppl makeStringLiteral​(java.lang.String value)

      • makePlainLiteral

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

      • makePlainLiteral

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

      • makeTypedLiteral

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

      • makeTypedLiteral

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

      • makeTypedPlainLangLiteral

        public static openllet.aterm.ATermAppl makeTypedPlainLangLiteral​(java.lang.String value,
                                                                 java.lang.String lang)

      • makeLiteral

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

      • getLiteralValue

        public static java.lang.String getLiteralValue​(openllet.aterm.ATermAppl literal)

      • getLiteralLang

        public static java.lang.String getLiteralLang​(openllet.aterm.ATermAppl literal)

      • getLiteralDatatype

        public static java.lang.String getLiteralDatatype​(openllet.aterm.ATermAppl literal)

      • makeTermAppl

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

      • makeTermAppl

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

      • makeNot

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

      • term

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

      • negate

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

      • negate

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

      • isAnonNominal

        public static final boolean isAnonNominal​(openllet.aterm.ATermAppl term)

      • makeAnonNominal

        public static final openllet.aterm.ATermAppl makeAnonNominal​(int id)

      • makeAnon

        public static final openllet.aterm.ATermAppl makeAnon​(int id)

      • makeBnode

        public static final openllet.aterm.ATermAppl makeBnode​(java.lang.String id)

      • makeVar

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

      • makeVar

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

      • makeValue

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

      • makeInv

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

      • makeInvProp

        public static final openllet.aterm.ATermAppl makeInvProp​(openllet.aterm.ATerm r,
                                                         openllet.aterm.ATerm s)

      • makeSub

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

      • makeEqClasses

        public static final openllet.aterm.ATermAppl makeEqClasses​(openllet.aterm.ATerm a,
                                                           openllet.aterm.ATerm b)

      • makeSameAs

        public static final openllet.aterm.ATermAppl makeSameAs​(openllet.aterm.ATerm a,
                                                        openllet.aterm.ATerm b)

      • makeSubProp

        public static final openllet.aterm.ATermAppl makeSubProp​(openllet.aterm.ATerm r,
                                                         openllet.aterm.ATerm s)

      • makeEqProp

        public static final openllet.aterm.ATermAppl makeEqProp​(openllet.aterm.ATerm r,
                                                        openllet.aterm.ATerm s)

      • makeDomain

        public static final openllet.aterm.ATermAppl makeDomain​(openllet.aterm.ATerm r,
                                                        openllet.aterm.ATerm c)

      • makeRange

        public static final openllet.aterm.ATermAppl makeRange​(openllet.aterm.ATerm r,
                                                       openllet.aterm.ATerm c)

      • makeComplement

        public static final openllet.aterm.ATermAppl makeComplement​(openllet.aterm.ATerm a,
                                                            openllet.aterm.ATerm b)

      • makeDisjoint

        public static final openllet.aterm.ATermAppl makeDisjoint​(openllet.aterm.ATerm a,
                                                          openllet.aterm.ATerm b)

      • makeDisjoints

        public static final openllet.aterm.ATermAppl makeDisjoints​(openllet.aterm.ATermList list)

      • makeDisjointProperty

        public static final openllet.aterm.ATermAppl makeDisjointProperty​(openllet.aterm.ATerm a,
                                                                  openllet.aterm.ATerm b)

      • makeDisjointProperties

        public static final openllet.aterm.ATermAppl makeDisjointProperties​(openllet.aterm.ATermList list)

      • makeDifferent

        public static final openllet.aterm.ATermAppl makeDifferent​(openllet.aterm.ATerm a,
                                                           openllet.aterm.ATerm b)

      • makeAllDifferent

        public static final openllet.aterm.ATermAppl makeAllDifferent​(openllet.aterm.ATermList list)

      • makeAsymmetric

        public static final openllet.aterm.ATermAppl makeAsymmetric​(openllet.aterm.ATerm r)

      • makeAntisymmetric

        @Deprecated
public static final openllet.aterm.ATermAppl makeAntisymmetric​(openllet.aterm.ATerm r)
        Deprecated.
        Use makeAsymmetric(ATerm)
        Parameters:
        r -
        Returns:
        DO NOT USE

      • makeFunctional

        public static final openllet.aterm.ATermAppl makeFunctional​(openllet.aterm.ATerm a)

      • makeInverseFunctional

        public static final openllet.aterm.ATermAppl makeInverseFunctional​(openllet.aterm.ATerm a)

      • makeIrreflexive

        public static final openllet.aterm.ATermAppl makeIrreflexive​(openllet.aterm.ATerm r)

      • makeReflexive

        public static final openllet.aterm.ATermAppl makeReflexive​(openllet.aterm.ATerm r)

      • makeSymmetric

        public static final openllet.aterm.ATermAppl makeSymmetric​(openllet.aterm.ATerm r)

      • makeTransitive

        public static final openllet.aterm.ATermAppl makeTransitive​(openllet.aterm.ATerm r)

      • makeAnd

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

      • makeAnd

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

      • makeOr

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

      • makeOr

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

      • makeAllValues

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

      • makeSomeValues

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

      • makeSelf

        public static final openllet.aterm.ATermAppl makeSelf​(openllet.aterm.ATermAppl r)

      • makeHasValue

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

      • makeNormalizedMax

        public static final openllet.aterm.ATermAppl makeNormalizedMax​(openllet.aterm.ATermAppl r,
                                                               int n,
                                                               openllet.aterm.ATermAppl c)

      • makeMax

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

      • makeMax

        public static final openllet.aterm.ATermAppl makeMax​(openllet.aterm.ATerm r,
                                                     openllet.aterm.ATermInt n,
                                                     openllet.aterm.ATerm c)

      • makeMin

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

      • makeMin

        public static final openllet.aterm.ATermAppl makeMin​(openllet.aterm.ATerm r,
                                                     openllet.aterm.ATermInt n,
                                                     openllet.aterm.ATerm c)

      • makeDisplayCard

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

      • makeDisplayMax

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

      • makeDisplayMin

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

      • makeCard

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

      • makeExactCard

        public static final openllet.aterm.ATermAppl makeExactCard​(openllet.aterm.ATerm r,
                                                           int n,
                                                           openllet.aterm.ATerm c)

      • makeExactCard

        public static final openllet.aterm.ATermAppl makeExactCard​(openllet.aterm.ATerm r,
                                                           openllet.aterm.ATermInt n,
                                                           openllet.aterm.ATerm c)

      • makeFacetRestriction

        public static final openllet.aterm.ATermAppl makeFacetRestriction​(openllet.aterm.ATermAppl facetName,
                                                                  openllet.aterm.ATermAppl facetValue)

      • makeRestrictedDatatype

        public static final openllet.aterm.ATermAppl makeRestrictedDatatype​(openllet.aterm.ATermAppl baseDatatype,
                                                                    openllet.aterm.ATermAppl[] restrictions)

      • makeDatatypeDefinition

        public static final openllet.aterm.ATermAppl makeDatatypeDefinition​(openllet.aterm.ATermAppl datatype,
                                                                    openllet.aterm.ATermAppl definition)

      • isRestrictedDatatype

        public static final boolean isRestrictedDatatype​(openllet.aterm.ATermAppl term)

      • makeList

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

      • makeList

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

      • makeList

        public static openllet.aterm.ATermList makeList​(java.util.Collection<openllet.aterm.ATermAppl> set)

      • makeList

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

      • member

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

      • isSet

        public static boolean isSet​(openllet.aterm.ATermList list)

      • toSet

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

      • toSet

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

      • toSet

        public static openllet.aterm.ATermList toSet​(java.util.Collection<openllet.aterm.ATermAppl> terms)

      • toString

        public static java.lang.String toString​(java.util.Collection<openllet.aterm.ATermAppl> terms)
        Return the string representations of the terms in a collection. For each element of the collection toString(ATermAppl) function will be called to create the string representation.
        Parameters:
        terms - a collection of terms
        Returns:
        string representation of the terms

      • toString

        public static java.lang.String toString​(openllet.aterm.ATermAppl term)
        Return a string representation of the term which might be representing a named term, literal, variable or a complex concept expression. The URIs used in the term will be shortened into local names. The concept expressions are printed in NNF format.
        Parameters:
        term - term whose string representation we are creating
        Returns:
        string representation of the term

      • toString

        public static java.lang.String toString​(openllet.aterm.ATermAppl term,
                                        boolean printLocalName,
                                        boolean printNNF)
        Return a string representation of the term which might be representing a named term, literal, variable or a complex concept expression. The URIs used in the term can be shortened into local names. The concept expressions can be printed in NNF format.
        Parameters:
        term - whose string representation we are creating
        printLocalName - the name of the term
        printNNF - true to use the NNF Format
        Returns:
        string representation of the term

      • toArray

        public static openllet.aterm.ATermAppl[] toArray​(openllet.aterm.ATermList list)

      • assertTrue

        public static final void assertTrue​(boolean condition)

      • isPrimitive

        public static final boolean isPrimitive​(openllet.aterm.ATermAppl c)

      • isNegatedPrimitive

        public static final boolean isNegatedPrimitive​(openllet.aterm.ATermAppl c)

      • isPrimitiveOrNegated

        public static final boolean isPrimitiveOrNegated​(openllet.aterm.ATermAppl c)

      • isBnode

        public static final boolean isBnode​(openllet.aterm.ATermAppl name)

      • isAnon

        public static final boolean isAnon​(openllet.aterm.ATermAppl term)

      • isBuiltinProperty

        public static final boolean isBuiltinProperty​(openllet.aterm.ATermAppl name)

      • listToSet

        public static java.util.Set<openllet.aterm.ATermAppl> listToSet​(openllet.aterm.ATermList list)

      • getPrimitives

        public static java.util.Set<openllet.aterm.ATermAppl> getPrimitives​(openllet.aterm.ATermList list)

      • getTop

        public static final openllet.aterm.ATermAppl getTop​(Role r)

      • isTop

        public static final boolean isTop​(openllet.aterm.ATermAppl a)

      • isBottom

        public static final boolean isBottom​(openllet.aterm.ATermAppl a)

      • isInv

        public static final boolean isInv​(openllet.aterm.ATermAppl r)

      • isAnd

        public static final boolean isAnd​(openllet.aterm.ATermAppl a)

      • isOr

        public static final boolean isOr​(openllet.aterm.ATermAppl a)

      • isAllValues

        public static final boolean isAllValues​(openllet.aterm.ATermAppl a)

      • isSomeValues

        public static final boolean isSomeValues​(openllet.aterm.ATermAppl a)

      • isSelf

        public static final boolean isSelf​(openllet.aterm.ATermAppl a)

      • isHasValue

        public static final boolean isHasValue​(openllet.aterm.ATermAppl a)

      • isNominal

        public static final boolean isNominal​(openllet.aterm.ATermAppl a)

      • isOneOf

        public static final boolean isOneOf​(openllet.aterm.ATermAppl a)

      • isDataRange

        public static final boolean isDataRange​(openllet.aterm.ATermAppl a)

      • isNot

        public static final boolean isNot​(openllet.aterm.ATermAppl a)

      • isMax

        public static final boolean isMax​(openllet.aterm.ATermAppl a)

      • isMin

        public static final boolean isMin​(openllet.aterm.ATermAppl a)

      • isCard

        public static final boolean isCard​(openllet.aterm.ATermAppl a)

      • isLiteral

        public static final boolean isLiteral​(openllet.aterm.ATermAppl a)

      • isVar

        public static final boolean isVar​(openllet.aterm.ATermAppl a)

      • isTransitiveChain

        public static final boolean isTransitiveChain​(openllet.aterm.ATermList chain,
                                              openllet.aterm.ATerm r)

      • isComplexClass

        public static boolean isComplexClass​(openllet.aterm.ATerm c)

      • isPropertyAssertion

        public static final boolean isPropertyAssertion​(openllet.aterm.ATermAppl a)

      • isTypeAssertion

        public static final boolean isTypeAssertion​(openllet.aterm.ATermAppl a)

      • nnf

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

      • nnf

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

      • nnf

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

      • normalize

        public static java.util.Collection<openllet.aterm.ATermAppl> normalize​(java.util.Collection<openllet.aterm.ATermAppl> terms)

      • normalize

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

      • normalize

        public static openllet.aterm.ATermAppl normalize​(openllet.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) -> all(p, not(c))
        • max(p, n) -> not(min(p, n+1))
        Parameters:
        term -
        Returns:
        the term normalized

      • simplify

        public static openllet.aterm.ATermAppl simplify​(openllet.aterm.ATermAppl term)
        Simplify the term by making following changes:
        • and([]) -> TOP
        • all(p, TOP) -> TOP
        • min(p, 0) -> TOP
        • and([a1, and([a2,...,an])]) -> and([a1, a2, ..., an]))
        • and([a, not(a), ...]) -> BOTTOM
        • not(C) -> not(simplify(C))
        Parameters:
        term -
        Returns:
        the term simplified

      • makeSimplifiedAnd

        public static openllet.aterm.ATermAppl makeSimplifiedAnd​(java.util.Collection<openllet.aterm.ATermAppl> conjuncts)
        Parameters:
        conjuncts -
        Returns:
        a simplified and assuming that all the elements have already been normalized.

      • findPrimitives

        public static java.util.Set<openllet.aterm.ATermAppl> findPrimitives​(openllet.aterm.ATermAppl term)

      • findPrimitives

        public static java.util.Set<openllet.aterm.ATermAppl> findPrimitives​(openllet.aterm.ATermAppl term,
                                                                     boolean skipRestrictions,
                                                                     boolean skipTopLevel)

      • findPrimitives

        public static void findPrimitives​(openllet.aterm.ATermAppl term,
                                  java.util.Set<openllet.aterm.ATermAppl> primitives)

      • findPrimitives

        public static void findPrimitives​(openllet.aterm.ATermAppl term,
                                  java.util.Set<openllet.aterm.ATermAppl> primitives,
                                  boolean skipRestrictions,
                                  boolean skipTopLevel)

      • primitiveOrBottom

        public static java.util.Collection<openllet.aterm.ATermAppl> primitiveOrBottom​(java.util.Collection<openllet.aterm.ATermAppl> collection)

      • primitiveOrBottom

        public static java.util.Set<openllet.aterm.ATermAppl> primitiveOrBottom​(java.util.Set<openllet.aterm.ATermAppl> collection)

      • makeRule

        public static openllet.aterm.ATermAppl makeRule​(openllet.aterm.ATermAppl[] head,
                                                openllet.aterm.ATermAppl[] body)

      • makeRule

        public static openllet.aterm.ATermAppl makeRule​(openllet.aterm.ATermAppl name,
                                                openllet.aterm.ATermAppl[] head,
                                                openllet.aterm.ATermAppl[] body)

      • makeBuiltinAtom

        public static openllet.aterm.ATermAppl makeBuiltinAtom​(openllet.aterm.ATermAppl[] args)