com.articulate.sigma

Class Diagnostics

java.lang.Object

com.articulate.sigma.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

Constructors

Constructor and Description
Diagnostics()

Method Summary

Modifier and Type	Method and Description
static void	addToDoubleMapList(java.util.TreeMap m, java.lang.String key1, java.lang.String key2, java.lang.String value) Add a key to a map and a key, value to the map corresponding to the key.
static void	addToMapList(java.util.TreeMap m, java.lang.String key, java.lang.String value) Add a key to a map and a value to the ArrayList corresponding to the key.
static java.util.ArrayList<java.lang.String>	childrenOfDisjointParents(KB kb) Return a list of terms that have parents which are disjoint.
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 void	main(java.lang.String[] args) Test method for this class.
static java.util.ArrayList<java.lang.String>	membersNotInAnyPartitionClass(KB kb) Returns a list of terms, each of which is an instance of some exhaustively decomposed class but is not an instance of any of the subclasses that constitute the exhaustive decomposition.
static java.lang.String	printTermDependency(KB kb, java.lang.String kbHref) Show file dependencies.
static java.util.ArrayList<Formula>	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<java.lang.String>	termsNotBelowEntity(KB kb) Return a list of terms that do not have Entity as a parent term.
static java.util.ArrayList<java.lang.String>	termsWithMultipleDoc(KB kb) Return a list of terms that have more than one documentation string.
static java.util.ArrayList	termsWithoutDoc(KB kb) Return a list of terms that do not have a documentation string.
static java.util.ArrayList<java.lang.String>	termsWithoutRelation(KB kb, java.lang.String rel, int argnum, int limit, char letter) Return a list of terms (for a given argument position) that do not have a specified relation.
static java.util.ArrayList<java.lang.String>	termsWithoutRules(KB kb) Find all terms which do not appear in any implication (rule).

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

termsWithoutRelation

public static java.util.ArrayList<java.lang.String> termsWithoutRelation(KB kb,
                                                                         java.lang.String rel,
                                                                         int argnum,
                                                                         int limit,
                                                                         char letter)

Return a list of terms (for a given argument position) that do not have a specified relation.

Parameters:

kb - the knowledge base

rel - the relation name

argnum - the argument position of the term

limit - the maximum number of results to return, or -1 if all

letter - the first letter of the term name

termsWithoutDoc

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

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

termsWithMultipleDoc

public static java.util.ArrayList<java.lang.String> termsWithMultipleDoc(KB kb)

Return a list of terms that have more than one documentation string.

termsNotBelowEntity

public static java.util.ArrayList<java.lang.String> termsNotBelowEntity(KB kb)

Return a list of terms that do not have Entity as a parent term.

childrenOfDisjointParents

public static java.util.ArrayList<java.lang.String> childrenOfDisjointParents(KB kb)

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

membersNotInAnyPartitionClass

public static java.util.ArrayList<java.lang.String> membersNotInAnyPartitionClass(KB kb)

Returns a list of terms, each of which is an instance of some exhaustively decomposed class but is not an instance of any of the subclasses that constitute the exhaustive decomposition. For example, given (instance E A) and (partition A B C D), then E is included in the list of terms to be returned if E is not a instance of B, C, or D.

termsWithoutRules

public static java.util.ArrayList<java.lang.String> termsWithoutRules(KB kb)

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

quantifierNotInBody

public static java.util.ArrayList<Formula> 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))

Returns:

an ArrayList of Formula(s).

addToMapList

public static void addToMapList(java.util.TreeMap m,
                                java.lang.String key,
                                java.lang.String value)

Add a key to a map and a value to the ArrayList corresponding to the key. Results are a side effect.

addToDoubleMapList

public static void addToDoubleMapList(java.util.TreeMap m,
                                      java.lang.String key1,
                                      java.lang.String key2,
                                      java.lang.String value)

Add a key to a map and a key, value to the map corresponding to the key. Results are a side effect.

printTermDependency

public static java.lang.String printTermDependency(KB kb,
                                                   java.lang.String kbHref)

Show file dependencies. If two files depend on each other, show only the smaller list of dependencies, under the assumption that that is the erroneous set.

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.

main

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

Test method for this class.