lingua
The lingua reasoner
Reasoning engine that is using RDF TriG as the web lingua.
See examples and cases and their output
Usage: lingua <options>* <data>*
<options>
--explain explain the reasoning steps
--genid <genid> use <genid> in Skolem IRIs
--help, -h show help info
--output <file> write reasoner output to <file>
--version, -v show version info
--wcache <uri> <file> to tell that <uri> is cached as <file>
<data>
<uri> TriG data
Install and test
git clone https://github.com/eyereasoner/lingua
cd lingua
./install
./test
RDF lingua
RDF TriG as the web lingua using blank node graphs.
Lingua supports reasoning with forward rules described in RDF as
_:bng_1 log:implies _:bng_2.
_:bng_1 {
RDF triples
}
_:bng_2 {
RDF triples
}
A forward rule with log:implies false is an inference fuse.
Lingua also supports reasoning with backward rules described in RDF as
_:bng_1 log:isImpliedBy _:bng_2.
_:bng_1 {
RDF triple
}
_:bng_2 {
RDF triples
}
Lingua also supports querying with queries described in RDF as
_:bng_1 log:query _:bng_2.
_:bng_1 {
RDF triples
}
_:bng_2 {
RDF triples
}
The var: prefix is <http://www.w3.org/2000/10/swap/var#> and is used for
variables that are interpreted as universally quantified variables except for
forward rule conclusion-only variables which are interpreted existentially.
Literal subjects are described as
[] rdf:value "aha"; :p :o.