Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / owl / OWLFunctionalParser.ml @ master

History | View | Annotate | Download (10.7 KB)

# Date Author Comment
a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

4611a507 05/04/2014 05:50 PM Thorsten Wißmann

Parse URIs within < >

c4abe601 05/04/2014 05:38 PM Thorsten Wißmann

Improve error messages and role parsing

38a9d3cf 05/04/2014 04:40 PM Thorsten Wißmann

Parse basic OWL Annotations

54b29b1f 05/04/2014 02:53 PM Thorsten Wißmann

Parse most of the owl class expressions

ff936590 04/23/2014 10:08 PM Thorsten Wißmann

Parse OWL prefixes

6261fa28 04/23/2014 09:00 PM Thorsten Wißmann

Advanced tree parsing and ontology printing

7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend