uk.ac.manchester.cs.jfact.kernel

Class ExpressionManager

java.lang.Object

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

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	ExpressionManager.ConceptNameCreator
protected static class	ExpressionManager.DataroleNameCreator
protected static class	ExpressionManager.IndividualNameCreator
protected class	ExpressionManager.InverseRoleCache Cache for the inverse roles
protected static class	ExpressionManager.ObjectroleNameCreator

Constructor Summary

Constructors

Constructor and Description
ExpressionManager()

Method Summary

Methods

Modifier and Type	Method and Description
ConceptExpression	and(ConceptExpression C, ConceptExpression D)
ConceptExpression	and(List<Expression> l) get an n-ary conjunction expression; take the arguments from the last argument list
ConceptExpression	bottom() get BOTTOM concept
ConceptExpression	cardinality(int n, DataRoleExpression R, DataExpression E) get exact cardinality restriction wrt number N, a data role R and a data expression E
ConceptExpression	cardinality(int n, ObjectRoleExpression R, ConceptExpression C) get exact cardinality restriction wrt number N, an object role R and a concept C
void	clear()
void	clearNameCache()
void	clearNameCache(NameSet<?> ns)
ObjectRoleComplexExpression	compose(Expression e1, Expression e2)
ObjectRoleComplexExpression	compose(List<Expression> l) get a role chain corresponding to R1 o ...
ConceptExpression	concept(String name) get named concept
DataExpression	dataAnd(List<Expression> l) get an n-ary data conjunction expression
DataExpression	dataBottom() get BOTTOM data element
DataExpression	dataNot(DataExpression E) get negation of a data expression E
DataExpression	dataOneOf(List<Expression> l) get an n-ary data one-of expression
DataExpression	dataOr(List<Expression> l) get an n-ary data disjunction expression
DataRoleExpression	dataRole(String name) get named data role
DataRoleExpression	dataRoleBottom() get BOTTOM data role
DataRoleExpression	dataRoleTop() get TOP data role
DataExpression	dataTop() get TOP data element
ConceptExpression	exists(DataRoleExpression R, DataExpression E) get existential restriction wrt a data role R and a data expression E
ConceptExpression	exists(ObjectRoleExpression R, ConceptExpression C) get existential restriction wrt an object role R and a concept C
ConceptExpression	forall(DataRoleExpression R, DataExpression E) get universal restriction wrt a data role R and a data expression E
ConceptExpression	forall(ObjectRoleExpression R, ConceptExpression C) get universal restriction wrt an object role R and a concept C
String	getDataTop() get basic string data type
IndividualExpression	individual(String name) get named individual
ObjectRoleExpression	inverse(ObjectRoleExpression R)
boolean	isEmptyRole(RoleExpression R)
boolean	isUniversalRole(RoleExpression R)
ConceptExpression	maxCardinality(int n, DataRoleExpression R, DataExpression E) get max cardinality restriction wrt number N, a data role R and a data expression E
ConceptExpression	maxCardinality(int n, ObjectRoleExpression R, ConceptExpression C) get max cardinality restriction wrt number N, an object role R and a concept C
ConceptExpression	minCardinality(int n, DataRoleExpression R, DataExpression E) get min cardinality restriction wrt number N, a data role R and a data expression E
ConceptExpression	minCardinality(int n, ObjectRoleExpression R, ConceptExpression C) get min cardinality restriction wrt number N, an object role R and a concept C
int	nConcepts() get number of registered concepts
int	nDRoles() get number of registered data roles
int	nIndividuals() get number of registered individuals
int	nORoles() get number of registered object roles
ConceptExpression	not(ConceptExpression C) get negation of a concept C
ObjectRoleExpression	objectRole(String name) get named object role
ObjectRoleExpression	objectRoleBottom() get BOTTOM object role
ObjectRoleExpression	objectRoleTop() get TOP object role
ConceptExpression	oneOf(IndividualExpression I)
ConceptExpression	oneOf(List<Expression> l) get an n-ary one-of expression; take the arguments from the last argument list
ConceptExpression	or(ConceptExpression C, ConceptExpression D)
ConceptExpression	or(List<Expression> l) get an n-ary disjunction expression; take the arguments from the last argument list
ObjectRoleComplexExpression	projectFrom(ObjectRoleExpression R, ConceptExpression C) get a expression corresponding to R projected from C
ObjectRoleComplexExpression	projectInto(ObjectRoleExpression R, ConceptExpression C) get a expression corresponding to R projected into C
ConceptExpression	selfReference(ObjectRoleExpression R) get self-reference restriction of an object role R
void	setTopBottomRoles(String topORoleName, String botORoleName, String topDRoleName, String botDRoleName) set Top/Bot properties
ConceptExpression	top() get TOP concept
ConceptExpression	value(DataRoleExpression R, Literal<?> V) get value restriction wrt a data role R and a data value V
ConceptExpression	value(ObjectRoleExpression R, IndividualExpression I) get value restriction wrt an object role R and an individual I

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionManager

public ExpressionManager()

Method Detail

setTopBottomRoles

@PortedFrom(file="tExpressionManager.h",
            name="setTopBottomRoles")
public void setTopBottomRoles(String topORoleName,
                                        String botORoleName,
                                        String topDRoleName,
                                        String botDRoleName)

set Top/Bot properties

clearNameCache

@PortedFrom(file="tExpressionManager.h",
            name="clearNameCache")
