org.semanticweb.more.orechallenge
Class MORePelletReasonerWrapper

java.lang.Object
  extended by org.semanticweb.more.orechallenge.MOReReasonerWrapper
      extended by org.semanticweb.more.orechallenge.MORePelletReasonerWrapper

public class MORePelletReasonerWrapper
extends MOReReasonerWrapper


Field Summary
 
Fields inherited from class org.semanticweb.more.orechallenge.MOReReasonerWrapper
bean, ont
 
Constructor Summary
MORePelletReasonerWrapper(org.semanticweb.owlapi.model.OWLOntology ont)
           
 
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 org.semanticweb.more.orechallenge.MOReReasonerWrapper
classify, isSatisfiable, isSatisfiable2, main_method, serializeClassificationResults, serializeString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MORePelletReasonerWrapper

public MORePelletReasonerWrapper(org.semanticweb.owlapi.model.OWLOntology ont)
Method Detail

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner()
Create a reasoner instance. In this case, an instance of MORe using Pellet

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 Pellet

Specified by:
createReasoner in class MOReReasonerWrapper
Parameters:
onto - 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.