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

Methods

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 E)
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 String	getDataTop()
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 C)
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")
@Nonnull
public static ConceptTop top()

Returns:

TOP concept

bottom

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

Returns:

BOTTOM concept

not

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

Parameters:

C - C

Returns:

negation of a concept C

and

@PortedFrom(file="tExpressionManager.h",
            name="and")
@Nonnull
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")
@Nonnull
public static ConceptExpression and(@Nonnull
                                               ConceptExpression C,
                                               @Nonnull
                                               ConceptExpression D)

Parameters:

C - C

D - D

Returns:

C and D

or

@PortedFrom(file="tExpressionManager.h",
            name="or")
@Nonnull
public static ConceptExpression or(ConceptExpression C,
                                              ConceptExpression D)

Parameters:

C - C

D - D

Returns:

C or D

or

@PortedFrom(file="tExpressionManager.h",
            name="or")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
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")
@Nonnull
public static ObjectRoleExpression objectRoleTop()

Returns:

TOP object role

objectRoleBottom

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

Returns:

BOTTOM object role

compose

@PortedFrom(file="tExpressionManager.h",
            name="Compose")
@Nonnull
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")
@Nonnull
public static ObjectRoleComplexExpression compose(ObjectRoleExpression e1,
                                                             ObjectRoleExpression e2)

Parameters:

e1 - e1

e2 - e2

Returns:

ObjectRoleChain

projectFrom

@PortedFrom(file="tExpressionManager.h",
            name="ProjectFrom")
@Nonnull
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")
@Nonnull
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")
@Nonnull
public static DataRoleExpression dataRoleTop()

Returns:

TOP data role

dataRoleBottom

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

Returns:

BOTTOM data role

dataTop

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

Returns:

TOP data element

dataBottom

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

Returns:

BOTTOM data element

getDataTop

@Original
@Nonnull
public static String getDataTop()

Returns:

basic string data type

dataNot

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

Parameters:

E - E

Returns:

negation of a data expression E

dataAnd

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

Parameters:

l - l

Returns:

an n-ary data conjunction expression

dataOr

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

Parameters:

l - l

Returns:

an n-ary data disjunction expression

dataOneOf

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

Parameters:

l - l

Returns:

an n-ary data one-of expression