Skip to content

eyereasoner/lingua

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

68 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

The lingua reasoner

DOI

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.