org.coode.oppl

Class ConstraintSystem

java.lang.Object

org.coode.oppl.ConstraintSystem

public class ConstraintSystem
extends Object

Author:

Luigi Iannone

Field Summary

Fields

Modifier and Type	Field and Description
static String	VARIABLE_NAME_INVALID_CHARACTERS_REGEXP
protected org.coode.oppl.ConstraintSystem.VariableSet	variables

Constructor Summary

Constructors

Constructor and Description
ConstraintSystem(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager, OPPLAbstractFactory opplFactory)
ConstraintSystem(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, OPPLAbstractFactory opplAbstractFactory)

Method Summary

Modifier and Type	Method and Description
void	addLeaf(BindingNode bindingNode)
boolean	addLeaf(Variable<?> variable, org.semanticweb.owlapi.model.OWLObject object)
void	clearVariables() clear variables
<O extends org.semanticweb.owlapi.model.OWLObject> GeneratedVariable<O>	createExpressionGeneratedVariable(String name, O expression)
GeneratedVariable<org.semanticweb.owlapi.model.OWLClassExpression>	createIntersectionGeneratedVariable(String name, VariableType<?> type, Collection<? extends Aggregandum<Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>>> operands)
<O extends org.semanticweb.owlapi.model.OWLObject> RegexpGeneratedVariable<? extends O>	createRegexpGeneratedVariable(String name, VariableType<O> type, OPPLFunction<Pattern> patternGeneratingOPPLFunction)
<O extends org.semanticweb.owlapi.model.OWLObject> GeneratedVariable<O>	createStringGeneratedVariable(String name, VariableType<O> type, OPPLFunction<String> value)
GeneratedVariable<org.semanticweb.owlapi.model.OWLClassExpression>	createUnionGeneratedVariable(String name, VariableType<?> type, Collection<? extends Aggregandum<Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>>> operands)
<O extends org.semanticweb.owlapi.model.OWLObject> InputVariable<O>	createVariable(String name, VariableType<O> type, VariableScope<?> variableScope)
<O extends org.semanticweb.owlapi.model.OWLObject> InputVariable<O>	createVariableWithVerifiedName(String name, VariableType<O> type, VariableScope<?> variableScope)
Set<Variable<?>>	getAxiomVariables(org.semanticweb.owlapi.model.OWLAxiom axiom)
Set<GeneratedVariable<?>>	getGeneratedVariables()
Set<InputVariable<?>>	getInputVariables()
Set<BindingNode>	getLeaves()
org.semanticweb.owlapi.model.OWLOntology	getOntology()
org.semanticweb.owlapi.model.OWLOntologyManager	getOntologyManager()
OPPLAbstractFactory	getOPPLFactory()
org.semanticweb.owlapi.reasoner.OWLReasoner	getReasoner()
Variable<?>	getVariable(org.semanticweb.owlapi.model.IRI iri)
Variable<?>	getVariable(String name)
Set<org.semanticweb.owlapi.model.OWLObject>	getVariableBindings(Variable<?> v, RuntimeExceptionHandler runtimeExceptionHandler)
Set<Variable<?>>	getVariables()
void	importVariable(Variable<?> v)
boolean	isGenerated(Variable<?> v)
boolean	isVariable(org.semanticweb.owlapi.model.OWLLiteral node)
boolean	isVariable(org.semanticweb.owlapi.model.OWLObject e)
boolean	isVariableIRI(org.semanticweb.owlapi.model.IRI iri)
void	removeBinding(BindingNode binding)
void	removeVariable(Variable<?> variable)
String	render(Variable<?> variable)
void	reset() clear the leaves
void	setLeaves(Collection<? extends BindingNode> newLeaves)
void	setReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Methods inherited from class java.lang.Object

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

Field Detail

VARIABLE_NAME_INVALID_CHARACTERS_REGEXP

public static final String VARIABLE_NAME_INVALID_CHARACTERS_REGEXP

See Also:

Constant Field Values

variables

protected final org.coode.oppl.ConstraintSystem.VariableSet variables

Constructor Detail

ConstraintSystem

public ConstraintSystem(org.semanticweb.owlapi.model.OWLOntology ontology,
                        org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager,
                        OPPLAbstractFactory opplFactory)

Parameters:

ontology - ontology

ontologyManager - ontologyManager

opplFactory - opplFactory

ConstraintSystem

public ConstraintSystem(org.semanticweb.owlapi.model.OWLOntology ontology,
                        org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager,
                        org.semanticweb.owlapi.reasoner.OWLReasoner reasoner,
                        OPPLAbstractFactory opplAbstractFactory)

Parameters:

ontology - ontology

ontologyManager - ontologyManager

reasoner - reasoner

opplAbstractFactory - opplAbstractFactory

Method Detail

getVariable

public Variable<?> getVariable(String name)

Parameters:

name - name

Returns:

variable for name

createVariable

public <O extends org.semanticweb.owlapi.model.OWLObject> InputVariable<O> createVariable(String name,
                                                                                          VariableType<O> type,
                                                                                          VariableScope<?> variableScope)
                                                                                   throws OPPLException

Type Parameters:

O - variable type

Parameters:

name - name

type - type

variableScope - variableScope

Returns:

input variable

Throws:

OPPLException - OPPLException

createVariableWithVerifiedName

