com.articulate.sigma

Class KButilities

java.lang.Object

com.articulate.sigma.KButilities

public class KButilities
extends java.lang.Object

Contains utility methods for KBs

Constructor Summary

Constructors

Constructor and Description
KButilities()

Method Summary

Modifier and Type	Method and Description
static void	checkURLs(KB kb)
static void	countRelations(KB kb)
static void	countStringWords(KB kb) Count the number of words in all the strings in a knowledge base
static void	generateRelationList() Note this simply assumes that initial lower case terms are relations.
static void	generateTPTPTestAssertions()
static boolean	instanceOfInstanceP(KB kb) Find all cases of where (instance A B) (instance B C) as well as all cases of where (instance A B) (instance B C) (instance C D).
static boolean	isAttribute(KB kb, java.lang.String term)
static boolean	isClass(KB kb, java.lang.String term)
static boolean	isFunction(KB kb, java.lang.String term)
static boolean	isInstance(KB kb, java.lang.String term)
static boolean	isRelation(KB kb, java.lang.String term)
static void	main(java.lang.String[] args)
static java.util.ArrayList<Formula>	termIntersection(KB kb, java.lang.String term1, java.lang.String term2) Get all formulas that contain both terms.
static void	validatePictureList()
static void	writeDisplayText(KB kb, java.lang.String displayFormatPredicate, java.lang.String displayTermPredicate, java.lang.String language, java.lang.String fname)

Methods inherited from class java.lang.Object

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

Constructor Detail

KButilities

public KButilities()

Method Detail

isRelation

public static boolean isRelation(KB kb,
                                 java.lang.String term)

isFunction

public static boolean isFunction(KB kb,
                                 java.lang.String term)

isAttribute

public static boolean isAttribute(KB kb,
                                  java.lang.String term)

isClass

public static boolean isClass(KB kb,
                              java.lang.String term)

isInstance

public static boolean isInstance(KB kb,
                                 java.lang.String term)

termIntersection

public static java.util.ArrayList<Formula> termIntersection(KB kb,
                                                            java.lang.String term1,
                                                            java.lang.String term2)

Get all formulas that contain both terms.

countRelations

public static void countRelations(KB kb)

checkURLs

public static void checkURLs(KB kb)

validatePictureList

public static void validatePictureList()

instanceOfInstanceP

public static boolean instanceOfInstanceP(KB kb)

Find all cases of where (instance A B) (instance B C) as well as all cases of where (instance A B) (instance B C) (instance C D). Report true if any such cases are found, false otherwise.

writeDisplayText

public static void writeDisplayText(KB kb,
                                    java.lang.String displayFormatPredicate,
                                    java.lang.String displayTermPredicate,
                                    java.lang.String language,
                                    java.lang.String fname)
                             throws java.io.IOException

Throws:

java.io.IOException

generateTPTPTestAssertions

public static void generateTPTPTestAssertions()

generateRelationList

public static void generateRelationList()

Note this simply assumes that initial lower case terms are relations.

countStringWords

public static void countStringWords(KB kb)

Count the number of words in all the strings in a knowledge base

main

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