On May 23, 2013, at 1:50 AM, Niklas Lindström <lindstream@gmail.com> wrote: > Hi Alex, > > That's actually intentional. The last rule on the right side, "?target ?predicate ?object", takes care also of removing "?target rdf:type rdfa:Pattern" (since it removes all statements about ?target). > > The rule to remove "?subject rdf:type rdfa:Pattern" is needed since after the pattern has been copied entirely, the rdfa:Pattern type statement has been copied too, which is not the intent. > > A more effective implementation would not add that triple in the first place only to remove it, but I believe this was the simplest way to express these rules in a familiar notation for inference. (Hence the notes in the spec to make it clear that you're allowed to apply any algorithm you need as long as the outcome is the same.) Yes, this is correct, it's to remove irrelevant triples copied to the subject. Gregg > Cheers, > Niklas > > > > On Thu, May 23, 2013 at 6:22 AM, Alex Milowski <alex@milowski.com> wrote: > In section 3.5.1, I believe the pattern-clean rule is meant to have on the right side: > > ?target rdf:type rdfa:Pattern > > instead of: > > ?subject rdf:type rdfa:Pattern > > -- > --Alex Milowski > "The excellence of grammar as a guide is proportional to the paucity of the > inflexions, i.e. to the degree of analysis effected by the language > considered." > > Bertrand Russell in a footnote of Principles of Mathematics >
Received on Thursday, 23 May 2013 15:34:57 UTC