org.semanticweb.vlog4j.examples.core

Class SkolemVsRestrictedChaseTermination

java.lang.Object

org.semanticweb.vlog4j.examples.core.SkolemVsRestrictedChaseTermination

public class SkolemVsRestrictedChaseTermination
extends Object

This example shows non-termination of the Skolem Chase, versus termination of the Restricted Chase on the same set of rules and facts. Note that the Restricted Chase is the default reasoning algorithm, as it terminates in most cases and generates a smaller number of facts.

Author:

Irina Dragoste

Constructor Summary

Constructors

Constructor and Description
SkolemVsRestrictedChaseTermination()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

SkolemVsRestrictedChaseTermination

public SkolemVsRestrictedChaseTermination()

Method Detail

main

public static void main(String[] args)
                 throws IOException,
                        org.semanticweb.vlog4j.parser.ParsingException

Throws:

IOException

org.semanticweb.vlog4j.parser.ParsingException