public <O extends org.semanticweb.owlapi.model.OWLObject> InputVariable<O> createVariableWithVerifiedName(String name,
                                                                                                          VariableType<O> type,
                                                                                                          VariableScope<?> variableScope)
                                                                                                   throws OPPLException

Type Parameters:

O - variable type

Parameters:

name - name

type - type

variableScope - variableScope

Returns:

input variable

Throws:

OPPLException - OPPLException

getAxiomVariables

public Set<Variable<?>> getAxiomVariables(org.semanticweb.owlapi.model.OWLAxiom axiom)

Parameters:

axiom - axiom

Returns:

variables for axiom

isVariableIRI

public boolean isVariableIRI(org.semanticweb.owlapi.model.IRI iri)

Parameters:

iri - iri

Returns:

true if uri is a variable

getVariable

public Variable<?> getVariable(org.semanticweb.owlapi.model.IRI iri)

Parameters:

iri - iri

Returns:

variable for iri

isVariable

public boolean isVariable(org.semanticweb.owlapi.model.OWLObject e)

Parameters:

e - e

Returns:

true if desc is a variable

addLeaf

public void addLeaf(BindingNode bindingNode)

Parameters:

bindingNode - bindingNode

getVariableBindings

public Set<org.semanticweb.owlapi.model.OWLObject> getVariableBindings(Variable<?> v,
                                                                       RuntimeExceptionHandler runtimeExceptionHandler)

Parameters:

v - v

runtimeExceptionHandler - runtimeExceptionHandler

Returns:

variable bindings

addLeaf

public boolean addLeaf(Variable<?> variable,
                       org.semanticweb.owlapi.model.OWLObject object)

Parameters:

variable - variable

object - object

Returns:

true if leaf is added

getLeaves

public Set<BindingNode> getLeaves()

Returns:

the leaves

getOPPLFactory

public OPPLAbstractFactory getOPPLFactory()

Returns:

oppl factory

getInputVariables

public Set<InputVariable<?>> getInputVariables()

Returns:

input variables

removeBinding

public void removeBinding(BindingNode binding)

Parameters:

binding - binding

isVariable

public boolean isVariable(org.semanticweb.owlapi.model.OWLLiteral node)

Parameters:

node - node

Returns:

true if node is variable

setLeaves

public void setLeaves(Collection<? extends BindingNode> newLeaves)

Parameters:

newLeaves - newLeaves

setReasoner

public void setReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Parameters:

reasoner - reasoner

getVariables

public Set<Variable<?>> getVariables()

Returns:

all variables

getReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()

Returns:

the reasoner

Throws:

org.semanticweb.owlapi.model.OWLRuntimeException - OWLRuntimeException

createStringGeneratedVariable

public <O extends org.semanticweb.owlapi.model.OWLObject> GeneratedVariable<O> createStringGeneratedVariable(String name,
                                                                                                             VariableType<O> type,
                                                                                                             OPPLFunction<String> value)

Type Parameters:

O - variable type

Parameters:

name - name

type - type

value - value

Returns:

generated variables

getOntology

public org.semanticweb.owlapi.model.OWLOntology getOntology()

Returns:

the ontology

getGeneratedVariables

public Set<GeneratedVariable<?>> getGeneratedVariables()

Returns:

set of generated variables

isGenerated

public boolean isGenerated(Variable<?> v)

Parameters:

v - v

Returns:

true if generated

reset

public void reset()

clear the leaves

removeVariable

public void removeVariable(Variable<?> variable)

Parameters:

variable - variable

createIntersectionGeneratedVariable

public GeneratedVariable<org.semanticweb.owlapi.model.OWLClassExpression> createIntersectionGeneratedVariable(String name,
                                                                                                              VariableType<?> type,
                                                                                                              Collection<? extends Aggregandum<Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>>> operands)

Parameters:

name - name

type - type

operands - operands

Returns:

generated variable

createUnionGeneratedVariable

public GeneratedVariable<org.semanticweb.owlapi.model.OWLClassExpression> createUnionGeneratedVariable(String name,
                                                                                                       VariableType<?> type,
                                                                                                       Collection<? extends Aggregandum<Collection<? extends org.semanticweb.owlapi.model.OWLClassExpression>>> operands)

Parameters:

name - name

type - type

operands - operands

Returns:

generated variable

createRegexpGeneratedVariable

public <O extends org.semanticweb.owlapi.model.OWLObject> RegexpGeneratedVariable<? extends O> createRegexpGeneratedVariable(String name,
                                                                                                                             VariableType<O> type,
                                                                                                                             OPPLFunction<Pattern> patternGeneratingOPPLFunction)

Type Parameters:

O - expression type

Parameters:

name - name

type - type

patternGeneratingOPPLFunction - patternGeneratingOPPLFunction

Returns:

regexp variable

createExpressionGeneratedVariable

public <O extends org.semanticweb.owlapi.model.OWLObject> GeneratedVariable<O> createExpressionGeneratedVariable(String name,
                                                                                                                 O expression)

Type Parameters:

O - expression type

Parameters:

name - name

expression - expression

Returns:

expression generated variable

render

public String render(Variable<?> variable)

Parameters:

variable - variable

Returns:

render

importVariable

public void importVariable(Variable<?> v)

Parameters:

v - v

clearVariables

public void clearVariables()

clear variables

getOntologyManager

public org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()

Returns:

the ontologyManager