Package openllet.core.utils

Class TermFactory

  • public class TermFactory
extends java.lang.Object
    Author:
    Evren Sirin

    • Constructor Summary

      Constructors 
      Constructor Description
      TermFactory()  

    • Method Summary

      All Methods Static Methods Concrete Methods Deprecated Methods 
      Modifier and Type Method Description
      static openllet.aterm.ATermAppl all​(openllet.aterm.ATermAppl r, openllet.aterm.ATermAppl c)
      Create an all values restriction.
      static openllet.aterm.ATermAppl and​(openllet.aterm.ATermAppl... c)  
      static openllet.aterm.ATermAppl and​(openllet.aterm.ATermAppl c1, openllet.aterm.ATermAppl c2)  
      static openllet.aterm.ATermAppl bnode​(java.lang.String anonID)
      Create a term that corresponds to a bnode (anonymous term).
      static openllet.aterm.ATermAppl card​(openllet.aterm.ATermAppl r, int n, openllet.aterm.ATermAppl c)  
      static openllet.aterm.ATermAppl hasValue​(openllet.aterm.ATermAppl r, openllet.aterm.ATermAppl ind)  
      static openllet.aterm.ATermAppl inv​(openllet.aterm.ATermAppl r)  
      static openllet.aterm.ATermAppl length​(openllet.aterm.ATermAppl facetValue)  
      static openllet.aterm.ATermList list​(openllet.aterm.ATermAppl... args)
      Create a list of terms.
      static openllet.aterm.ATermAppl literal​(boolean value)
      Create a typed literal with xsd:boolean datatype.
      static openllet.aterm.ATermAppl literal​(byte value)
      Create a typed literal with xsd:byte datatype.
      static openllet.aterm.ATermAppl literal​(double value)
      Create a typed literal with xsd:double datatype.
      static openllet.aterm.ATermAppl literal​(float value)
      Create a typed literal with xsd:float datatype.
      static openllet.aterm.ATermAppl literal​(int value)
      Create a typed literal with xsd:integer datatype.
      static openllet.aterm.ATermAppl literal​(long value)
      Create a typed literal with xsd:long datatype.
      static openllet.aterm.ATermAppl literal​(short value)
      Create a typed literal with xsd:short datatype.
      static openllet.aterm.ATermAppl literal​(java.lang.String value)
      Create an untyped plain literal with no language tag.
      static openllet.aterm.ATermAppl literal​(java.lang.String value, java.lang.String lang)
      Create an untyped plain literal with the given language tag.
      static openllet.aterm.ATermAppl literal​(java.lang.String value, openllet.aterm.ATermAppl datatype)
      Create a typed literal with given lexical form and datatypes.
      static openllet.aterm.ATermAppl literal​(java.net.URI value)
      Create a typed literal with xsd:anyURI datatype.
      static openllet.aterm.ATermAppl max​(openllet.aterm.ATermAppl r, int n, openllet.aterm.ATermAppl c)  
      static openllet.aterm.ATermAppl maxExclusive​(openllet.aterm.ATermAppl facetValue)  
      static openllet.aterm.ATermAppl maxInclusive​(openllet.aterm.ATermAppl facetValue)  
      static openllet.aterm.ATermAppl maxLength​(openllet.aterm.ATermAppl facetValue)  
      static openllet.aterm.ATermAppl min​(openllet.aterm.ATermAppl r, int n, openllet.aterm.ATermAppl c)  
      static openllet.aterm.ATermAppl minExclusive​(openllet.aterm.ATermAppl facetValue)  
      static openllet.aterm.ATermAppl minInclusive​(openllet.aterm.ATermAppl facetValue)  
      static openllet.aterm.ATermAppl minLength​(openllet.aterm.ATermAppl facetValue)  
      static openllet.aterm.ATermAppl not​(openllet.aterm.ATermAppl c)
      Create a negated term.
      static openllet.aterm.ATermAppl oneOf​(openllet.aterm.ATermAppl... terms)  
      static openllet.aterm.ATermAppl or​(openllet.aterm.ATermAppl... c)  
      static openllet.aterm.ATermAppl or​(openllet.aterm.ATermAppl c1, openllet.aterm.ATermAppl c2)  
      static openllet.aterm.ATermAppl pattern​(openllet.aterm.ATermAppl facetValue)  
      static openllet.aterm.ATermAppl plainLiteral​(java.lang.String value, java.lang.String lang)
      Deprecated.
      Use literal(String, String) instead
      static openllet.aterm.ATermAppl restrict​(openllet.aterm.ATermAppl baseDatatype, openllet.aterm.ATermAppl... restrictions)  
      static openllet.aterm.ATermAppl self​(openllet.aterm.ATermAppl p)  
      static openllet.aterm.ATermAppl some​(openllet.aterm.ATermAppl r, openllet.aterm.ATermAppl c)  
      static openllet.aterm.ATermAppl term​(java.lang.String name)
      Create a named term.
      static openllet.aterm.ATermAppl typedLiteral​(java.lang.String value, java.lang.String dt)
      Deprecated.
      Use literal(String, ATermAppl) instead
      static openllet.aterm.ATermAppl typedLiteral​(java.lang.String value, openllet.aterm.ATermAppl dt)
      Deprecated.
      Use literal(String, ATermAppl) instead
      static openllet.aterm.ATermAppl value​(openllet.aterm.ATermAppl r)  
      static openllet.aterm.ATermAppl var​(java.lang.String name)
      Create a variable term with the given name.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • TOP

        public static final openllet.aterm.ATermAppl TOP

      • BOTTOM

        public static final openllet.aterm.ATermAppl BOTTOM

      • TOP_LIT

        public static final openllet.aterm.ATermAppl TOP_LIT

      • BOTTOM_LIT

        public static final openllet.aterm.ATermAppl BOTTOM_LIT

      • TOP_DATA_PROPERTY

        public static final openllet.aterm.ATermAppl TOP_DATA_PROPERTY

      • BOTTOM_DATA_PROPERTY

        public static final openllet.aterm.ATermAppl BOTTOM_DATA_PROPERTY

      • TOP_OBJECT_PROPERTY

        public static final openllet.aterm.ATermAppl TOP_OBJECT_PROPERTY

      • BOTTOM_OBJECT_PROPERTY

        public static final openllet.aterm.ATermAppl BOTTOM_OBJECT_PROPERTY

    • Constructor Detail

      • TermFactory

        public TermFactory()

    • Method Detail

      • term

        public static openllet.aterm.ATermAppl term​(java.lang.String name)
        Create a named term.
        Parameters:
        name - name of the term
        Returns:
        an ATermAppl with the given name and no arguments

      • bnode

        public static openllet.aterm.ATermAppl bnode​(java.lang.String anonID)
        Create a term that corresponds to a bnode (anonymous term).
        Parameters:
        anonID - is of the anonymous terms
        Returns:
        an ATermAppl with a single argument for anonID

      • var

        public static openllet.aterm.ATermAppl var​(java.lang.String name)
        Create a variable term with the given name.
        Parameters:
        name - name of the variable
        Returns:
        an ATermAppl with a single argument for variable name

      • list

        public static openllet.aterm.ATermList list​(openllet.aterm.ATermAppl... args)
        Create a list of terms.
        Parameters:
        args - elements of thre list
        Returns:
        an ATermList with given elements in the given _order

      • not

        public static openllet.aterm.ATermAppl not​(openllet.aterm.ATermAppl c)
        Create a negated term.
        Parameters:
        c - Term to be negated
        Returns:
        an ATermAppl in the form not(c)

      • all

        public static openllet.aterm.ATermAppl all​(openllet.aterm.ATermAppl r,
                                           openllet.aterm.ATermAppl c)
        Create an all values restriction.
        Parameters:
        r - property term
        c - class or datatype term
        Returns:
        an ATermAppl in the form all(r,c)

      • some

        public static openllet.aterm.ATermAppl some​(openllet.aterm.ATermAppl r,
                                            openllet.aterm.ATermAppl c)

      • min

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

      • max

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

      • card

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

      • inv

        public static openllet.aterm.ATermAppl inv​(openllet.aterm.ATermAppl r)

      • literal

        public static openllet.aterm.ATermAppl literal​(boolean value)
        Create a typed literal with xsd:boolean datatype.
        Parameters:
        value - boolean value
        Returns:
        an ATermAppl representing the boolean literal

      • literal

        public static openllet.aterm.ATermAppl literal​(byte value)
        Create a typed literal with xsd:byte datatype.
        Parameters:
        value - byte value
        Returns:
        an ATermAppl representing the byte literal

      • literal

        public static openllet.aterm.ATermAppl literal​(short value)
        Create a typed literal with xsd:short datatype.
        Parameters:
        value - short value
        Returns:
        an ATermAppl representing the short literal

      • literal

        public static openllet.aterm.ATermAppl literal​(long value)
        Create a typed literal with xsd:long datatype.
        Parameters:
        value - long value
        Returns:
        an ATermAppl representing the long literal

      • literal

        public static openllet.aterm.ATermAppl literal​(int value)
        Create a typed literal with xsd:integer datatype.
        Parameters:
        value - integer value
        Returns:
        an ATermAppl representing the integer literal

      • literal

        public static openllet.aterm.ATermAppl literal​(float value)
        Create a typed literal with xsd:float datatype.
        Parameters:
        value - float value
        Returns:
        an ATermAppl representing the float literal

      • literal

        public static openllet.aterm.ATermAppl literal​(double value)
        Create a typed literal with xsd:double datatype.
        Parameters:
        value - double value
        Returns:
        an ATermAppl representing the double literal

      • literal

        public static openllet.aterm.ATermAppl literal​(java.net.URI value)
        Create a typed literal with xsd:anyURI datatype.
        Parameters:
        value - URI value
        Returns:
        an ATermAppl representing the URI literal

      • literal

        public static openllet.aterm.ATermAppl literal​(java.lang.String value)
        Create an untyped plain literal with no language tag.
        Parameters:
        value - string value
        Returns:
        an ATermAppl representing the plain literal

      • literal

        public static openllet.aterm.ATermAppl literal​(java.lang.String value,
                                               java.lang.String lang)
        Create an untyped plain literal with the given language tag.
        Parameters:
        value - byte value
        lang - language identifier
        Returns:
        an ATermAppl representing the plain literal with language tag

      • literal

        public static openllet.aterm.ATermAppl literal​(java.lang.String value,
                                               openllet.aterm.ATermAppl datatype)
        Create a typed literal with given lexical form and datatypes.
        Parameters:
        value - lexical value of the literal
        datatype - type of the literal
        Returns:
        an ATermAppl representing the typed literal

      • plainLiteral

        @Deprecated
