uk.ac.manchester.cs.jfact.kernel

Class ExpressionManager

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ExpressionManager

All Implemented Interfaces:

Serializable

@PortedFrom(file="tExpressionManager.h",
            name="TExpressionManager")
public class ExpressionManager
extends Object
implements Serializable

expression factory

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
static ConceptExpression	and(ConceptExpression c, ConceptExpression d)
static ConceptExpression	and(List<ConceptExpression> l)
static ConceptBottom	bottom()
static ConceptExpression	cardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	cardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ObjectRoleComplexExpression	compose(List<ObjectRoleExpression> l)
static ObjectRoleComplexExpression	compose(ObjectRoleExpression e1, ObjectRoleExpression e2)
static DataExpression	dataAnd(List<DataExpression> l)
static DataBottom	dataBottom()
static DataExpression	dataNot(DataExpression rm)
static DataExpression	dataOneOf(List<Literal<?>> l)
static DataExpression	dataOr(List<DataExpression> l)
static DataRoleExpression	dataRoleBottom()
static DataRoleExpression	dataRoleTop()
static DataExpression	dataTop()
static ConceptExpression	exists(DataRoleExpression r, DataExpression e)
static ConceptExpression	exists(ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	forall(DataRoleExpression r, DataExpression e)
static ConceptExpression	forall(ObjectRoleExpression r, ConceptExpression c)
static boolean	isEmptyRole(RoleExpression r)
static boolean	isUniversalRole(RoleExpression r)
static ConceptExpression	maxCardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	maxCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	minCardinality(int n, DataRoleExpression r, DataExpression e)
static ConceptExpression	minCardinality(int n, ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	not(ConceptExpression r)
static ObjectRoleExpression	objectRoleBottom()
static ObjectRoleExpression	objectRoleTop()
static ConceptExpression	or(ConceptExpression c, ConceptExpression d)
static ConceptExpression	or(List<ConceptExpression> l)
static ObjectRoleComplexExpression	projectFrom(ObjectRoleExpression r, ConceptExpression c)
static ObjectRoleComplexExpression	projectInto(ObjectRoleExpression r, ConceptExpression c)
static ConceptExpression	selfReference(ObjectRoleExpression r)
static ConceptTop	top()
static ConceptExpression	value(DataRoleExpression r, Literal<?> v)
static ConceptExpression	value(ObjectRoleExpression r, IndividualExpression i)

Methods inherited from class java.lang.Object

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

Method Detail

isUniversalRole

@PortedFrom(file="tExpressionManager.h",
            name="isUniversalRole")
public static boolean isUniversalRole(RoleExpression r)

Parameters:

r - R

Returns:

true iff R is a top data/object role

isEmptyRole

@PortedFrom(file="tExpressionManager.h",
            name="isEmptyRole")
public static boolean isEmptyRole(RoleExpression r)

Parameters:

r - R

Returns:

true iff R is a bottom data/object role

top

@PortedFrom(file="tExpressionManager.h",
            name="top")
public static ConceptTop top()

Returns:

TOP concept

bottom

@PortedFrom(file="tExpressionManager.h",
            name="bottom")
public static ConceptBottom bottom()

Returns:

BOTTOM concept

not

@PortedFrom(file="tExpressionManager.h",
            name="Not")
public static ConceptExpression not(ConceptExpression r)

Parameters:

r - C

Returns:

negation of a concept C

and

@PortedFrom(file="tExpressionManager.h",
            name="and")
public static ConceptExpression and(List<ConceptExpression> l)

Parameters:

l - l

Returns:

an n-ary conjunction expression; take the arguments from the last argument list

and

@PortedFrom(file="tExpressionManager.h",
            name="and")
public static ConceptExpression and(ConceptExpression c,
                                                                                                     ConceptExpression d)

Parameters:

c - C

d - D

Returns:

C and D

or

@PortedFrom(file="tExpressionManager.h",
            name="or")
public static ConceptExpression or(ConceptExpression c,
                                                                                                   ConceptExpression d)

Parameters:

c - C

d - D

Returns:

C or D

or

@PortedFrom(file="tExpressionManager.h",
            name="or")
public static ConceptExpression or(List<ConceptExpression> l)

Parameters:

l - l

Returns:

an n-ary disjunction expression; take the arguments from the last argument list

selfReference

@PortedFrom(file="tExpressionManager.h",
            name="SelfReference")
public static ConceptExpression selfReference(ObjectRoleExpression r)

Parameters:

r - R

Returns:

self-reference restriction of an object role R

value

@PortedFrom(file="tExpressionManager.h",
            name="value")
public static ConceptExpression value(ObjectRoleExpression r,
                                                                                                         IndividualExpression i)

Parameters:

r - R

i - I

Returns:

value restriction wrt an object role R and an individual I

exists

@PortedFrom(file="tExpressionManager.h",
            name="Exists")
public static ConceptExpression exists(ObjectRoleExpression r,
                                                                                                           ConceptExpression c)

Parameters:

r - R

c - C

Returns:

existential restriction wrt an object role R and a concept C

forall

@PortedFrom(file="tExpressionManager.h",
            name="Forall")
public static ConceptExpression forall(ObjectRoleExpression r,
                                                                                                           ConceptExpression c)

Parameters:

r - R

c - C

Returns:

universal restriction wrt an object role R and a concept C

minCardinality

@PortedFrom(file="tExpressionManager.h",
            name="MinCardinality")
public static ConceptExpression minCardinality(int n,
                                                                                                                           ObjectRoleExpression r,
                                                                                                                           ConceptExpression c)

Parameters:

n - n

r - R

c - C

Returns:

min cardinality restriction wrt number N, an object role R and a concept C

maxCardinality

@PortedFrom(file="tExpressionManager.h",
            name="MaxCardinality")
public static ConceptExpression maxCardinality(int n,
                                                                                                                           ObjectRoleExpression r,
                                                                                                                           ConceptExpression c)

Parameters:

n - n

r - R

c - C

Returns:

max cardinality restriction wrt number N, an object role R and a concept C

cardinality

@PortedFrom(file="tExpressionManager.h",
            name="cardinality")
public static ConceptExpression cardinality(int n,
                                                                                                                     ObjectRoleExpression r,
                                                                                                                     ConceptExpression c)

Parameters:

n - n

r - R

c - C

Returns:

exact cardinality restriction wrt number N, an object role R and a concept C

value

@PortedFrom(file="tExpressionManager.h",
            name="value")
public static ConceptExpression value(DataRoleExpression r,
                                                                                                         Literal<?> v)

Parameters:

r - R

v - V

Returns:

value restriction wrt a data role R and a data value V

exists

@PortedFrom(file="tExpressionManager.h",
            name="Exists")
public static ConceptExpression exists(DataRoleExpression r,
                                                                                                           DataExpression e)

Parameters:

r - R

e - E

Returns:

existential restriction wrt a data role R and a data expression E

forall

@PortedFrom(file="tExpressionManager.h",
            name="Forall")
public static ConceptExpression forall(DataRoleExpression r,
                                                                                                           DataExpression e)

Parameters:

r - R

e - E

Returns:

universal restriction wrt a data role R and a data expression E

minCardinality

@PortedFrom(file="tExpressionManager.h",
            name="MinCardinality")
public static ConceptExpression minCardinality(int n,
                                                                                                                           DataRoleExpression r,
                                                                                                                           DataExpression e)

Parameters:

n - n

r - R

e - E

Returns:

min cardinality restriction wrt number N, a data role R and a data expression E

maxCardinality

@PortedFrom(file="tExpressionManager.h",
            name="MaxCardinality")
public static ConceptExpression maxCardinality(int n,
                                                                                                                           DataRoleExpression r,
                                                                                                                           DataExpression e)

Parameters:

n - n

r - R

e - E

Returns:

max cardinality restriction wrt number N, a data role R and a data expression E

cardinality

@PortedFrom(file="tExpressionManager.h",
            name="cardinality")
public static ConceptExpression cardinality(int n,
                                                                                                                     DataRoleExpression r,
                                                                                                                     DataExpression e)

Parameters:

n - n

r - R

e - E

Returns:

exact cardinality restriction wrt number N, a data role R and a data expression E

objectRoleTop

@PortedFrom(file="tExpressionManager.h",
            name="ObjectRoleTop")
public static ObjectRoleExpression objectRoleTop()

Returns:

TOP object role

objectRoleBottom

@PortedFrom(file="tExpressionManager.h",
            name="ObjectRoleBottom")
public static ObjectRoleExpression objectRoleBottom()

Returns:

BOTTOM object role

compose

@PortedFrom(file="tExpressionManager.h",
            name="Compose")
public static ObjectRoleComplexExpression compose(List<ObjectRoleExpression> l)

Parameters:

l - l

Returns:

a role chain corresponding to R1 o ... o Rn; take the arguments from the last argument list

compose

@PortedFrom(file="tExpressionManager.h",
            name="Compose")
public static ObjectRoleComplexExpression compose(ObjectRoleExpression e1,
                                                                                                                       ObjectRoleExpression e2)

Parameters:

e1 - e1

e2 - e2

Returns:

ObjectRoleChain

projectFrom

@PortedFrom(file="tExpressionManager.h",
            name="ProjectFrom")
public static ObjectRoleComplexExpression projectFrom(ObjectRoleExpression r,
                                                                                                                               ConceptExpression c)

Parameters:

r - R

c - C

Returns:

a expression corresponding to R projected from C

projectInto

@PortedFrom(file="tExpressionManager.h",
            name="ProjectInto")
public static ObjectRoleComplexExpression projectInto(ObjectRoleExpression r,
                                                                                                                               ConceptExpression c)

Parameters:

r - R

c - C

Returns:

a expression corresponding to R projected into C

dataRoleTop

@PortedFrom(file="tExpressionManager.h",
            name="DataRoleTop")
public static DataRoleExpression dataRoleTop()

Returns:

TOP data role

dataRoleBottom

@PortedFrom(file="tExpressionManager.h",
            name="DataRoleBottom")
public static DataRoleExpression dataRoleBottom()

Returns:

BOTTOM data role

dataTop

@PortedFrom(file="tExpressionManager.h",
            name="DataTop")
public static DataExpression dataTop()

Returns:

TOP data element

dataBottom

@PortedFrom(file="tExpressionManager.h",
            name="DataBottom")
public static DataBottom dataBottom()

Returns:

BOTTOM data element

dataNot

@PortedFrom(file="tExpressionManager.h",
            name="DataNot")
public static DataExpression dataNot(DataExpression rm)

Parameters:

rm - E

Returns:

negation of a data expression E

dataAnd

@PortedFrom(file="tExpressionManager.h",
            name="DataAnd")
public static DataExpression dataAnd(List<DataExpression> l)

Parameters:

l - l

Returns:

an n-ary data conjunction expression

dataOr

@PortedFrom(file="tExpressionManager.h",
            name="DataOr")
public static DataExpression dataOr(List<DataExpression> l)

Parameters:

l - l

Returns:

an n-ary data disjunction expression

dataOneOf

@PortedFrom(file="tExpressionManager.h",
            name="DataOneOf")
public static DataExpression dataOneOf(List<Literal<?>> l)

Parameters:

l - l

Returns:

an n-ary data one-of expression