1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
"""
Test for OWL 2 RL/RDF rules from
Table 4. The Semantics of Equality
https://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules
"""
from rdflib import Graph, Literal, OWL
import sys
from pathlib import Path
sys.path.append(str(Path(__file__).parent.parent))
import owlrl
from owlrl.Namespaces import ERRNS, T
def test_eq_diff1():
"""
Test eq-diff1 rule for OWL 2 RL.
If::
T(?x, owl:sameAs, ?y)
T(?x, owl:differentFrom, ?y)
then::
false
"""
g = Graph()
x = T.x
y = T.y
g.add((x, OWL.sameAs, y))
g.add((x, OWL.differentFrom, y))
owlrl.DeductiveClosure(owlrl.OWLRL_Semantics).expand(g)
result = g.objects(predicate=ERRNS.error)
expected = Literal(
"'sameAs' and 'differentFrom' cannot be used on the same"
+ " subject-object pair:"
)
# expect multiple error messages for pairs (x, y), (x, x) and (y, y)
# due to contradiction:
#
# x == y and x != y => x != x and y != y and x == x and y == y
assert all(r.startswith(expected) for r in result)
|
