|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.clarkparsia.pellet.utils.TermFactory
public class TermFactory
Field Summary | |
---|---|
static aterm.ATermAppl |
BOTTOM
|
static aterm.ATermAppl |
BOTTOM_DATA_PROPERTY
|
static aterm.ATermAppl |
BOTTOM_LIT
|
static aterm.ATermAppl |
BOTTOM_OBJECT_PROPERTY
|
static aterm.ATermAppl |
TOP
|
static aterm.ATermAppl |
TOP_DATA_PROPERTY
|
static aterm.ATermAppl |
TOP_LIT
|
static aterm.ATermAppl |
TOP_OBJECT_PROPERTY
|
Constructor Summary | |
---|---|
TermFactory()
|
Method Summary | |
---|---|
static aterm.ATermAppl |
all(aterm.ATermAppl r,
aterm.ATermAppl c)
Create an all values restriction. |
static aterm.ATermAppl |
and(aterm.ATermAppl... c)
|
static aterm.ATermAppl |
and(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
static aterm.ATermAppl |
bnode(java.lang.String anonID)
Create a term that corresponds to a bnode (anonymous term). |
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.ATermAppl |
length(aterm.ATermAppl facetValue)
|
static aterm.ATermList |
list(aterm.ATermAppl... args)
Create a list of terms. |
static aterm.ATermAppl |
literal(boolean value)
Create a typed literal with xsd:boolean datatype. |
static aterm.ATermAppl |
literal(byte value)
Create a typed literal with xsd:byte datatype. |
static aterm.ATermAppl |
literal(double value)
Create a typed literal with xsd:double datatype. |
static aterm.ATermAppl |
literal(float value)
Create a typed literal with xsd:float datatype. |
static aterm.ATermAppl |
literal(int value)
Create a typed literal with xsd:integer datatype. |
static aterm.ATermAppl |
literal(long value)
Create a typed literal with xsd:long datatype. |
static aterm.ATermAppl |
literal(short value)
Create a typed literal with xsd:short datatype. |
static aterm.ATermAppl |
literal(java.lang.String value)
Create an untyped plain literal with no language tag. |
static aterm.ATermAppl |
literal(java.lang.String value,
aterm.ATermAppl datatype)
Create a typed literal with given lexical form and datatypes. |
static aterm.ATermAppl |
literal(java.lang.String value,
java.lang.String lang)
Create an untyped plain literal with the given language tag. |
static aterm.ATermAppl |
literal(java.net.URI value)
Create a typed literal with xsd:anyURI datatype. |
static aterm.ATermAppl |
max(aterm.ATermAppl r,
int n,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
maxExclusive(aterm.ATermAppl facetValue)
|
static aterm.ATermAppl |
maxInclusive(aterm.ATermAppl facetValue)
|
static aterm.ATermAppl |
maxLength(aterm.ATermAppl facetValue)
|
static aterm.ATermAppl |
min(aterm.ATermAppl r,
int n,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
minExclusive(aterm.ATermAppl facetValue)
|
static aterm.ATermAppl |
minInclusive(aterm.ATermAppl facetValue)
|
static aterm.ATermAppl |
minLength(aterm.ATermAppl facetValue)
|
static aterm.ATermAppl |
not(aterm.ATermAppl c)
Create a negated term. |
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 |
pattern(aterm.ATermAppl facetValue)
|
static aterm.ATermAppl |
plainLiteral(java.lang.String value,
java.lang.String lang)
Deprecated. Use literal(String, String) instead |
static aterm.ATermAppl |
restrict(aterm.ATermAppl baseDatatype,
aterm.ATermAppl... restrictions)
|
static aterm.ATermAppl |
self(aterm.ATermAppl p)
|
static aterm.ATermAppl |
some(aterm.ATermAppl r,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
term(java.lang.String name)
Create a named term. |
static aterm.ATermAppl |
typedLiteral(java.lang.String value,
aterm.ATermAppl dt)
Deprecated. Use literal(String, ATermAppl) instead |
static aterm.ATermAppl |
typedLiteral(java.lang.String value,
java.lang.String dt)
Deprecated. Use literal(String, ATermAppl) instead |
static aterm.ATermAppl |
value(aterm.ATermAppl r)
|
static aterm.ATermAppl |
var(java.lang.String name)
Create a variable temr with the given name. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final aterm.ATermAppl TOP
public static final aterm.ATermAppl BOTTOM
public static final aterm.ATermAppl TOP_LIT
public static final aterm.ATermAppl BOTTOM_LIT
public static final aterm.ATermAppl TOP_DATA_PROPERTY
public static final aterm.ATermAppl BOTTOM_DATA_PROPERTY
public static final aterm.ATermAppl TOP_OBJECT_PROPERTY
public static final aterm.ATermAppl BOTTOM_OBJECT_PROPERTY
Constructor Detail |
---|
public TermFactory()
Method Detail |
---|
public static aterm.ATermAppl term(java.lang.String name)
name
- name of the term
public static aterm.ATermAppl bnode(java.lang.String anonID)
anonID
- is of the anonymous terms
public static aterm.ATermAppl var(java.lang.String name)
name
- name of the variable
public static aterm.ATermList list(aterm.ATermAppl... args)
args
- elements of thre list
public static aterm.ATermAppl not(aterm.ATermAppl c)
c
- Term to be negated
public static aterm.ATermAppl all(aterm.ATermAppl r, aterm.ATermAppl c)
r
- property termc
- class or datatype term
public static aterm.ATermAppl some(aterm.ATermAppl r, aterm.ATermAppl c)
public static aterm.ATermAppl min(aterm.ATermAppl r, int n, aterm.ATermAppl c)
public static aterm.ATermAppl max(aterm.ATermAppl r, int n, aterm.ATermAppl c)
public static aterm.ATermAppl card(aterm.ATermAppl r, int n, aterm.ATermAppl c)
public static aterm.ATermAppl inv(aterm.ATermAppl r)
public static aterm.ATermAppl literal(boolean value)
value
- boolean value
public static aterm.ATermAppl literal(byte value)
value
- byte value
public static aterm.ATermAppl literal(short value)
value
- short value
public static aterm.ATermAppl literal(long value)
value
- long value
public static aterm.ATermAppl literal(int value)
value
- integer value
public static aterm.ATermAppl literal(float value)
value
- float value
public static aterm.ATermAppl literal(double value)
value
- double value
public static aterm.ATermAppl literal(java.net.URI value)
value
- URI value
public static aterm.ATermAppl literal(java.lang.String value)
value
- string value
public static aterm.ATermAppl literal(java.lang.String value, java.lang.String lang)
value
- byte valuelang
- language identifier
public static aterm.ATermAppl literal(java.lang.String value, aterm.ATermAppl datatype)
value
- lexical value of the literaldatatype
- type of the literal
@Deprecated public static aterm.ATermAppl plainLiteral(java.lang.String value, java.lang.String lang)
literal(String, String)
instead
public static aterm.ATermAppl typedLiteral(java.lang.String value, aterm.ATermAppl dt)
literal(String, ATermAppl)
instead
public static aterm.ATermAppl typedLiteral(java.lang.String value, java.lang.String dt)
literal(String, ATermAppl)
instead
public static aterm.ATermAppl value(aterm.ATermAppl r)
public static aterm.ATermAppl and(aterm.ATermAppl c1, aterm.ATermAppl c2)
public static aterm.ATermAppl and(aterm.ATermAppl... c)
public static aterm.ATermAppl or(aterm.ATermAppl c1, aterm.ATermAppl c2)
public static aterm.ATermAppl or(aterm.ATermAppl... c)
public static aterm.ATermAppl hasValue(aterm.ATermAppl r, aterm.ATermAppl ind)
public static aterm.ATermAppl oneOf(aterm.ATermAppl... terms)
public static aterm.ATermAppl self(aterm.ATermAppl p)
public static aterm.ATermAppl minInclusive(aterm.ATermAppl facetValue)
public static aterm.ATermAppl minExclusive(aterm.ATermAppl facetValue)
public static aterm.ATermAppl maxInclusive(aterm.ATermAppl facetValue)
public static aterm.ATermAppl maxExclusive(aterm.ATermAppl facetValue)
public static aterm.ATermAppl minLength(aterm.ATermAppl facetValue)
public static aterm.ATermAppl maxLength(aterm.ATermAppl facetValue)
public static aterm.ATermAppl length(aterm.ATermAppl facetValue)
public static aterm.ATermAppl pattern(aterm.ATermAppl facetValue)
public static aterm.ATermAppl restrict(aterm.ATermAppl baseDatatype, aterm.ATermAppl... restrictions)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |