search

sourish-rygbee / elk-reasoner

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

ELK crashes when encountering SWRL rule #22

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Running in Protege (not tested elsewhere), ELK complains that SWRL rules cannot 
be converted to ELK axioms. Protege must be restarted. If not supported, could 
SWRL rules be smoothly ignored in the same way that other unsupported axioms 
are?

Thank you.

Original issue reported on code.google.com by balh...@gmail.com on 31 Jul 2013 at 2:15

GoogleCodeExporter commented 9 years ago 
Protege 4.3, ELK 0.4.0.

Original comment by balh...@gmail.com on 31 Jul 2013 at 2:17

GoogleCodeExporter commented 9 years ago 
Thanks for your report!
The problem is reproduced with the ontology:

Prefix(:=<www.example.org>)
Ontology(<www.example.org#swrl-rule-test>
   DLSafeRule(
       Body(
           ClassAtom(:A Variable(:x))
       )
       Head(
           ClassAtom(:B Variable(:x) )
       )
  )
)

Original comment by ykazako...@gmail.com on 31 Jul 2013 at 4:47

GoogleCodeExporter commented 9 years ago 
Fixed in 6ff14f29bb6b5edc6d4be22d4ed4fe1f09820949

Original comment by pavel.kl...@gmail.com on 14 Aug 2013 at 10:53