Package com.articulate.sigma.trans

Class CWAUNA

java.lang.Object

com.articulate.sigma.trans.CWAUNA

public class CWAUNA
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static int	axiomIndex

Constructor Summary

Constructors

Constructor	Description
CWAUNA()

Method Summary

Modifier and Type	Method	Description
static String	buildDistinct(Set<String> allArgs)
static String	buildExclusions(KB kb, String rel)	build the big axiom that creates the closed word for each closed relation
static void	main(String[] args)
static List<String>	run(KB kb)	Collect all constants for types (and subclasses) required for ClosedWorldPredicate(s) and their subrelation(s) and assert them as $distinct.
static void	runold(KB kb)	Collect all constants used in ClosedWorldPredicate(s) and their subrelation(s) and assert them as $distinct.
static void	showHelp()

Methods inherited from class java.lang.Object

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

Field Details

axiomIndex

public static int axiomIndex

Constructor Details

CWAUNA

public CWAUNA()

Method Details

buildDistinct

public static String buildDistinct(Set<String> allArgs)

buildExclusions

public static String buildExclusions(KB kb,
 String rel)

build the big axiom that creates the closed word for each closed relation

runold

public static void runold(KB kb)

Collect all constants used in ClosedWorldPredicate(s) and their subrelation(s) and assert them as $distinct.

run

public static List<String> run(KB kb)

Collect all constants for types (and subclasses) required for ClosedWorldPredicate(s) and their subrelation(s) and assert them as $distinct.

showHelp

public static void showHelp()

main

public static void main(String[] args)
                 throws IOException

Throws:

IOException