org.coode.oppl

Interface OPPLQuery

All Superinterfaces:

Renderable

All Known Implementing Classes:

OPPLQueryImpl

public interface OPPLQuery
extends Renderable

Author:

Luigi Iannone

Method Summary

Modifier and Type	Method and Description
void	addAssertedAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
void	addAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)
void	addConstraint(AbstractConstraint constraint)
void	execute(Collection<? extends BindingNode> leaves, RuntimeExceptionHandler runtimeExceptionHandler, ExecutionMonitor executionMonitor)
void	execute(RuntimeExceptionHandler runtimeExceptionHandler, ExecutionMonitor executionMonitor)
List<org.semanticweb.owlapi.model.OWLAxiom>	getAssertedAxioms()
List<org.semanticweb.owlapi.model.OWLAxiom>	getAxioms()
List<AbstractConstraint>	getConstraints()
ConstraintSystem	getConstraintSystem()
String	render()
String	render(org.semanticweb.owlapi.util.ShortFormProvider shortFormProvider)

Methods inherited from interface org.coode.oppl.Renderable

render

Method Detail

addAssertedAxiom

void addAssertedAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Parameters:

axiom - axiom

addAxiom

void addAxiom(org.semanticweb.owlapi.model.OWLAxiom axiom)

Parameters:

axiom - axiom

addConstraint

void addConstraint(AbstractConstraint constraint)

Parameters:

constraint - constraint

getAxioms

List<org.semanticweb.owlapi.model.OWLAxiom> getAxioms()

Returns:

axioms

getAssertedAxioms

List<org.semanticweb.owlapi.model.OWLAxiom> getAssertedAxioms()

Returns:

asserted axioms

getConstraints

List<AbstractConstraint> getConstraints()

Returns:

constraints

render

String render()

Returns:

rendering

getConstraintSystem

ConstraintSystem getConstraintSystem()

Returns:

constraint system

execute

void execute(RuntimeExceptionHandler runtimeExceptionHandler,
             ExecutionMonitor executionMonitor)

Parameters:

runtimeExceptionHandler - runtimeExceptionHandler

executionMonitor - executionMonitor

execute

void execute(Collection<? extends BindingNode> leaves,
             RuntimeExceptionHandler runtimeExceptionHandler,
             ExecutionMonitor executionMonitor)

Parameters:

leaves - leaves

runtimeExceptionHandler - runtimeExceptionHandler

executionMonitor - executionMonitor

render

String render(org.semanticweb.owlapi.util.ShortFormProvider shortFormProvider)

Parameters:

shortFormProvider - shortFormProvider

Returns:

rendering