Pakiet: eye (22.0203.1955~ds-1build1)
Odnośniki dla eye
Zasoby systemu Trisquel:
- Install using apturl
- Entry at directory.fsf.org
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego eye:
- [eye_22.0203.1955~ds-1build1.dsc]
- [eye_22.0203.1955~ds.orig.tar.xz]
- [eye_22.0203.1955~ds-1build1.debian.tar.xz]
Opiekun:
Original Maintainer:
- Jonas Smedegaard
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
semantic web reasoning engine
Euler Yet another proof Engine (EYE) is a reasoning engine supporting the Semantic Web layers. It performs semibackward chaining and it supports Euler paths. Via N3 it is interoperable with Cwm.
Semibackward chaining is backward chaining for rules using <= in N3 and forward chaining for rules using => in N3. This can be seen in EYE Reasoning.
Euler paths are roughly "don't step in your own steps" which is inspired by what Leonhard Euler discovered in 1736 for the Königsberg Bridge Problem. EYE sees the rule P => C as P & NOT(C) => C.
Notation3 (N3) is a shorthand non-XML serialization of Resource Description Framework (RDF) models, designed with human-readability in mind: N3 is much more compact and readable than XML RDF notation.
Resource Description Framework (RDF) is a standard model for data interchange on the Web.
Inne pakiety związane z eye
|
|
|
-
- dep: swi-prolog-abi-2-68-7b9ca4e2-9fa44fc5
- pakiet wirtualny udostępniany przez swi-prolog-core
-
- dep: swi-prolog-nox
- ISO/Edinburgh-style Prolog interpreter - without X support
-
- rec: ca-certificates
- Common CA certificates
-
- rec: curl
- command line tool for transferring data with URL syntax
Pobieranie eye
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
all | 1 929,9 KiB | 29408 KiB | [lista plików] |