Skip to content

Releases: johanwk/elot

More complete elot-exporter. Preserve newlines in annotations

24 Mar 15:11
Compare
Choose a tag to compare

Improved elot-exporter: equivalence axioms

22 Mar 11:55
Compare
Choose a tag to compare
v1.0.2

Auto-update README.md from README.org

Initial submission to Melpa

16 Mar 20:35
Compare
Choose a tag to compare

Various improvements made in preparation for package submission.

v0.3 meta-annotations in import and more

12 Mar 22:50
Compare
Choose a tag to compare

The elot-exporter jar now handles annotations on annotations and axioms, and language tags are handled better. Input for elot-exporter can now be URLs, not just files. In ELOT, various less-common cases are handled better.

Make owl converter available

10 Mar 21:33
Compare
Choose a tag to compare
Pre-release

The Java executable elot-exporter-0.2-SNAPSHOT.jar will convert an existing ontology file into an ELOT org-mode file. For example, convert a Turtle file myfile.ttl into ELOT format myfile.org with this command:

java -jar elot-exporter-0.2-SNAPSHOT.jar myfile.ttl > myfile.org

Bug reports and feedback is very welcome.