search

sourish-rygbee / elk-reasoner

Automatically exported from code.google.com/p/elk-reasoner
Apache License 2.0
0 stars 1 forks source link

Grammar incorrectly defined for ObjectOneOf #3

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The grammar for an enumeration of individuals is incorrectly defined.
In semanticweb.elk.owl.parsing.javacc.Owl2FunctionalStyleParser.jj, 8.1.4 
Enumeration of Individuals, defines ObjectOneOf with the two lines:

x = individual() { v.add(x); }
( x = individual() { v.add(x); } )+

when it should read just

( x = individual() { v.add(x); } )+

i.e. without the first line.

This bug currently prevents ELK from classifying FMA-CNS.owl.

Original issue reported on code.google.com by andy...@hotmail.co.uk on 10 Oct 2011 at 7:14

GoogleCodeExporter commented 9 years ago 
I agree. This wil be fixed. Thanks for spotting this!

Original comment by ykazako...@gmail.com on 10 Oct 2011 at 8:03

GoogleCodeExporter commented 9 years ago 
Fixed in r368.

Original comment by frantise...@gmail.com on 12 Oct 2011 at 8:40