Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / owl @ master

Name Size
OWL.ml 6.75 KB
OWL.mli 1.54 KB
OWLFunctionalParser.ml 10.7 KB
OWLFunctionalParser.mli 1.28 KB
cool-owl.ml 2.83 KB

Latest revisions

# Date Author Comment
f24367c4 04/06/2017 05:57 PM Hans-Peter Deifel

Add command line flag for fragment

The user can now choose which fragment of the mu-calculus the reasoner
uses. More specialized fragments can have better performance
characteristics.

a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

fb2c1297 07/17/2014 11:28 AM Thorsten Wißmann

Implement OWL axioms DISJOINTUNION and DISJOINTCLASSES

ca99d0c6 05/06/2014 08:30 AM Thorsten Wißmann

Improve OWL -> CoAlg conversion

c78c1ce0 05/06/2014 08:00 AM Thorsten Wißmann

Connect OWL ontologies with CoAlgReasoner

d4d7ef59 05/04/2014 06:29 PM Thorsten Wißmann

Add some basic OWL->CoAlg conversions

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

View revisions

Also available in: Atom