org.coode.patterns

Class PatternConstraintSystem

java.lang.Object

org.coode.oppl.ConstraintSystem

org.coode.patterns.PatternConstraintSystem

public class PatternConstraintSystem
extends ConstraintSystem

Author:

Luigi Iannone Jun 19, 2008

Field Summary

Fields

Modifier and Type	Field and Description
static String	THIS_CLASS_VARIABLE_CONSTANT_SYMBOL constant symbol for this class

Fields inherited from class org.coode.oppl.ConstraintSystem

VARIABLE_NAME_INVALID_CHARACTERS_REGEXP, variables

Constructor Summary

Constructors

Constructor and Description
PatternConstraintSystem(ConstraintSystem cs, org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager, AbstractPatternModelFactory f)
PatternConstraintSystem(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, AbstractPatternModelFactory f)

Method Summary

Methods

Modifier and Type	Method and Description
void	addLeaf(BindingNode bindingNode)
boolean	addLeaf(Variable<?> variable, org.semanticweb.owlapi.model.OWLObject object)
void	clearVariables()
<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)
Set<Variable<?>>	getAxiomVariables(org.semanticweb.owlapi.model.OWLAxiom axiom)
Set<GeneratedVariable<?>>	getGeneratedVariables()
Set<InputVariable<?>>	getInputVariables()
Set<BindingNode>	getLeaves()
OPPLAbstractFactory	getOPPLFactory()
AbstractPatternModelFactory	getPatternModelFactory()
Variable<?>	getThisClassVariable()
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	isThisClassVariable(Variable<?> variable)
boolean	isVariable(org.semanticweb.owlapi.model.OWLLiteral node)
boolean	isVariable(org.semanticweb.owlapi.model.OWLObject desc)
boolean	isVariableIRI(org.semanticweb.owlapi.model.IRI uri)
void	removeBinding(BindingNode binding)
void	removeVariable(Variable<?> variable)
String	render(Variable<?> variable)
void	reset()
String	resolvePattern(String patternName, Set<String> visitedPatterns, List<PatternOPPLScript> dependencies, ErrorListener errorListener, List<Object>... args)
String	resolvePatternConstants(String s)
InstantiatedPatternModel	resolvePatternInstantiation(String patternName, Set<String> visitedPatterns, List<PatternOPPLScript> dependencies, ErrorListener errorListener, List<String>... args)
void	setLeaves(Collection<? extends BindingNode> newLeaves)

Methods inherited from class org.coode.oppl.ConstraintSystem

createVariableWithVerifiedName, getOntology, getOntologyManager, getReasoner, setReasoner

Methods inherited from class java.lang.Object

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

Field Detail

THIS_CLASS_VARIABLE_CONSTANT_SYMBOL

public static final String THIS_CLASS_VARIABLE_CONSTANT_SYMBOL

constant symbol for this class

See Also:

Constant Field Values

Constructor Detail

PatternConstraintSystem

public PatternConstraintSystem(ConstraintSystem cs,
                       org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager,
                       AbstractPatternModelFactory f)

Parameters:

cs - cs

ontologyManager - ontologyManager

f - f

PatternConstraintSystem

public PatternConstraintSystem(org.semanticweb.owlapi.model.OWLOntology ontology,
                       org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager,
                       org.semanticweb.owlapi.reasoner.OWLReasoner reasoner,
                       AbstractPatternModelFactory f)

Parameters:

ontology - ontology

ontologyManager - ontologyManager

reasoner - reasoner

f - f

Method Detail

createVariable

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

Overrides:

createVariable in class ConstraintSystem

Throws:

OPPLException

getThisClassVariable

public Variable<?> getThisClassVariable()

Returns:

variable for this class

getVariable

public Variable<?> getVariable(String name)

Overrides:

getVariable in class ConstraintSystem

getVariable

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

Overrides:

getVariable in class ConstraintSystem

isVariableIRI

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

