def setUp(self):
self.rule = Rule({}, {(RDF.type, RDF.type, RDF.Property)})
self.rule_se1 = Rule({(uuu, aaa, xxx)}, {(uuu, aaa, xxx.nnn)},
name='se1')
self.empty_graph = Graph()
self.graph = Graph({(EX.a, EX.property, EX.b),
(EX.b, EX.property, EX.c)})
self.context = Context()
def setUp(self):
self.rule = Rule({}, {(RDF.type, RDF.type, RDF.Property)})
self.rule_se1 = Rule({(uuu, aaa, xxx)},
{(uuu, aaa, xxx.nnn)}, name='se1')
self.empty_graph = Graph()
self.graph = Graph({(EX.a, EX.property, EX.b),
(EX.b, EX.property, EX.c)})
self.context = Context()
class TestRule(unittest.TestCase):
def setUp(self):
self.rule = Rule({}, {(RDF.type, RDF.type, RDF.Property)})
self.rule_se1 = Rule({(uuu, aaa, xxx)}, {(uuu, aaa, xxx.nnn)},
name='se1')
self.empty_graph = Graph()
self.graph = Graph({(EX.a, EX.property, EX.b),
(EX.b, EX.property, EX.c)})
self.context = Context()
def test_first_arg_sets_antecedent(self):
self.assertEqual(self.rule_se1.antecedent, {(uuu, aaa, xxx)})
def test_antecedent_can_be_empty(self):
self.assertEqual(self.rule.antecedent, set())
def test_second_arg_sets_consequent(self):
self.assertEqual(self.rule.consequent,
{(RDF.type, RDF.type, RDF.Property)})
self.assertEqual(self.rule_se1.consequent, {(uuu, aaa, xxx.nnn)})
def test_name_arg_sets_name(self):
self.assertEqual(self.rule_se1.name, 'se1')
def test_default_name_is_none(self):
self.assertEqual(self.rule.name, None)
def test_apply_empty_antecedent_to_empty_graph_yields_consequent(self):
graph = Graph(self.rule.apply(self.empty_graph, self.context))
self.assertEqual(graph, Graph({(RDF.type, RDF.type, RDF.Property)}))
def test_apply_empty_antecedent_to_graph_yields_consequent(self):
graph = Graph(self.rule.apply(self.graph, self.context))
self.assertEqual(graph, Graph({(RDF.type, RDF.type, RDF.Property)}))
def test_apply_with_empty_antecedent_to_empty_graph_does_not_yield_consequent(
self):
graph = Graph(self.rule_se1.apply(self.empty_graph, self.context))
self.assertEqual(graph, Graph())
def test_apply_to_graph_yields_consequent(self):
graph = Graph(self.rule_se1.apply(self.graph, self.context))
self.assertEqual(
graph,
Graph({(EX.a, EX.property, BlankNode()),
(EX.b, EX.property, BlankNode())}))
class TestRule(unittest.TestCase):
def setUp(self):
self.rule = Rule({}, {(RDF.type, RDF.type, RDF.Property)})
self.rule_se1 = Rule({(uuu, aaa, xxx)},
{(uuu, aaa, xxx.nnn)}, name='se1')
self.empty_graph = Graph()
self.graph = Graph({(EX.a, EX.property, EX.b),
(EX.b, EX.property, EX.c)})
self.context = Context()
def test_first_arg_sets_antecedent(self):
self.assertEqual(self.rule_se1.antecedent, {(uuu, aaa, xxx)})
def test_antecedent_can_be_empty(self):
self.assertEqual(self.rule.antecedent, set())
def test_second_arg_sets_consequent(self):
self.assertEqual(self.rule.consequent,
{(RDF.type, RDF.type, RDF.Property)})
self.assertEqual(self.rule_se1.consequent, {(uuu, aaa, xxx.nnn)})
def test_name_arg_sets_name(self):
self.assertEqual(self.rule_se1.name, 'se1')
def test_default_name_is_none(self):
self.assertEqual(self.rule.name, None)
def test_apply_empty_antecedent_to_empty_graph_yields_consequent(self):
graph = Graph(self.rule.apply(self.empty_graph, self.context))
self.assertEqual(graph, Graph({(RDF.type, RDF.type, RDF.Property)}))
def test_apply_empty_antecedent_to_graph_yields_consequent(self):
graph = Graph(self.rule.apply(self.graph, self.context))
self.assertEqual(graph, Graph({(RDF.type, RDF.type, RDF.Property)}))
def test_apply_with_empty_antecedent_to_empty_graph_does_not_yield_consequent(self):
graph = Graph(self.rule_se1.apply(self.empty_graph, self.context))
self.assertEqual(graph, Graph())
def test_apply_to_graph_yields_consequent(self):
graph = Graph(self.rule_se1.apply(self.graph, self.context))
self.assertEqual(graph, Graph({(EX.a, EX.property, BlankNode()),
(EX.b, EX.property, BlankNode())}))
if e <= entailed:
return True
for triple in e:
if triple not in entailed:
for entailed_triple in entailed:
pattern = Pattern(entailed_triple)
if pattern.matches(triple):
break
else:
return False
return True
# Simple entailment rules
# http://www.w3.org/TR/rdf-mt/#simpleRules
se1 = Rule({(uuu, aaa, xxx)}, {(uuu, aaa, xxx.nnn)}, name='se1')
se2 = Rule({(uuu, aaa, xxx)}, {(uuu, aaa, uuu.nnn)}, name='se2')
SIMPLE_ENTAILMENT = Entailment([se1, se2])
# Literal generalization rule
lg = Rule({(uuu, aaa, lll)}, {(uuu, aaa, lll.nnn)}, name='lg')
SIMPLE_ENTAILMENT_LG = Entailment([lg])
# RDF entailment rules
# http://www.w3.org/TR/rdf-mt/#RDFRules
rdf1 = Rule({(uuu, aaa, yyy)}, {(aaa, RDF.type, RDF.Property)}, name='rdf1')
rdf2 = Rule({(uuu, aaa, llx)}, {(llx.nnn, RDF.type, RDF.XMLLiteral)},
name='rdf2')