public static openllet.aterm.ATermAppl plainLiteral​(java.lang.String value,
                                                    java.lang.String lang)
        Deprecated.
        Use literal(String, String) instead
        Parameters:
        value -
        lang -
        Returns:
        do not use

      • typedLiteral

        @Deprecated
public static openllet.aterm.ATermAppl typedLiteral​(java.lang.String value,
                                                    openllet.aterm.ATermAppl dt)
        Deprecated.
        Use literal(String, ATermAppl) instead
        Parameters:
        value -
        dt -
        Returns:
        do not use

      • typedLiteral

        @Deprecated
public static openllet.aterm.ATermAppl typedLiteral​(java.lang.String value,
                                                    java.lang.String dt)
        Deprecated.
        Use literal(String, ATermAppl) instead
        Parameters:
        value -
        dt -
        Returns:
        do not use

      • value

        public static openllet.aterm.ATermAppl value​(openllet.aterm.ATermAppl r)

      • and

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

      • and

        public static openllet.aterm.ATermAppl and​(openllet.aterm.ATermAppl... c)

      • or

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

      • or

        public static openllet.aterm.ATermAppl or​(openllet.aterm.ATermAppl... c)

      • hasValue

        public static openllet.aterm.ATermAppl hasValue​(openllet.aterm.ATermAppl r,
                                                openllet.aterm.ATermAppl ind)

      • oneOf

        public static openllet.aterm.ATermAppl oneOf​(openllet.aterm.ATermAppl... terms)

      • self

        public static openllet.aterm.ATermAppl self​(openllet.aterm.ATermAppl p)

      • minInclusive

        public static openllet.aterm.ATermAppl minInclusive​(openllet.aterm.ATermAppl facetValue)

      • minExclusive

        public static openllet.aterm.ATermAppl minExclusive​(openllet.aterm.ATermAppl facetValue)

      • maxInclusive

        public static openllet.aterm.ATermAppl maxInclusive​(openllet.aterm.ATermAppl facetValue)

      • maxExclusive

        public static openllet.aterm.ATermAppl maxExclusive​(openllet.aterm.ATermAppl facetValue)

      • minLength

        public static openllet.aterm.ATermAppl minLength​(openllet.aterm.ATermAppl facetValue)

      • maxLength

        public static openllet.aterm.ATermAppl maxLength​(openllet.aterm.ATermAppl facetValue)

      • length

        public static openllet.aterm.ATermAppl length​(openllet.aterm.ATermAppl facetValue)

      • pattern

        public static openllet.aterm.ATermAppl pattern​(openllet.aterm.ATermAppl facetValue)

      • restrict

        public static openllet.aterm.ATermAppl restrict​(openllet.aterm.ATermAppl baseDatatype,
                                                openllet.aterm.ATermAppl... restrictions)