public interface OWLDebugger
| Modifier and Type | Method and Description |
|---|---|
void |
dispose()
dispose of resources locked such as reasoners
|
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> |
getAllSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls) |
org.semanticweb.owlapi.model.OWLOntology |
getOWLOntology() |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
getSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls) |
org.semanticweb.owlapi.model.OWLOntology getOWLOntology()
throws org.semanticweb.owlapi.model.OWLException
OWLOntology that is being debugged.org.semanticweb.owlapi.model.OWLException - if there is any problemSet<org.semanticweb.owlapi.model.OWLAxiom> getSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls) throws org.semanticweb.owlapi.model.OWLException
cls - The class which is inconsistentorg.semanticweb.owlapi.model.OWLException - if there is any problemSet<Set<org.semanticweb.owlapi.model.OWLAxiom>> getAllSOSForIncosistentClass(org.semanticweb.owlapi.model.OWLClassExpression cls) throws org.semanticweb.owlapi.model.OWLException
cls - the inconsistent classorg.semanticweb.owlapi.model.OWLException - if there is any problemvoid dispose()
Copyright © 2013 The University of Manchester. All Rights Reserved.