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