public class OPPLFactory extends Object implements OPPLAbstractFactory
| Modifier and Type | Field and Description |
|---|---|
static org.semanticweb.owlapi.model.IRI |
DEFAULT_ONTOLOGY_IRI
ontology iri
|
| Constructor and Description |
|---|
OPPLFactory(org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager,
org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner) |
| Modifier and Type | Method and Description |
|---|---|
OPPLQuery |
buildNewQuery(ConstraintSystem constraintSystem1) |
OPPLScript |
buildOPPLScript(ConstraintSystem constraintSystem1,
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.
|
public static final org.semanticweb.owlapi.model.IRI DEFAULT_ONTOLOGY_IRI
public OPPLFactory(org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager,
org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
ontologyManager - ontologyManagerontology - ontologyreasoner - reasonerpublic org.semanticweb.owlapi.expression.OWLEntityChecker getOWLEntityChecker()
getOWLEntityChecker in interface OPPLAbstractFactorypublic VariableScopeChecker getVariableScopeChecker() throws OPPLException
getVariableScopeChecker in interface OPPLAbstractFactoryOPPLException - OPPLExceptionNullReasonerException - if no reasoner is available for checking the scopepublic OWLEntityRenderer getOWLEntityRenderer(ConstraintSystem cs)
getOWLEntityRenderer in interface OPPLAbstractFactorycs - the ConstraintSystem containing the variables. Cannot be
null.public OWLEntityFactory getOWLEntityFactory()
getOWLEntityFactory in interface OPPLAbstractFactorypublic OPPLScript buildOPPLScript(ConstraintSystem constraintSystem1, List<Variable<?>> variables, OPPLQuery opplQuery, List<org.semanticweb.owlapi.model.OWLAxiomChange> actions)
buildOPPLScript in interface OPPLAbstractFactoryconstraintSystem1 - constraintSystemvariables - variablesopplQuery - opplQueryactions - actionspublic OPPLQuery buildNewQuery(ConstraintSystem constraintSystem1)
buildNewQuery in interface OPPLAbstractFactoryconstraintSystem1 - constraintSystempublic ConstraintSystem createConstraintSystem()
OPPLAbstractFactorycreateConstraintSystem in interface OPPLAbstractFactorypublic org.semanticweb.owlapi.model.OWLDataFactory getOWLDataFactory()
getOWLDataFactory in interface OPPLAbstractFactorypublic ManchesterSyntaxRenderer getManchesterSyntaxRenderer(ConstraintSystem cs)
getManchesterSyntaxRenderer in interface OPPLAbstractFactorycs - the ConstraintSystem containing all the variable that can be
rendered. Cannot be null.public org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()
getOntologyManager in interface OPPLAbstractFactorypublic OPPLScript importOPPLScript(OPPLScript opplScript)
OPPLAbstractFactoryimportOPPLScript in interface OPPLAbstractFactoryopplScript - . The starting OPPL Script whose content will be copied.
Cannot be null.public org.semanticweb.owlapi.model.OWLOntology getOntology()
getOntology in interface OPPLAbstractFactorypublic org.semanticweb.owlapi.model.IRI getDefaultOntologyIRI()
OPPLAbstractFactorythis.getOntology() is null.getDefaultOntologyIRI in interface OPPLAbstractFactoryCopyright © 2015 The University of Manchester. All Rights Reserved.