de.fau.cs.www8.jadeowlcodec.triplestore
Class DigInference

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.triplestore.DigInference

public class DigInference
extends java.lang.Object

Constructor Summary

DigInference()

Method Summary

static boolean

expandABox(TripleStore ts, KnowledgeBase kb) check the triplestore ts against the given knowledgebase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DigInference

public DigInference()

Method Detail

expandABox

public static boolean expandABox(TripleStore ts,
                                 KnowledgeBase kb)

check the triplestore ts against the given knowledgebase

Parameters:

ts -

kb -

Returns:

true if no error occurred