Overrides:

isVariableIRI in class ConstraintSystem

resolvePatternConstants

public String resolvePatternConstants(String s)

Parameters:

s - s

Returns:

resolved pattern constants

isThisClassVariable

public boolean isThisClassVariable(Variable<?> variable)

Parameters:

variable - variable

Returns:

true if variable is this class variable

getVariables

public Set<Variable<?>> getVariables()

Overrides:

getVariables in class ConstraintSystem

resolvePattern

public String resolvePattern(String patternName,
                    Set<String> visitedPatterns,
                    List<PatternOPPLScript> dependencies,
                    ErrorListener errorListener,
                    List<Object>... args)
                      throws PatternException

Parameters:

patternName - patternName

visitedPatterns - visitedPatterns

dependencies - dependencies

errorListener - errorListener

args - args

Returns:

resolved pattern

Throws:

PatternException - PatternException

resolvePatternInstantiation

public InstantiatedPatternModel resolvePatternInstantiation(String patternName,
                                                   Set<String> visitedPatterns,
                                                   List<PatternOPPLScript> dependencies,
                                                   ErrorListener errorListener,
                                                   List<String>... args)
                                                     throws PatternException

Parameters:

patternName - patternName

visitedPatterns - visitedPatterns

dependencies - dependencies

errorListener - errorListener

args - args

Returns:

instantiated pattern

Throws:

PatternException - PatternException

createStringGeneratedVariable

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

Overrides:

createStringGeneratedVariable in class ConstraintSystem

removeVariable

public void removeVariable(Variable<?> variable)

Overrides:

removeVariable in class ConstraintSystem

createIntersectionGeneratedVariable

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

Overrides:

createIntersectionGeneratedVariable in class ConstraintSystem

createUnionGeneratedVariable

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

Overrides:

createUnionGeneratedVariable in class ConstraintSystem

getInputVariables

public Set<InputVariable<?>> getInputVariables()

Overrides:

getInputVariables in class ConstraintSystem

render

public String render(Variable<?> variable)

Overrides:

render in class ConstraintSystem

createRegexpGeneratedVariable

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

Overrides:

createRegexpGeneratedVariable in class ConstraintSystem

importVariable

public void importVariable(Variable<?> v)

Overrides:

importVariable in class ConstraintSystem

clearVariables

public void clearVariables()

Overrides:

clearVariables in class ConstraintSystem

getPatternModelFactory

public AbstractPatternModelFactory getPatternModelFactory()

Returns:

pattern model factory

getAxiomVariables

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

Overrides:

getAxiomVariables in class ConstraintSystem

isVariable

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

Overrides:

isVariable in class ConstraintSystem

addLeaf

public void addLeaf(BindingNode bindingNode)

Overrides:

addLeaf in class ConstraintSystem

getVariableBindings

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

Overrides:

getVariableBindings in class ConstraintSystem

addLeaf

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

Overrides:

addLeaf in class ConstraintSystem

getLeaves

public Set<BindingNode> getLeaves()

Overrides:

getLeaves in class ConstraintSystem

getOPPLFactory

public OPPLAbstractFactory getOPPLFactory()

Overrides:

getOPPLFactory in class ConstraintSystem

removeBinding

public void removeBinding(BindingNode binding)

Overrides:

removeBinding in class ConstraintSystem

isVariable

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

Overrides:

isVariable in class ConstraintSystem

setLeaves

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

Overrides:

setLeaves in class ConstraintSystem

getGeneratedVariables

public Set<GeneratedVariable<?>> getGeneratedVariables()

Overrides:

getGeneratedVariables in class ConstraintSystem

isGenerated

public boolean isGenerated(Variable<?> v)

Overrides:

isGenerated in class ConstraintSystem

reset

public void reset()

Overrides:

reset in class ConstraintSystem

createExpressionGeneratedVariable

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

Overrides:

createExpressionGeneratedVariable in class ConstraintSystem