Name Date Size

.. 2015-03-30 11:16:16 40

.htaccess 2012-06-05 14:20:45 52

eyeball-fixes.rdf 2012-06-05 14:20:45 309

Makefile 2012-06-05 14:20:45 4.7 KiB

Makefile.vars.template 2012-06-05 14:20:45 268

purl 2012-06-05 14:20:45 7

README 2012-06-05 14:20:45 783

registry-expanded.ntriples 2012-06-05 14:20:45 313.1 KiB

registry-expanded.turtle 2012-06-05 14:20:45 137.1 KiB

registry.rdf 2012-11-13 11:20:11 66.8 KiB

registry.turtle 2012-11-13 11:20:11 32.7 KiB

resource-uris 2012-06-05 14:20:45 4.7 KiB

README

This directory holds a preliminary implementation of the OntoIOp registry, comprising non-exhaustive descriptions of the following things conforming with DOL:
* logics
* ontology languages
* serializations of ontology languages
* logic translations (a.k.a. "ontology language translations")
The registry is implemented as an RDF dataset, using the ontology language description vocabulary found in ../syntax.
If you are reading this file in the public OntoIOp WebDAV repository, and not in the OntoIOp development Subversion repository, some files may be missing.
* registry.turtle: the primary implementation (Turtle syntax)
* registry.rdf: the same exported to RDF/XML
* registry-expanded.turtle: an expanded version of the original dataset, after applying the inference rules