home.social

#notation3 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #notation3, aggregated by home.social.

fetched live
  1. josd @josd ·

    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.

    github.com/eyereasoner/eyeling

    #notation3 #n3 #semanticweb #linkeddata #javascript #reasoning