org.semanticweb.vlog4j.examples.graal

Class AddDataFromGraal

java.lang.Object

org.semanticweb.vlog4j.examples.graal.AddDataFromGraal

public class AddDataFromGraal
extends Object

This example shows how facts and rules can be imported from objects of the Graal library. Special care must be taken with the import of Graal ConjunctiveQuery-objects, since unlike with VLog4J, they represent both the query atom and the corresponding rule.

In VLog4J, the reasoner is queried by a query Atom and the results are all facts matching this query Atom.
Answering a Graal ConjunctiveQuery over a certain knowledge base is equivalent to adding a Rule to the knowledge base, prior to reasoning. The rule consists of the query Atoms as the Rule body and a single Atom with a fresh predicate containing all the answer variables of the ConjunctiveQuery as the Rule head. After the reasoning process, in which the rule is materialised, is completed, this Rule head can then be used as a a query Atom to obtain the results of the Graal ConjunctiveQuery.

Author:

Adrian Bielefeldt

Constructor Summary

Constructors

Constructor and Description
AddDataFromGraal()

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

AddDataFromGraal

public AddDataFromGraal()

Method Detail

main

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

Throws:

IOException