Package: eye (22.1201.1601~ds-1)

[ Source: eye  ]

Semantisk netræsonnementmotor

Euler Yet another proof Engine (EYE) er en fornuftsmotor, der understøtter Semantic Web-lag. Det udføre semibaglæns kædeopbygning og understøtter Eulerstier. Via N3 kan motoren samarbejde med Cwm.

Semibaglæns kædeopbygning er kædeopbygning for regler via <= i N3 og forlæns kædeopbygning for regler via => i N3. Dette kan ses i EYE Reasoning.

Eulerstier er omtrentlig »træd ikke i dine egne trin« som er inspireret af hvad Leonhard Euler opdagede i 1736 for Königsberg Bridge Problem. EYE ser reglen P => C som P & NOT(C) => C.

Notation3 (N3) er en shorthand ikke-XML serialization af Resource Description Framework-modeller (RDF), designet med tanke på læsevenlighed: N3 er meget mere kompakt og læsevenlig end XML RDF-notation.

Resource Description Framework (RDF) er en standardmodel for dataudveksling på nettet.

Other Packages Related to eye

• dep: swi-prolog-abi-2-68-a4633a75-9fa44fc5

  virtual package provided by swi-prolog-core

• dep: swi-prolog-nox

  ISO/Edinburgh-lignende Prologfortolker - uden X-understøttelse

• rec: ca-certificates

  Fælles CA-certifikater

• rec: curl

  Kommandolinjeværktøj for overførsel af data med adressesyntaks

Download eye

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	3,052.0 kB	58,668.0 kB	[list of files]