jdrew.oo
Class Config

java.lang.Object
  jdrew.oo.Config

public class Config

extends java.lang.Object

Title: OO jDREW

Description: Reasoning Engine for the Semantic Web - Supporting OO RuleML 0.88

Copyright: Copyright (c) 2005

Field Summary

static boolean	PRINTANONVARNAMES This variable controls how anonymous varaibles are printed.
static boolean	PRINTGENOIDS This variable controls how system generated oids are printed.
static boolean	PRINTGENSYMS This variable controls how generated symbols (skolem constants) are printed.
static boolean	PRINTVARID This variable controls how Variables are printed.
static boolean	PRPRINT This variable specifies the default output format that is produced when toString() calls are made on Term and DefiniteClause Objects.

Constructor Summary

Config()

Methods inherited from class java.lang.Object

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

Field Detail

PRPRINT

public static boolean PRPRINT

This variable specifies the default output format that is produced when toString() calls are made on Term and DefiniteClause Objects. If this is true then output is in POSL syntax, otherwise RuleML 0.88 is produced.

PRINTVARID

public static boolean PRINTVARID

This variable controls how Variables are printed. If true then the variable name is combined with the variable id in the output, otherwise only the variable name is printed. This is useful as after unification it is possible to have two different variable with the same base name, but the option to disable is there so that the parsing and output libraries can be used to translate from POSL syntax to RuleML 0.88 syntax without chaning the variable names.

PRINTGENSYMS

public static boolean PRINTGENSYMS

This variable controls how generated symbols (skolem constants) are printed. If this is set to true, then the generated symbol is output as a regular constant (eg. $gensym10000 or $gensym10000; in RuleML and POSL respectively). If this is set to false then the generated symbol is output the same as it was input (eg. or _; in RuleML and POSL respectively).

PRINTGENOIDS

public static boolean PRINTGENOIDS

This variable controls how system generated oids are printed. If this is set to true, then the generated symbol is output; with the generated symbol printed as determined by PRINTGENSYMS. If it is set to false then generated oids are completely omitted. This variable does not effect the RuleML output, only POSL; in RuleML the oids are always printed, but generated oids are printed based upon the PRINTGENSYMS variable.

PRINTANONVARNAMES

public static boolean PRINTANONVARNAMES

This variable controls how anonymous varaibles are printed. If this is set to false (the default), then anonymous variables are printed as they are input ( or ?; for RuleML and POSL respectively). If it is set to true then the generated variable name is output (eg. $anonvar1 or ?$ANON1; for RuleML and POSL respectively).

Constructor Detail

Config

public Config()