deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Breaks: ruby-eye (<< 0.7-5.1+)
Depends: swi-prolog-abi-2-68-228ef6d6-408bfff4
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://eyereasoner.github.io/eye/
Installed-Size: '94380'
Maintainer: Jonas Smedegaard <dr@jones.dk>
Package: eye
Priority: optional
Recommends: ca-certificates, curl
Section: science
Version: 1:10.30.11~ds-1
srcpkg_name: eye
srcpkg_version: 1:10.30.11~ds-1