- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Thu, 27 May 2004 17:49:20 -0400 (EDT)
- To: www-rdf-rules@w3.org
> [Xue Laos] > hello, RuleML is xml-based. till now, why we can not define rule in pure > RDF? SWRL is still focusing on DL. xjx I don't understand the bit about "SWRL is still focusing on DL." Every attempt to encode rules in "pure RDF" ends up concealing the RDF triples somehow. For instance, the SWRL rule parent(?x,?y) & brother(?y,?z) => uncle(?x,?z) would seem to contain the three triples ?x parent ?y ?y brother ?z ?x uncle ?z but these become "individualPropertyAtoms" in the RDF encoding: <swrl:Variable rdf:ID="x1"/> <swrl:Variable rdf:ID="x2"/> <swrl:Variable rdf:ID="x3"/> <ruleml:Imp> <ruleml:body rdf:parseType="Collection"> <swrl:individualPropertyAtom> <swrl:propertyPredicate rdf:resource="⪚hasParent"/> <swrl:argument1 rdf:resource="#x1" /> <swrl:argument2 rdf:resource="#x2" /> </swrl:individualPropertyAtom> <swrl:individualPropertyAtom> <swrl:propertyPredicate rdf:resource="⪚hasBrother"/> <swrl:argument1 rdf:resource="#x2" /> <swrl:argument2 rdf:resource="#x3" /> </swrl:individualPropertyAtom> </ruleml:body> <ruleml:head rdf:parseType="Collection"> <swrl:individualPropertyAtom> <swrl:propertyPredicate rdf:resource="⪚hasUncle"/> <swrl:argument1 rdf:resource="#x1" /> <swrl:argument2 rdf:resource="#x3" /> </swrl:individualPropertyAtom> </ruleml:head> </ruleml:Imp> Is the absence of the actual triples bothering you? If so, you're out of luck, because there's really no good way to put them in. -- -- Drew McDermott Yale Computer Science Department
Received on Thursday, 27 May 2004 17:56:31 UTC