public interface OPPLAbstractFactory
| Modifier and Type | Method and Description |
|---|---|
OPPLQuery |
buildNewQuery(ConstraintSystem constraintSystem) |
OPPLScript |
buildOPPLScript(ConstraintSystem constraintSystem,
List<Variable<?>> variables,
OPPLQuery opplQuery,
List<org.semanticweb.owlapi.model.OWLAxiomChange> actions) |
ConstraintSystem |
createConstraintSystem()
Creates a fresh instance of ConstraintSystem
|
org.semanticweb.owlapi.model.IRI |
getDefaultOntologyIRI()
Retrieves a default IRI which will serve the purpose of an Ontology IRI
when the one returned by
this.getOntology() is null. |
ManchesterSyntaxRenderer |
getManchesterSyntaxRenderer(ConstraintSystem cs) |
org.semanticweb.owlapi.model.OWLOntology |
getOntology() |
org.semanticweb.owlapi.model.OWLOntologyManager |
getOntologyManager() |
org.semanticweb.owlapi.model.OWLDataFactory |
getOWLDataFactory() |
org.semanticweb.owlapi.expression.OWLEntityChecker |
getOWLEntityChecker() |
OWLEntityFactory |
getOWLEntityFactory() |
OWLEntityRenderer |
getOWLEntityRenderer(ConstraintSystem cs) |
VariableScopeChecker |
getVariableScopeChecker() |
OPPLScript |
importOPPLScript(OPPLScript opplScript)
Builds an OPPLScript whose content is identical to the input one.
|
org.semanticweb.owlapi.model.OWLOntology getOntology()
org.semanticweb.owlapi.expression.OWLEntityChecker getOWLEntityChecker()
VariableScopeChecker getVariableScopeChecker() throws OPPLException
OPPLException - OPPLExceptionNullReasonerException - if no reasoner is available for checking the scopeOWLEntityRenderer getOWLEntityRenderer(ConstraintSystem cs)
cs - the ConstraintSystem containing the variables. Cannot be
null.NullPointerException - when the input is null.OWLEntityFactory getOWLEntityFactory()
OPPLScript buildOPPLScript(ConstraintSystem constraintSystem, List<Variable<?>> variables, OPPLQuery opplQuery, List<org.semanticweb.owlapi.model.OWLAxiomChange> actions)
constraintSystem - constraintSystemvariables - variablesopplQuery - opplQueryactions - actionsOPPLQuery buildNewQuery(ConstraintSystem constraintSystem)
constraintSystem - constraintSystemConstraintSystem createConstraintSystem()
ManchesterSyntaxRenderer getManchesterSyntaxRenderer(ConstraintSystem cs)
cs - the ConstraintSystem containing all the variable that can be
rendered. Cannot be null.NullPointerException - when the input is null.org.semanticweb.owlapi.model.OWLDataFactory getOWLDataFactory()
org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()
OPPLScript importOPPLScript(OPPLScript opplScript)
opplScript - . The starting OPPL Script whose content will be copied.
Cannot be null.NullPointerException - when the input is null.org.semanticweb.owlapi.model.IRI getDefaultOntologyIRI()
this.getOntology() is null.Copyright © 2015 The University of Manchester. All Rights Reserved.