org.semanticweb.more
Class OWL2ReasonerManager

java.lang.Object
  extended by org.semanticweb.more.OWL2ReasonerManager

public class OWL2ReasonerManager
extends Object

Access to an OWL 2 reasoner. So far only HermiT and Pellet

Author:
Errnesto

Field Summary
static int HERMIT
           
static int JFACT
           
static int PELLET
           
static String[] reasoner_name
           
 
Constructor Summary
OWL2ReasonerManager()
           
 
Method Summary
static org.semanticweb.owlapi.reasoner.OWLReasoner createOWL2ReasonerInstance(org.semanticweb.owlapi.model.OWLOntology onto, int reasonerID)
           
static String getCurrentReasonerName(int reasonerID)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

HERMIT

public static final int HERMIT
See Also:
Constant Field Values

PELLET

public static final int PELLET
See Also:
Constant Field Values

JFACT

public static final int JFACT
See Also:
Constant Field Values

reasoner_name

public static final String[] reasoner_name
Constructor Detail

OWL2ReasonerManager

public OWL2ReasonerManager()
Method Detail

createOWL2ReasonerInstance

public static org.semanticweb.owlapi.reasoner.OWLReasoner createOWL2ReasonerInstance(org.semanticweb.owlapi.model.OWLOntology onto,
                                                                                     int reasonerID)

getCurrentReasonerName

public static String getCurrentReasonerName(int reasonerID)


Copyright © 2013. All Rights Reserved.