org.semanticweb.more.orechallenge
Class MOReReasonerWrapper

java.lang.Object
  extended by org.semanticweb.more.orechallenge.MOReReasonerWrapper
Direct Known Subclasses:
MOReHermiTReasonerWrapper, MORePelletReasonerWrapper

public abstract class MOReReasonerWrapper
extends Object

Author:
Rafael S. Goncalves
, Ernesto Jimenez Ruiz (adapted to MORe)

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

ont

protected org.semanticweb.owlapi.model.OWLOntology ont

bean

protected ThreadMXBean bean
Constructor Detail

MOReReasonerWrapper

public MOReReasonerWrapper(org.semanticweb.owlapi.model.OWLOntology ont)
Constructor for a simple reasoner wrapper

Parameters:
ont - OWL Ontology
Method Detail

createReasoner

public abstract org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner()

createReasoner

public abstract org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ont)

classify

public Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> classify()
Classify ontology (transitive closure)

Returns:
Set of all inferred atomic subsumptions

isSatisfiable2

public boolean isSatisfiable2(org.semanticweb.owlapi.model.OWLClassExpression c)
Satisfiability implemented in Reasoner. Check if given concept is satisfiable

Parameters:
c - Concept
Returns:

isSatisfiable

public boolean isSatisfiable(org.semanticweb.owlapi.model.OWLClassExpression c)
Check if given concept is satisfiable. Implemented in wrapper.

Parameters:
c - Concept
Returns:
true if concept is satisfiable, false otherwise

serializeClassificationResults

public 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

Parameters:
results - Set of inferred subsumptions
man - OWL Ontology Manager
ontDir - Ontology directory
reasonerName - Reasoner name
Returns:
The file path to where the OWL file was saved

serializeString

public void serializeString(String outFile,
                            String outputString)
Serialize the specified string to the given file

Parameters:
outFile - Output file path
outputString - Output string

main_method

protected static void main_method(String[] args,
                                  int reasoner)
                           throws org.semanticweb.owlapi.model.OWLOntologyCreationException
Throws:
org.semanticweb.owlapi.model.OWLOntologyCreationException


Copyright © 2013. All Rights Reserved.