Parse URIs within < >
Improve error messages and role parsing
Parse basic OWL Annotations
Parse most of the owl class expressions
Only use addBSNoChk for simple bitsets
Insert a formula into a bitset without checking for a contradiction. Theformer addBS performed a contradiction-check using MiscSolver.arrayNegwhich is a array of size 0 due to not being initialized.
For some reasons this bug only could be triggered when building with...
Compile entiere GMLMIP-0.1 into cool
Move more cpp to c
Print time durations as float
Add coalgcompare frontend
Parse OWL prefixes
Also available in: Atom