roxi icon indicating copy to clipboard operation
roxi copied to clipboard

Reactive Reasoning

Results 5 roxi issues
Sort by recently updated
recently updated
newest added

[see example](https://pbonte.github.io/roxi/index.html?view=rq&abox=%3Chttp%3A%2F%2Fexample2.com%2Fa%3E%20%3Chttp%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23type%3E%20%3Chttp%3A%2F%2Fwww.test.be%2Ftest%23SubClass%3E%20.&rules=%40prefix%20test%3A%20%3Chttp%3A%2F%2Fwww.test.be%2Ftest%23%3E.%0A%40prefix%20rdf%3A%20%3Chttp%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23%3E.%0A%7B%3Fs%20rdf%3Atype%20test%3ASubClass.%20%7D%3D%3E%7B%3Fs%20rdf%3Atype%20test%3ASuperType.%7D&query=SELECT%20distinct%20%3Fs%20%3Fp%20%3Fo%20WHERE%20%7B%0A%09%3Fs%20%3Fp%20%3Fo.%0A%7D)

Example: [rule conclusion containing blank nodes](https://pbonte.github.io/roxi/index.html?view=reasoning&abox=%3Chttp%3A%2F%2Fexample2.com%2Fa%3E%20%3Chttp%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23type%3E%20%3Chttp%3A%2F%2Fwww.test.be%2Ftest%23SubClass%3E%20.&rules=%40prefix%20test%3A%20%3Chttp%3A%2F%2Fwww.test.be%2Ftest%23%3E.%0A%40prefix%20rdf%3A%20%3Chttp%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23%3E.%0A%7B%3Fs%20rdf%3Atype%20test%3ASubClass.%20%7D%0A%3D%3E%0A%7B%0A%20%20%3Fs%20rdf%3Atype%20test%3ASuperType.%0A%20%20test%3AA%20test%3Apred%20%5B%0A%20%20%20%20test%3Asub%20test%3AS%0A%20%20%5D%20.%0A%7D) Interestingly, blank nodes do work when put in the ABox.

On [advice from Pieter Colpaert](https://mastodon.social/@pietercolpaert/109513953092380003) posting the question here: If I understand it correctly, you are only using OxRDF, but not the storage part of Oxigraph for roxi. How tricky...

I knew N3 is used as a rule language but I only had a look at stuff like SWRL, RIF & Datalog so far. So I thought can't be that...