org.semanticweb.more.orechallenge
Class MOReHermiTReasonerWrapper
java.lang.Object
org.semanticweb.more.orechallenge.MOReReasonerWrapper
org.semanticweb.more.orechallenge.MOReHermiTReasonerWrapper
public class MOReHermiTReasonerWrapper
- extends MOReReasonerWrapper
Method Summary |
org.semanticweb.owlapi.reasoner.OWLReasoner |
createReasoner()
Create a reasoner instance. |
org.semanticweb.owlapi.reasoner.OWLReasoner |
createReasoner(org.semanticweb.owlapi.model.OWLOntology onto)
Create a reasoner instance. |
static void |
main(String[] args)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MOReHermiTReasonerWrapper
public MOReHermiTReasonerWrapper(org.semanticweb.owlapi.model.OWLOntology ont)
createReasoner
public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner()
- Create a reasoner instance. In this case, an instance of MORe using HermiT.
- Specified by:
createReasoner
in class MOReReasonerWrapper
- Returns:
- Reasoner instance
createReasoner
public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology onto)
- Create a reasoner instance. In this case, an instance of MORe using HermiT
- Specified by:
createReasoner
in class MOReReasonerWrapper
- Parameters:
args
- We give a concrete ontology (e.g. module for a given class C)
- Returns:
- Reasoner instance
main
public static void main(String[] args)
throws org.semanticweb.owlapi.model.OWLOntologyCreationException
- Parameters:
args
-
- Throws:
org.semanticweb.owlapi.model.OWLOntologyCreationException
Copyright © 2013. All Rights Reserved.