W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2010

[FLD] review of Appendix Hebrand Structures

From: Jos de Bruijn <jos.debruijn@gmail.com>
Date: Wed, 5 May 2010 11:44:12 +0200
Message-ID: <u2h16b487ba1005050244p854345f7t4de21429fcb474c0@mail.gmail.com>
To: RIF <public-rif-wg@w3.org>
I reviewed the current version of the FLD section 8 Appendix: A Subframework
for Herbrand Semantic Structures
I found no major issues. Find my comments and suggestions below:

1- The standard reference for the answer set semantics is [1], in which
Gelfond and Lifschitz define the answer set semantics for disjunctive logic
programs with classical negation.
2- In the definition of Herbrand domain, it seems to me that the second and
third bullet are redundant, since they are implied by the first
3- In the definition of Herbrand Semantic Structure, in the symbol HD_sg
(the subdomain for signature sg), 'sg' should use the sans serif font, as it
does in other places in the sentence.
4- Definition Consistent Semantic Structure: "cannot both be" -> "are not
both" (twice)
5- Definition Ground Instantiations: it is not clear whether the definition
applies also to subformulas, so I suggest the following replacement:
"non-group, non-document formula" -> "non-group formula that is a subformula
of a group formula"
6- Paragraph before the definition "Empty Herbrand Structure": the first
sentence seems to suggest that there is a notion of "undefined" in the
standard stable model semantics. This is not the case.

I would like to see at least comments 1, 5, and 6 addressed before the
document is published.

Cheers, Jos

[1] Michael Gelfond, Vladimir
Classical Negation in Logic Programs and Disjunctive Databases. New
Generation Comput.
365-386 (1991)

Jos de Bruijn
 Web:          http://www.debruijn.net/
 LinkedIn:     http://at.linkedin.com/in/josdebruijn
Received on Wednesday, 5 May 2010 09:45:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 5 May 2010 09:45:11 GMT