uk.ac.manchester.gong.bong.reasoner
Class ReasonerConnector
java.lang.Object
uk.ac.manchester.gong.bong.reasoner.ReasonerConnector
public class ReasonerConnector
- extends java.lang.Object
This deals with the reasoner, it does the inference, checks the interesting
relationships and puts them in the database.
|
Method Summary |
(package private) static java.util.ArrayList |
compareSets(java.util.HashSet inferredsuperClasses,
java.util.HashSet assertedSuperClasses)
|
static void |
connect(OWLDealer owldealer,
BONGSettings bongsettings,
java.util.ArrayList dissected_classes,
java.lang.String dbtablename)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ReasonerConnector
public ReasonerConnector()
connect
public static void connect(OWLDealer owldealer,
BONGSettings bongsettings,
java.util.ArrayList dissected_classes,
java.lang.String dbtablename)
compareSets
static java.util.ArrayList compareSets(java.util.HashSet inferredsuperClasses,
java.util.HashSet assertedSuperClasses)