This repository contains a growing collection of examples how to use Notation3 built-ins.
The Notation3 built-ins are still a part of current specification development. Don't assume that all examples will be part of the official spec. Check the Notation3 specification for the official list and interpratation of the built-ins.
The examples are based on two lists of Notation3 built-ins:
The examples only use built-ins for which at least one example was found in the EYE or jen3 or CWM project.
Run the code online by copy and pasting into the online Notation3 Editor.
- https://github.com/eyereasoner/eye/blob/master/reasoning/bi/biP.n3
- https://docs.google.com/presentation/d/191Dt3ooe8G8o7uP5eI-ePiFGjAFk5s2okzHrsUHH1OI/edit#slide=id.g1163749ccf3_1_830
- https://n3.restdesc.org
To run the blogic examples check the required EYE version in the file EYE_VERSION