public void clearNameCache(NameSet<?> ns)

clearNameCache

@PortedFrom(file="tExpressionManager.h",
            name="clearNameCache")
public void clearNameCache()

isUniversalRole

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

Returns:

true iff R is a top data/object role

isEmptyRole

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

Returns:

true iff R is a bottom data/object role

nConcepts

@PortedFrom(file="tExpressionManager.h",
            name="nConcepts")
public int nConcepts()

get number of registered concepts

nIndividuals

@PortedFrom(file="tExpressionManager.h",
            name="nIndividuals")
public int nIndividuals()

get number of registered individuals

nORoles

@PortedFrom(file="tExpressionManager.h",
            name="nORoles")
public int nORoles()

get number of registered object roles

nDRoles

@PortedFrom(file="tExpressionManager.h",
            name="nDRoles")
public int nDRoles()

get number of registered data roles

top

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

get TOP concept

bottom

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

get BOTTOM concept

concept

@PortedFrom(file="tExpressionManager.h",
            name="concept")
public ConceptExpression concept(String name)

get named concept

not

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

get negation of a concept C

and

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

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

and

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

Returns:

C and D

or

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

Returns:

C or D

or

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

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

oneOf

@PortedFrom(file="tExpressionManager.h",
            name="OneOf")
public ConceptExpression oneOf(List<Expression> l)

get an n-ary one-of expression; take the arguments from the last argument list

inverse

@PortedFrom(file="tExpressionManager.h",
            name="inverse")
public ObjectRoleExpression inverse(ObjectRoleExpression R)

oneOf

@PortedFrom(file="tExpressionManager.h",
            name="OneOf")
public ConceptExpression oneOf(IndividualExpression I)

Returns:

concept {I} for the individual I

selfReference

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

get self-reference restriction of an object role R

value

@PortedFrom(file="tExpressionManager.h",
            name="value")
public ConceptExpression value(ObjectRoleExpression R,
                                         IndividualExpression I)

get value restriction wrt an object role R and an individual I

exists

@PortedFrom(file="tExpressionManager.h",
            name="Exists")
public ConceptExpression exists(ObjectRoleExpression R,
                                          ConceptExpression C)

get existential restriction wrt an object role R and a concept C

forall

@PortedFrom(file="tExpressionManager.h",
            name="Forall")
public ConceptExpression forall(ObjectRoleExpression R,
                                          ConceptExpression C)

get universal restriction wrt an object role R and a concept C

minCardinality

@PortedFrom(file="tExpressionManager.h",
            name="MinCardinality")
public ConceptExpression minCardinality(int n,
                                                  ObjectRoleExpression R,
                                                  ConceptExpression C)

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

maxCardinality

@PortedFrom(file="tExpressionManager.h",
            name="MaxCardinality")
public ConceptExpression maxCardinality(int n,
                                                  ObjectRoleExpression R,
                                                  ConceptExpression C)

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

cardinality

@PortedFrom(file="tExpressionManager.h",
            name="cardinality")
public ConceptExpression cardinality(int n,
                                               ObjectRoleExpression R,
                                               ConceptExpression C)

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

value

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

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

exists

@PortedFrom(file="tExpressionManager.h",
            name="Exists")
public ConceptExpression exists(DataRoleExpression R,
                                          DataExpression E)

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

forall

@PortedFrom(file="tExpressionManager.h",
            name="Forall")
public ConceptExpression forall(DataRoleExpression R,
                                          DataExpression E)

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

minCardinality

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

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

maxCardinality

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

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

cardinality

@PortedFrom(file="tExpressionManager.h",
            name="cardinality")
public ConceptExpression cardinality(int n,
                                               DataRoleExpression R,
                                               DataExpression E)

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

individual

@PortedFrom(file="tExpressionManager.h",
            name="individual")
public IndividualExpression individual(String name)

get named individual

objectRoleTop

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

get TOP object role

objectRoleBottom

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

get BOTTOM object role

objectRole

@PortedFrom(file="tExpressionManager.h",
            name="ObjectRole")
public ObjectRoleExpression objectRole(String name)

get named object role

compose

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

get 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 ObjectRoleComplexExpression compose(Expression e1,
                                                     Expression e2)

projectFrom

@PortedFrom(file="tExpressionManager.h",
            name="ProjectFrom")
public ObjectRoleComplexExpression projectFrom(ObjectRoleExpression R,
                                                         ConceptExpression C)

get a expression corresponding to R projected from C

projectInto

@PortedFrom(file="tExpressionManager.h",
            name="ProjectInto")
public ObjectRoleComplexExpression projectInto(ObjectRoleExpression R,
                                                         ConceptExpression C)

get a expression corresponding to R projected into C

dataRoleTop

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

get TOP data role

dataRoleBottom

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

get BOTTOM data role

dataRole

@PortedFrom(file="tExpressionManager.h",
            name="DataRole")
public DataRoleExpression dataRole(String name)

get named data role

dataTop

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

get TOP data element

dataBottom

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

get BOTTOM data element

getDataTop

@Original
public String getDataTop()

get basic string data type

dataNot

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

get negation of a data expression E

dataAnd

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

get an n-ary data conjunction expression

dataOr

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

get an n-ary data disjunction expression

dataOneOf

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

get an n-ary data one-of expression

clear

@PortedFrom(file="tExpressionManager.h",
            name="clear")
public void clear()