org.jscience.linguistics.kif
Class Diagnostics

java.lang.Object
  org.jscience.linguistics.kif.Diagnostics

public class Diagnostics
extends java.lang.Object

A class that finds problems in a knowledge base. It is not meant to be instantiated.

Constructor Summary

Diagnostics()

Method Summary

static java.util.ArrayList	childrenOfDisjointParents(KB kb) Return a list of terms that have parents which are disjoint.
static java.util.ArrayList	extraSubclassInPartition(KB kb) Return a list of classes that are subclasses of a partitioned class, which do not appear in the partition listing.
static java.lang.String	kbConsistencyCheck(KB kb) Iterating through all formulas, return a proof of an inconsistent or redundant one, if such a thing exists.
static java.util.ArrayList	quantifierNotInBody(KB kb) Find cases where a variable appears in a quantifier list, but not in the body of the quantified expression.
static java.util.ArrayList	termsWithoutDoc(KB kb) Return a list of terms that do not have a documentation string.
static java.util.ArrayList	termsWithoutParent(KB kb) Return a list of terms that do not have a documentation string.
static java.util.ArrayList	termsWithoutRules(KB kb) Find all terms which do not appear in any implication (rule).
static java.util.ArrayList	unrootedTerms(KB kb) Return a list of terms that do not ultimately subclass from Entity.

Methods inherited from class java.lang.Object

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

Constructor Detail

Diagnostics

public Diagnostics()

Method Detail

termsWithoutDoc

public static java.util.ArrayList termsWithoutDoc(KB kb)

Return a list of terms that do not have a documentation string.

Parameters:

kb - DOCUMENT ME!

Returns:

DOCUMENT ME!

termsWithoutParent

public static java.util.ArrayList termsWithoutParent(KB kb)

Return a list of terms that do not have a documentation string.

Parameters:

kb - DOCUMENT ME!

Returns:

DOCUMENT ME!

childrenOfDisjointParents

public static java.util.ArrayList childrenOfDisjointParents(KB kb)

Return a list of terms that have parents which are disjoint.

Parameters:

kb - DOCUMENT ME!

Returns:

DOCUMENT ME!

extraSubclassInPartition

public static java.util.ArrayList extraSubclassInPartition(KB kb)

Return a list of classes that are subclasses of a partitioned class, which do not appear in the partition listing. For example, (subclass E A), (partition A B C D). "exhaustiveDecomposition" has the same meaning and needs to be checked also.

Parameters:

kb - DOCUMENT ME!

Returns:

DOCUMENT ME!

termsWithoutRules

public static java.util.ArrayList termsWithoutRules(KB kb)

Find all terms which do not appear in any implication (rule).

Parameters:

kb - DOCUMENT ME!

Returns:

DOCUMENT ME!

quantifierNotInBody

public static java.util.ArrayList quantifierNotInBody(KB kb)

Find cases where a variable appears in a quantifier list, but not in the body of the quantified expression. For example (exists (?FOO) (bar ?FLOO Shmoo))

Parameters:

kb - DOCUMENT ME!

Returns:

an ArrayList of Formula(s).

unrootedTerms

public static java.util.ArrayList unrootedTerms(KB kb)

Return a list of terms that do not ultimately subclass from Entity.

Parameters:

kb - DOCUMENT ME!

Returns:

DOCUMENT ME!

kbConsistencyCheck

public static java.lang.String kbConsistencyCheck(KB kb)

Iterating through all formulas, return a proof of an inconsistent or redundant one, if such a thing exists.

Parameters:

kb - DOCUMENT ME!

Returns:

DOCUMENT ME!