Skip to content
This repository was archived by the owner on Oct 8, 2020. It is now read-only.

Commit 71c3dc0

Browse files
Bugfix in test_o11c data
1 parent ed77232 commit 71c3dc0

File tree

1 file changed

+5
-5
lines changed
  • sansa-inference-spark/src/test/resources/forward_chaining/axioms

1 file changed

+5
-5
lines changed

sansa-inference-spark/src/test/resources/forward_chaining/axioms/test_o11c.owl

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,12 @@ Prefix(:=<http://ex.com/default#>)
33
Ontology(<http://ex.com/ont/sample1.owl>
44
<http://ex.com/ont/release/123/sample1.owl>
55

6-
Declaration(Class(:Cls1))
7-
Declaration(Class(:Cls2))
6+
Declaration(Class(:Cls01))
7+
Declaration(Class(:Cls02))
88

9-
Declaration(Class(:Cls3))
10-
Declaration(Class(:Cls4))
11-
Declaration(Class(:Cls5))
9+
Declaration(Class(:Cls03))
10+
Declaration(Class(:Cls04))
11+
Declaration(Class(:Cls05))
1212

1313
# should be detected as equivalent classes
1414
SubClassOf(:Cls02 :Cls01)

0 commit comments

Comments
 (0)