public class ModelContainer extends Object
Constructor and Description |
---|
ModelContainer(org.semanticweb.owlapi.model.OWLOntology tbox)
The container is seeded with a tbox (i.e.
|
ModelContainer(org.semanticweb.owlapi.model.OWLOntology tbox,
org.semanticweb.owlapi.model.OWLOntology abox)
Creates a container with a pre-defined tbox (ontology) and abox (instance store).
|
ModelContainer(org.semanticweb.owlapi.model.OWLOntology tbox,
org.semanticweb.owlapi.model.OWLOntology abox,
org.semanticweb.owlapi.reasoner.OWLReasonerFactory rf)
Creates a container with a pre-defined tbox (ontology) and abox (instance store).
|
ModelContainer(org.semanticweb.owlapi.model.OWLOntology tbox,
org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)
The container is seeded with a tbox (i.e.
|
Modifier and Type | Method and Description |
---|---|
void |
addAxiom(org.semanticweb.owlapi.model.OWLAxiom ax) |
void |
addAxiom(org.semanticweb.owlapi.model.OWLAxiom ax,
org.semanticweb.owlapi.model.OWLOntology ont) |
void |
addAxioms(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axs) |
void |
addAxioms(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axs,
org.semanticweb.owlapi.model.OWLOntology ont) |
void |
applyChanges(List<org.semanticweb.owlapi.model.OWLOntologyChange> changeIRI) |
void |
dispose() |
void |
disposeReasoner()
Release the reasoner
|
org.semanticweb.owlapi.model.OWLOntology |
getAboxOntology()
Note: ABox ontology should import TBox ontology
|
org.semanticweb.owlapi.model.OWLDataFactory |
getOWLDataFactory() |
org.semanticweb.owlapi.model.OWLOntologyManager |
getOWLOntologyManager() |
Set<org.semanticweb.owlapi.model.OWLClass> |
getQueryClasses() |
Map<org.semanticweb.owlapi.model.OWLClass,org.semanticweb.owlapi.model.OWLClassExpression> |
getQueryClassMap(boolean precomputePropertyClassCombinations) |
org.semanticweb.owlapi.model.OWLOntology |
getQueryOntology()
You should not need to use this directly - exposed for debugging
|
org.semanticweb.owlapi.reasoner.OWLReasoner |
getReasoner() |
org.semanticweb.owlapi.model.OWLOntology |
getTboxOntology()
The tbox ontology should contain class axioms used to generate minimal models in the
abox ontology.
|
boolean |
isQueryClass(org.semanticweb.owlapi.model.OWLClass c) |
void |
setAboxOntology(org.semanticweb.owlapi.model.OWLOntology aboxOntology)
Note: ABox ontology should import TBox ontology
|
void |
setReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner) |
void |
setReasonerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)
The reasoner factory is used during initialization to
generate a reasoner object using abox as ontology
|
void |
setTboxOntology(org.semanticweb.owlapi.model.OWLOntology tboxOntology) |
public ModelContainer(org.semanticweb.owlapi.model.OWLOntology tbox) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
tbox
- org.semanticweb.owlapi.model.OWLOntologyCreationException
public ModelContainer(org.semanticweb.owlapi.model.OWLOntology tbox, org.semanticweb.owlapi.model.OWLOntology abox) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
tbox
- abox
- org.semanticweb.owlapi.model.OWLOntologyCreationException
public ModelContainer(org.semanticweb.owlapi.model.OWLOntology tbox, org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
tbox
- reasonerFactory
- org.semanticweb.owlapi.model.OWLOntologyCreationException
public ModelContainer(org.semanticweb.owlapi.model.OWLOntology tbox, org.semanticweb.owlapi.model.OWLOntology abox, org.semanticweb.owlapi.reasoner.OWLReasonerFactory rf) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
tbox
- abox
- rf
- org.semanticweb.owlapi.model.OWLOntologyCreationException
public org.semanticweb.owlapi.model.OWLOntologyManager getOWLOntologyManager()
public org.semanticweb.owlapi.model.OWLDataFactory getOWLDataFactory()
public void disposeReasoner()
public void dispose()
public void setReasonerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory)
reasonerFactory
- public org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()
public void setReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
reasoner
- public org.semanticweb.owlapi.model.OWLOntology getTboxOntology()
public void setTboxOntology(org.semanticweb.owlapi.model.OWLOntology tboxOntology)
tboxOntology
- public org.semanticweb.owlapi.model.OWLOntology getAboxOntology()
public void setAboxOntology(org.semanticweb.owlapi.model.OWLOntology aboxOntology)
aboxOntology
- public org.semanticweb.owlapi.model.OWLOntology getQueryOntology()
public boolean isQueryClass(org.semanticweb.owlapi.model.OWLClass c)
public Set<org.semanticweb.owlapi.model.OWLClass> getQueryClasses()
public void addAxiom(org.semanticweb.owlapi.model.OWLAxiom ax)
public void addAxiom(org.semanticweb.owlapi.model.OWLAxiom ax, org.semanticweb.owlapi.model.OWLOntology ont)
public void addAxioms(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axs)
public void addAxioms(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axs, org.semanticweb.owlapi.model.OWLOntology ont)
public void applyChanges(List<org.semanticweb.owlapi.model.OWLOntologyChange> changeIRI)
public Map<org.semanticweb.owlapi.model.OWLClass,org.semanticweb.owlapi.model.OWLClassExpression> getQueryClassMap(boolean precomputePropertyClassCombinations)
Copyright © 2010–2015. All rights reserved.