uk.ac.manchester.cs.jfact.kernel

Class ExpressionCache

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ExpressionCache

All Implemented Interfaces:

Serializable

public class ExpressionCache
extends Object
implements Serializable

Cache for expressions. This is the only stateful part of ExpressionManager

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExpressionCache()

Method Summary

Modifier and Type	Method and Description
void	clear() clear the maps
void	clearNameCache() clear name caches
ConceptName	concept(org.semanticweb.owlapi.model.OWLEntity name)
DataRoleName	dataRole(org.semanticweb.owlapi.model.OWLEntity name)
IndividualName	individual(org.semanticweb.owlapi.model.OWLEntity name)
ObjectRoleExpression	inverse(ObjectRoleExpression r)
int	nConcepts()
int	nDRoles()
int	nIndividuals()
int	nORoles()
ObjectRoleName	objectRole(org.semanticweb.owlapi.model.OWLEntity name)
ConceptExpression	oneOf(IndividualExpression i)
ConceptExpression	oneOf(List<IndividualExpression> l)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionCache

public ExpressionCache()

Method Detail

concept

@PortedFrom(file="tExpressionManager.h",
            name="concept")
public ConceptName concept(org.semanticweb.owlapi.model.OWLEntity name)

Parameters:

name - name

Returns:

named concept

oneOf

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

Parameters:

l - l

Returns:

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)

Parameters:

r - R

Returns:

inverse of object role expression

oneOf

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

Parameters:

i - I

Returns:

concept {I} for the individual I

clearNameCache

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

clear name caches

clear

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

clear the maps

nConcepts

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

Returns:

number of registered concepts

nIndividuals

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

Returns:

number of registered individuals

nORoles

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

Returns:

number of registered object roles

nDRoles

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

Returns:

number of registered data roles

individual

@PortedFrom(file="tExpressionManager.h",
            name="individual")
public IndividualName individual(org.semanticweb.owlapi.model.OWLEntity name)

Parameters:

name - name

Returns:

named individual

objectRole

@PortedFrom(file="tExpressionManager.h",
            name="ObjectRole")
public ObjectRoleName objectRole(org.semanticweb.owlapi.model.OWLEntity name)

Parameters:

name - name

Returns:

named object role

dataRole

@PortedFrom(file="tExpressionManager.h",
            name="DataRole")
public DataRoleName dataRole(org.semanticweb.owlapi.model.OWLEntity name)

Parameters:

name - name

Returns:

named data role