de.fau.cs.www8.jadeowlcodec
Class ReasonerKBHandle

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.ReasonerKBHandle

public class ReasonerKBHandle
extends java.lang.Object

a little data structure to keep kb-uris and reasoners together

Author:

Ulf Schreiber

Constructor Summary

ReasonerKBHandle(Reasoner reasoner)

Method Summary

org.w3c.dom.Document	ask(java.lang.String content)
void	close()
static void	closeAllHandles()
Uri.Other	getId()
CompleteCheckResult	getInconsistencyError()
Reasoner	getReasoner()
boolean	isInstanceOf(Uri.Individual individualUri, java.lang.String classDescription)
boolean	isInstanceOf(Uri.Individual individualUri, Uri.Concept classUri) ask reasoner wether an individual individualUri is an instance of classUri
static void	printOpenHandles()
org.w3c.dom.Document	tell(AbsTripleStore content)
org.w3c.dom.Document	tell(java.lang.String content)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReasonerKBHandle

public ReasonerKBHandle(Reasoner reasoner)
                 throws org.kr.dl.dig.reasoner.ReasonerException

Throws:

org.kr.dl.dig.reasoner.ReasonerException

Method Detail

getInconsistencyError

public CompleteCheckResult getInconsistencyError()

Returns:

null if ok

close

public void close()

getId

public Uri.Other getId()

getReasoner

public Reasoner getReasoner()

ask

public org.w3c.dom.Document ask(java.lang.String content)

tell

public org.w3c.dom.Document tell(java.lang.String content)

tell

public org.w3c.dom.Document tell(AbsTripleStore content)

isInstanceOf

public boolean isInstanceOf(Uri.Individual individualUri,
                            Uri.Concept classUri)

ask reasoner wether an individual individualUri is an instance of classUri

Parameters:

individualUri - RDF ID of the individual

classUri - RDF ID of the class

isInstanceOf

public boolean isInstanceOf(Uri.Individual individualUri,
                            java.lang.String classDescription)

closeAllHandles

public static void closeAllHandles()

printOpenHandles

public static void printOpenHandles()