de.fau.cs.www8.jadeowlcodec.tboxMerging
Class DigAccess

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.tboxMerging.DigAccess

public class DigAccess
extends java.lang.Object

Constructor Summary

DigAccess()

DigAccess(TripleStore tsToCheck)

Method Summary

java.util.List<java.util.Set<Uri.Concept>>	buildConceptHierarchy()
void	checkConsistency()
java.util.Set<Uri.Concept>	getDirectChildren(Uri.Concept c)
java.util.Set<Uri.Role>	getDirectChildrenForRoles(Uri.Role r)
java.lang.String	getTellString(AbsTripleStore absts) Deprecated.
static void	main(java.lang.String[] args)
ReasonerKBHandle	tellABoxIntoReasoner(AssertionSet aBox)
ReasonerKBHandle	tellTSAndABoxIntoReasoner(AssertionSet aBox)
ReasonerKBHandle	tellTSIntoReasoner()
void	Test()

Methods inherited from class java.lang.Object

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

Constructor Detail

DigAccess

public DigAccess(TripleStore tsToCheck)

DigAccess

public DigAccess()

Method Detail

tellTSIntoReasoner

public ReasonerKBHandle tellTSIntoReasoner()

tellTSAndABoxIntoReasoner

public ReasonerKBHandle tellTSAndABoxIntoReasoner(AssertionSet aBox)

tellABoxIntoReasoner

public ReasonerKBHandle tellABoxIntoReasoner(AssertionSet aBox)

checkConsistency

public void checkConsistency()
                      throws ConsistencyException

Throws:

ConsistencyException

getDirectChildren

public java.util.Set<Uri.Concept> getDirectChildren(Uri.Concept c)

getDirectChildrenForRoles

public java.util.Set<Uri.Role> getDirectChildrenForRoles(Uri.Role r)

getTellString

@Deprecated
public java.lang.String getTellString(AbsTripleStore absts)

Deprecated.

buildConceptHierarchy

public java.util.List<java.util.Set<Uri.Concept>> buildConceptHierarchy()

Test

public void Test()

main

public static void main(java.lang.String[] args)