N3Logic · SHACL · Deontic · Epistemic

Logic & Shape Showcase

Focused N3 + SHACL demos. For all 21 logic modalities see Modalities Observatory.

N3Logic Arrows

Strict, defeasible, defeater, and linear rule types parsed by n3_parser.rs and compiled to Webizen norms.

SHACL → SlgOpcode

shacl_compiler.rs emits CheckNodeShape, datatype checks, and Qualia extension opcodes executed in the Webizen VM.

Deontic Contracts

Obligate / permit / forbid norms with DEFEATER_BIT and temporal expiry — guardianship and NDA shapes in deontic_logic.rs.

Epistemic & CogAI

Knowledge, belief, and common-knowledge opcodes plus ACT-R chunk retrieval shapes for neuro-symbolic governance.

Rule editor

Open full playground →

Analysis output

; awaiting N3 input…

Constraint validator

WASM path exercises ShaclCompiler::compile + numeric evaluation for standard SHACL facets.

Constraint Bound Target value

Example shape (Turtle)

@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix q42: <https://webizen.org/q42#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

q42:AdultShape a sh:NodeShape ;
  sh:targetClass q42:Person ;
  sh:property [
    sh:path q42:age ;
    sh:datatype xsd:integer ;
    sh:minInclusive 18 ;
    sh:maxInclusive 120 ;
  ] ;
  sh:property [
    sh:path q42:obligated ;
    sh:minCount 1 ;
    sh:severity sh:Violation ;
  ] .

Full shape enforcement runs on the native daemon after ingest. Browser WASM validates individual constraint facets.

Documentation: SHACL coverage summary · Client extensions · Library shapes · Extension vocabulary · WASM test suite

Native daemon: qualia-cli daemon --dev → shape validation on ingested graphs via POST :4242/query and orchestrator pre/post-flight gates.