de.fau.cs.www8.jadeowlcodec
Class BooleanDigNodeHandling

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

public class BooleanDigNodeHandling
extends java.lang.Object

information about a given DIG subtree containing some class description for domain of a property and similar things as usual this is local to a TBoxVersion

Author:

Ulf Schreiber

Method Summary

static BooleanDigNodeHandling	externallyMergeAnd(BooleanDigNodeHandling a, BooleanDigNodeHandling b)
static BooleanDigNodeHandling	externallyMergeAnd(java.util.Set<BooleanDigNodeHandling> items)
java.util.Set<Uri.Concept>	getDefinitive()
java.lang.String	getDigClassExpression() returns the parsed DIG class description, or null if the "definite" class memberships are sufficient
java.util.Set<Uri.Concept>	getNamedParents(ReasonerKBHandle rkbh) ask the reasoner for "parents" of this expression
java.util.Set<Uri.Concept>	getNot()
java.util.Set<Uri.Concept>	getPossible()
static java.util.Set<BooleanDigNodeHandling>	parseTolerant(org.w3c.dom.NodeList elements, ReasonerKBHandle kb, TBoxVersion tboxVersion)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

parseTolerant

public static java.util.Set<BooleanDigNodeHandling> parseTolerant(org.w3c.dom.NodeList elements,
                                                                  ReasonerKBHandle kb,
                                                                  TBoxVersion tboxVersion)

externallyMergeAnd

public static BooleanDigNodeHandling externallyMergeAnd(BooleanDigNodeHandling a,
                                                        BooleanDigNodeHandling b)

externallyMergeAnd

public static BooleanDigNodeHandling externallyMergeAnd(java.util.Set<BooleanDigNodeHandling> items)

getDefinitive

public java.util.Set<Uri.Concept> getDefinitive()

getNot

public java.util.Set<Uri.Concept> getNot()

getPossible

public java.util.Set<Uri.Concept> getPossible()

getDigClassExpression

public java.lang.String getDigClassExpression()

returns the parsed DIG class description, or null if the "definite" class memberships are sufficient

getNamedParents

public java.util.Set<Uri.Concept> getNamedParents(ReasonerKBHandle rkbh)

ask the reasoner for "parents" of this expression

Returns:

empy set if all is "Top"

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object