org.semwebcentral.sweetrules.sweetcr
Class SweetCRUtil

java.lang.Object
  extended byorg.semwebcentral.sweetrules.sweetcr.SweetCRUtil

public class SweetCRUtil
extends java.lang.Object


A utility class for Common Rules 3.3

Modified on: Sep 4, 2004 3:45:55 PM

Author:
Shashidhara K Ganjugunte, Dr. Benjamin Grosof, Dr. Said Tabet, Chitravanu Neogy

Field Summary
private static java.lang.String CANDIDATE_PREDICATE_PARTIALSUFFIX
          The substring for a predicate which is a candidate
private static java.lang.String CLP_NAME_PREDICATE
          The clp_Name predicate generated by CR3.3
private static java.lang.String CNEG_PREDICATE_PREFIX
          Prefix for Classical negation
private static java.lang.String OVER_RIDES_PREDICATE
          The overrides predicate
private static java.lang.String REFUTED_PREDICATE_PARTIALSUFFIX
          Substring for a refuted predicate
private static java.lang.String SKEPTICAL_DEFEAT_PREDICATE_SUFFIX
          Suffix for a skeptically defeated predicate
private static java.lang.String UNREFUTED_PREDICATE_SUFFIX
          Suffix for an unrefuted candidate
 
Constructor Summary
SweetCRUtil()
           
 
Method Summary
static boolean isAdornedOrBuiltinDummyPredicate(java.lang.String predicateName)
          Returns true if the given predicate is either an adorned predicate or a builtin dummy predicate like clp_Name
static boolean isAdornedPredicate(java.lang.String predicateName)
          Determines if the predicate name matches any of the patterns of the adorned predicates produced by CommonRules or some of the predicates like clp_Name which are dummy and should not by default be part of the conclusions
static boolean isCLPNamePredicate(java.lang.String predicateName)
          Checks if the given predicate name is "clp_Name" this should not be displayed in the output of Jess
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

OVER_RIDES_PREDICATE

private static final java.lang.String OVER_RIDES_PREDICATE
The overrides predicate

See Also:
Constant Field Values

CNEG_PREDICATE_PREFIX

private static final java.lang.String CNEG_PREDICATE_PREFIX
Prefix for Classical negation

See Also:
Constant Field Values

UNREFUTED_PREDICATE_SUFFIX

private static final java.lang.String UNREFUTED_PREDICATE_SUFFIX
Suffix for an unrefuted candidate

See Also:
Constant Field Values

SKEPTICAL_DEFEAT_PREDICATE_SUFFIX

private static final java.lang.String SKEPTICAL_DEFEAT_PREDICATE_SUFFIX
Suffix for a skeptically defeated predicate

See Also:
Constant Field Values

CANDIDATE_PREDICATE_PARTIALSUFFIX

private static final java.lang.String CANDIDATE_PREDICATE_PARTIALSUFFIX
The substring for a predicate which is a candidate

See Also:
Constant Field Values

REFUTED_PREDICATE_PARTIALSUFFIX

private static final java.lang.String REFUTED_PREDICATE_PARTIALSUFFIX
Substring for a refuted predicate

See Also:
Constant Field Values

CLP_NAME_PREDICATE

private static final java.lang.String CLP_NAME_PREDICATE
The clp_Name predicate generated by CR3.3

See Also:
Constant Field Values
Constructor Detail

SweetCRUtil

public SweetCRUtil()
Method Detail

isAdornedOrBuiltinDummyPredicate

public static boolean isAdornedOrBuiltinDummyPredicate(java.lang.String predicateName)
Returns true if the given predicate is either an adorned predicate or a builtin dummy predicate like clp_Name

Parameters:
predicateName - The predicate name to check
Returns:
true if the predicate is either adorned or dummy

isAdornedPredicate

public static boolean isAdornedPredicate(java.lang.String predicateName)
Determines if the predicate name matches any of the patterns of the adorned predicates produced by CommonRules or some of the predicates like clp_Name which are dummy and should not by default be part of the conclusions

Parameters:
predicateName - The name of the predicate to check
Returns:
true if it matches false otherwise

isCLPNamePredicate

public static boolean isCLPNamePredicate(java.lang.String predicateName)
Checks if the given predicate name is "clp_Name" this should not be displayed in the output of Jess

Parameters:
predicateName - The predicate name to check
Returns:
true if the predicate name is same as clp_Name