search

oldray / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

owl:sameAs is not handled as symmetric #24

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. Prepare a set of instance data with an `:a owl:sameAs :b` relation, but no 
`:b owl:sameAs :a` relation. An example is attached as sameas.n3.
2. Use FuXi's setupDescriptionLogicProgramming() to intialize a network on any 
set of TBox data, for example on an empty graph.
3. Materialize inferences from the instance data.

What is the expected output? What do you see instead?
I expect all statements about :a to be "copied" to :b, and vice-versa. Instead, 
I see that the statements about :b are not "copied" to :a.

What version of the product are you using? On what operating system?
cset 781be253fe4b

Please provide any additional information below.
The attached patch (sameas.diff) fixes this for me by introducing an explicit 
rule into `non_DHL_OWL_Semantics` that makes owl:sameAs symmetric. I don't know 
if this is the right way to handle it.

Original issue reported on code.google.com by vfaronov on 1 Aug 2010 at 12:12

Attachments:

GoogleCodeExporter commented 9 years ago 
See: 
- 
http://code.google.com/p/fuxi/source/detail?r=1bcd4562a3d417026718cde9334f19e4c1
24fea4
- 
http://code.google.com/p/fuxi/source/detail?r=97eb5f813a75f4a270f91a7f7b2b38a9bc
32dab9

Original comment by chime...@gmail.com on 2 Aug 2010 at 12:10