JENA-1016: old: -> owl:
Project: http://git-wip-us.apache.org/repos/asf/jena/repo Commit: http://git-wip-us.apache.org/repos/asf/jena/commit/b3846cbd Tree: http://git-wip-us.apache.org/repos/asf/jena/tree/b3846cbd Diff: http://git-wip-us.apache.org/repos/asf/jena/diff/b3846cbd Branch: refs/heads/JENA-507 Commit: b3846cbd865412e78a894b30b94a4a9d90045d67 Parents: 4fc76dd Author: Andy Seaborne <[email protected]> Authored: Fri Aug 28 12:18:05 2015 +0100 Committer: Andy Seaborne <[email protected]> Committed: Fri Aug 28 12:18:05 2015 +0100 ---------------------------------------------------------------------- jena-core/src/main/resources/etc/owl-b.rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) ---------------------------------------------------------------------- http://git-wip-us.apache.org/repos/asf/jena/blob/b3846cbd/jena-core/src/main/resources/etc/owl-b.rules ---------------------------------------------------------------------- diff --git a/jena-core/src/main/resources/etc/owl-b.rules b/jena-core/src/main/resources/etc/owl-b.rules index 86c2d4a..1680c78 100644 --- a/jena-core/src/main/resources/etc/owl-b.rules +++ b/jena-core/src/main/resources/etc/owl-b.rules @@ -307,7 +307,7 @@ [sameIndividualAs2: (?P rdf:type owl:InverseFunctionalProperty), (?A ?P ?B), (?C ?P ?B) -> (?A owl:sameIndividualAs ?C) ] -[sameIndividualAs3: (?X owl:sameAs ?Y), (?X rdf:type owl:Thing), (?Y rdf:type old:Thing) +[sameIndividualAs3: (?X owl:sameAs ?Y), (?X rdf:type owl:Thing), (?Y rdf:type owl:Thing) -> (?X owl:sameIndividualAs ?Y) ]
