Package: eye (20.1027.2307~ds-1)

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.

This page is also available in the following languages (How to set the default document language):