-
-
-
rs2fol Public
Forked from RebekkaMa/rs2folA tool for RDF surface reasoning using FOL theorem provers
Kotlin UpdatedJun 8, 2024 -
-
-
-
-
-
-
-
-
EasierRDF Public
Forked from w3c/EasierRDFMaking RDF easy enough for average developers
HTML UpdatedSep 25, 2020 -
-
eye Public
Forked from uholzer/euler-proof-engine-debianEuler Yet another proof Engine
-
vocabulary Public
Forked from OpenTransport/vocabularyA vocabulary to describe transport systems
UpdatedJul 30, 2013
{{ message }}