org.semanticweb.more
Class OWL2ReasonerManager
java.lang.Object
org.semanticweb.more.OWL2ReasonerManager
public class OWL2ReasonerManager
- extends Object
Access to an OWL 2 reasoner. So far only HermiT and Pellet
- Author:
- Errnesto
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
OWL2ReasonerManager
public OWL2ReasonerManager()
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.