search

sourish-rygbee / elk-reasoner

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

Incorrect direct subclasses of owl:Thing #24

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. Open the following ontology in Protege 4.2:

Prefix(:=<www.example.org/top-subclasses#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Ontology(
   SubClassOf(:A :B)
   SubClassOf(:A owl:Thing)
)

2. Choose Reasoner > ELK 0.4.1, and check Reasoner > Start reasoner
3. Go to the Classes tab > Class hierarchy (inferred)
4. Open subclasses of "Thing". 

What is the expected output? What do you see instead?

Both A and B will be displayed as direct subclasses. Only B should because A is 
a subclass of B.

Based on a report by Andreas Steigmiller

Original issue reported on code.google.com by ykazako...@gmail.com on 23 Sep 2013 at 9:04

GoogleCodeExporter commented 8 years ago 
reproduced in a5f9cb71b8533d7a807686274dd153312947b8ea

Original comment by ykazako...@gmail.com on 23 Sep 2013 at 9:31

GoogleCodeExporter commented 8 years ago 
Fixed in 
https://github.com/klinovp/elk/commit/f10fe03b4adf2181b75aa30335ecca51af586f2c

Original comment by pavel.kl...@gmail.com on 30 Oct 2013 at 11:11