You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@jena.apache.org by an...@apache.org on 2015/08/28 13:18:13 UTC
jena git commit: JENA-1016: old: -> owl:
Repository: jena
Updated Branches:
refs/heads/master 4fc76ddf0 -> b3846cbd8
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/master
Commit: b3846cbd865412e78a894b30b94a4a9d90045d67
Parents: 4fc76dd
Author: Andy Seaborne <an...@apache.org>
Authored: Fri Aug 28 12:18:05 2015 +0100
Committer: Andy Seaborne <an...@apache.org>
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) ]