Animal_Lover
класс - это класс с тремя свойствами, называемыми hasPet
.
Смит выращивает трех животных и принадлежит к классу Person
.
На этом этапе, как мне написать правило (.pie) для автоматического включения кузнеца в класс animal_lover, когда правило работает?
Prefices {
test : http://www.example.com/test#
rdf : http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl : http://www.w3.org/2002/07/owl#
xsd : http://www.w3.org/2001/XMLSchema#
rdfs : http://www.w3.org/2000/01/rdf-schema#
}
Axioms {}
Rules {
Id: rule1
a <test:hasPet> b
a <test:hasPet> d
a <test:hasPet> c
-----------------------
a <rdf:type> <test:Animal_Lover>
}
это правило не работает.
b != d
,b != c
иc != d
? - person UninformedUser   schedule 08.09.2018INSERT DATA { [] <http://www.ontotext.com/owlim/system#reinfer> [] }
- person HoJin Seo   schedule 09.09.2018Prefices { test : http://www.example.com/test# rdf : http://www.w3.org/1999/02/22-rdf-syntax-ns# owl : http://www.w3.org/2002/07/owl# xsd : http://www.w3.org/2001/XMLSchema# rdfs : http://www.w3.org/2000/01/rdf-schema# } Axioms {} Rules { Id: rule1 a <test:hasPet> b [Constraint b != d, b != c] a <test:hasPet> d [Constraint d != b, d != c] a <test:hasPet> c [Constraint c != b, c != d] ----------------------- a <rdf:type> <test:Animal_Lover> }
- person UninformedUser   schedule 09.09.2018prefix test: <http://www.example.com/test#> insert data { test:a test:hasPet test:b1,test:b2, test:b3 . }
и, наконец, сделал простойselect * where { ?s ?p ?o . } limit 100
возвратtest:a rdf:type test:Animal_Lover
- person UninformedUser   schedule 09.09.2018