com.clarkparsia.pellet.utils
Class TermFactory
java.lang.Object
com.clarkparsia.pellet.utils.TermFactory
public class TermFactory
- extends java.lang.Object
- Author:
- Evren Sirin
|
Field Summary |
static aterm.ATermAppl |
BOTTOM
|
static aterm.ATermAppl |
BOTTOM_LIT
|
static aterm.ATermAppl |
TOP
|
static aterm.ATermAppl |
TOP_LIT
|
|
Method Summary |
static aterm.ATermAppl |
all(aterm.ATermAppl r,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
and(aterm.ATermAppl... c)
|
static aterm.ATermAppl |
and(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
static aterm.ATermAppl |
bnode(java.lang.String s)
|
static aterm.ATermAppl |
card(aterm.ATermAppl r,
int n,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
hasValue(aterm.ATermAppl r,
aterm.ATermAppl ind)
|
static aterm.ATermAppl |
inv(aterm.ATermAppl r)
|
static aterm.ATermList |
list(aterm.ATermAppl... args)
|
static aterm.ATermAppl |
literal(java.lang.String value)
|
static aterm.ATermAppl |
max(aterm.ATermAppl r,
int n,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
min(aterm.ATermAppl r,
int n,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
not(aterm.ATermAppl c)
|
static aterm.ATermAppl |
oneOf(aterm.ATermAppl... terms)
|
static aterm.ATermAppl |
or(aterm.ATermAppl... c)
|
static aterm.ATermAppl |
or(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
static aterm.ATermAppl |
plainLiteral(java.lang.String value,
java.lang.String lang)
|
static aterm.ATermAppl |
self(aterm.ATermAppl p)
|
static aterm.ATermAppl |
some(aterm.ATermAppl r,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
term(java.lang.String s)
|
static aterm.ATermAppl |
typedLiteral(java.lang.String value,
java.lang.String dt)
|
static aterm.ATermAppl |
value(aterm.ATermAppl r)
|
static aterm.ATermAppl |
var(java.lang.String s)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TOP
public static final aterm.ATermAppl TOP
BOTTOM
public static final aterm.ATermAppl BOTTOM
TOP_LIT
public static final aterm.ATermAppl TOP_LIT
BOTTOM_LIT
public static final aterm.ATermAppl BOTTOM_LIT
TermFactory
public TermFactory()
term
public static aterm.ATermAppl term(java.lang.String s)
bnode
public static aterm.ATermAppl bnode(java.lang.String s)
var
public static aterm.ATermAppl var(java.lang.String s)
list
public static aterm.ATermList list(aterm.ATermAppl... args)
not
public static aterm.ATermAppl not(aterm.ATermAppl c)
all
public static aterm.ATermAppl all(aterm.ATermAppl r,
aterm.ATermAppl c)
some
public static aterm.ATermAppl some(aterm.ATermAppl r,
aterm.ATermAppl c)
min
public static aterm.ATermAppl min(aterm.ATermAppl r,
int n,
aterm.ATermAppl c)
max
public static aterm.ATermAppl max(aterm.ATermAppl r,
int n,
aterm.ATermAppl c)
card
public static aterm.ATermAppl card(aterm.ATermAppl r,
int n,
aterm.ATermAppl c)
inv
public static aterm.ATermAppl inv(aterm.ATermAppl r)
literal
public static aterm.ATermAppl literal(java.lang.String value)
plainLiteral
public static aterm.ATermAppl plainLiteral(java.lang.String value,
java.lang.String lang)
typedLiteral
public static aterm.ATermAppl typedLiteral(java.lang.String value,
java.lang.String dt)
value
public static aterm.ATermAppl value(aterm.ATermAppl r)
and
public static aterm.ATermAppl and(aterm.ATermAppl c1,
aterm.ATermAppl c2)
and
public static aterm.ATermAppl and(aterm.ATermAppl... c)
or
public static aterm.ATermAppl or(aterm.ATermAppl c1,
aterm.ATermAppl c2)
or
public static aterm.ATermAppl or(aterm.ATermAppl... c)
hasValue
public static aterm.ATermAppl hasValue(aterm.ATermAppl r,
aterm.ATermAppl ind)
oneOf
public static aterm.ATermAppl oneOf(aterm.ATermAppl... terms)
self
public static aterm.ATermAppl self(aterm.ATermAppl p)
Copyright © 2004 Evren Sirin. All Rights Reserved.