public class KButilities
extends java.lang.Object
Constructor and Description |
---|
KButilities() |
Modifier and Type | Method and Description |
---|---|
static void |
checkURLs(KB kb) |
static void |
countRelations(KB kb) |
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) |
public static boolean isRelation(KB kb, java.lang.String term)
public static boolean isFunction(KB kb, java.lang.String term)
public static boolean isAttribute(KB kb, java.lang.String term)
public static boolean isClass(KB kb, java.lang.String term)
public static boolean isInstance(KB kb, java.lang.String term)
public static java.util.ArrayList<Formula> termIntersection(KB kb, java.lang.String term1, java.lang.String term2)
public static void countRelations(KB kb)
public static void checkURLs(KB kb)
public static void validatePictureList()
public static boolean instanceOfInstanceP(KB kb)
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
java.io.IOException
public static void generateTPTPTestAssertions()
public static void generateRelationList()
public static void main(java.lang.String[] args)