Dave Beckett's blog

My objection to OWL Semantics and Abstract Syntax 2003-06-24

2003-10-28 20:24

My objection to OWL Semantics and Abstract Syntax 2003-06-24.

Since then, several owl syntax checker implementations have been reported complete or nearly complete; the evidence is a little hard to find along with a clear description of how hard it was. Sean Bechhofer's Parsing OWL document lists some of the issues but also notes several limitations (not a complete list) such as not checking all OWL DL/Lite restrictions. From reading the Jena2 OWL syntax checker, there were plenty of comments about tricky/hard checks. This is not something people should have to figure out each time they want to implement OWL.