deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Depends: swi-prolog-nox, swi-prolog-abi-2-68-a4633a75-9fa44fc5
Description: "semantic web reasoning engine\n Euler Yet another proof Engine (EYE)\
\ is a reasoning engine\n supporting the Semantic Web layers.\n It performs semibackward\
\ chaining and it supports Euler paths.\n Via N3 it is interoperable with Cwm.\n\
\ .\n Semibackward chaining\n is backward chaining for rules using <= in N3\n\
\ and forward chaining for rules using => in N3.\n This can be seen in EYE Reasoning.\n\
\ .\n Euler paths are roughly \"don't step in your own steps\"\n which is inspired\
\ by what Leonhard Euler discovered in 1736\n for the K\xF6nigsberg Bridge Problem.\n\
\ EYE sees the rule P => C as P & NOT(C) => C.\n .\n Notation3 (N3) is a shorthand\
\ non-XML serialization\n of Resource Description Framework (RDF) models,\n designed\
\ with human-readability in mind:\n N3 is much more compact and readable than\
\ XML RDF notation.\n .\n Resource Description Framework (RDF) is a standard model\n\
\ for data interchange on the Web."
Homepage: https://josd.github.io/eye/
Installed-Size: '58668'
Maintainer: Jonas Smedegaard <dr@jones.dk>
Package: eye
Priority: optional
Recommends: ca-certificates, curl
Section: science
Version: 22.1201.1601~ds-1
srcpkg_name: eye
srcpkg_version: 22.1201.1601~ds-1