|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.more.orechallenge.MOReReasonerWrapper
public abstract class MOReReasonerWrapper
A simple OWL API based reasoner wrapper (using the MORe reasoner) supporting only classification and class sat.
Field Summary | |
---|---|
protected ThreadMXBean |
bean
|
protected org.semanticweb.owlapi.model.OWLOntology |
ont
|
Constructor Summary | |
---|---|
MOReReasonerWrapper(org.semanticweb.owlapi.model.OWLOntology ont)
Constructor for a simple reasoner wrapper |
Method Summary | |
---|---|
Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> |
classify()
Classify ontology (transitive closure) |
abstract org.semanticweb.owlapi.reasoner.OWLReasoner |
createReasoner()
|
abstract org.semanticweb.owlapi.reasoner.OWLReasoner |
createReasoner(org.semanticweb.owlapi.model.OWLOntology ont)
|
boolean |
isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression c)
Check if given concept is satisfiable. |
boolean |
isSatisfiable2(org.semanticweb.owlapi.model.OWLClassExpression c)
Satisfiability implemented in Reasoner. |
protected static void |
main_method(String[] args,
int reasoner)
|
String |
serializeClassificationResults(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> results,
org.semanticweb.owlapi.model.OWLOntologyManager man,
String outFile)
Serialize classifiation results as an OWL file |
void |
serializeString(String outFile,
String outputString)
Serialize the specified string to the given file |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected org.semanticweb.owlapi.model.OWLOntology ont
protected ThreadMXBean bean
Constructor Detail |
---|
public MOReReasonerWrapper(org.semanticweb.owlapi.model.OWLOntology ont)
ont
- OWL OntologyMethod Detail |
---|
public abstract org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner()
public abstract org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ont)
public Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> classify()
public boolean isSatisfiable2(org.semanticweb.owlapi.model.OWLClassExpression c)
c
- Concept
public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression c)
c
- Concept
public String serializeClassificationResults(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> results, org.semanticweb.owlapi.model.OWLOntologyManager man, String outFile)
results
- Set of inferred subsumptionsman
- OWL Ontology ManagerontDir
- Ontology directoryreasonerName
- Reasoner name
public void serializeString(String outFile, String outputString)
outFile
- Output file pathoutputString
- Output stringprotected static void main_method(String[] args, int reasoner) throws org.semanticweb.owlapi.model.OWLOntologyCreationException
org.semanticweb.owlapi.model.OWLOntologyCreationException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |