|
|
Henry
HENRY (N3 parser and reasoner for SWI-Prolog)
First
- Where does this name come from?
From Chris Sutton- thanks Chris!
- What are the known limitations?
A lot. Among them: lack of recursive rule support (transitive predicate handling and such...). Check out the issues list. Also look at the illustrative examples of these bugs.
- Is it stable?
Install
- Make sure you have SWI-Prolog installed.
- If you want to query your N3-entailed store using SPARQL, get SeRQL from:
http://e-culture.multimedian.nl/software/ClioPatria.shtml
And put the SeRQL directory in the Henry directory.
Use
- The swicwm.pl script behaves (almost) like the following command line, involving CWM:
$ cwm $1 --think --rdf --data
- From the Prolog command-line, you need to load n3_entailment.pl:
?- [n3_entailment].
You can then load some n3 files using:
?- n3_load('file.n3').
Or some RDF (XML or turtle) files using:
?- rdf_load('file.rdf').
Then, you can compile the N3 rules you have in store using:
?- compile.
Then, the derived statements are accessible through:
?- n3_entailment:rdf(Subject,Predicate,Object).
You can then load some n3 files using:
?- n3_load('file.n3').
Or some RDF (XML or turtle) files using:
?- rdf_load('file.rdf').
Then, you can compile the N3 rules you have in store using:
?- compile.
Then, the derived statements are accessible through:
?- n3_entailment:rdf(Subject,Predicate,Object).
Sign in to add a comment
