#notation3 — Public Fediverse posts

eyeling — a compact Notation3 (N3) reasoner in JavaScript.

The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.

https://github.com/eyereasoner/eyeling

#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning

eyeling — a compact Notation3 (N3) reasoner in JavaScript.

The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.

https://github.com/eyereasoner/eyeling

#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning

eyeling — a compact Notation3 (N3) reasoner in JavaScript.

The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.

https://github.com/eyereasoner/eyeling

#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning

eyeling — a compact Notation3 (N3) reasoner in JavaScript.

The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.

https://github.com/eyereasoner/eyeling

#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning

eyeling — a compact Notation3 (N3) reasoner in JavaScript.

The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.

https://github.com/eyereasoner/eyeling

#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning