uk.ac.manchester.gong.bong.reasoner
Class ReasonerConnector

java.lang.Object
  extended by 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.


Constructor Summary
ReasonerConnector()
           
 
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
 

Constructor Detail

ReasonerConnector

public ReasonerConnector()
Method Detail

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)