[JENA-1016] Typo in owl-b.rules

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: Jena 3.0.1
• Assignee: Andy Seaborne
• Reporter: Marco Brandizi
• Created: 27/Aug/15 12:40
• Updated: 28/Aug/15 11:18
• Resolved: 28/Aug/15 11:18

Description

I think there is a syntax error at https://github.com/apache/jena/blob/master/jena-core/src/main/resources/etc/owl-b.rules#L310:

[sameIndividualAs3: (?X owl:sameAs ?Y), (?X rdf:type owl:Thing), (?Y rdf:type old:Thing)
-> (?X owl:sameIndividualAs ?Y) ]

old:Thing doesn't appear to be any well known class that could make sense here