Skip to content

eyereasoner/lingua

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Nov 17, 2024
86d217a · Nov 17, 2024

History

69 Commits
Apr 4, 2024
Nov 17, 2024
Apr 3, 2024
Apr 3, 2024
Apr 2, 2024
Sep 2, 2024
Oct 13, 2024
Apr 3, 2024
Apr 2, 2024
Oct 13, 2024
Apr 3, 2024
Aug 27, 2024

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.