- From: Antoine Zimmermann <antoine.zimmermann@insa-lyon.fr>
- Date: Wed, 06 Apr 2011 17:00:38 +0200
- CC: RDF WG <public-rdf-wg@w3.org>
Le 06/04/2011 05:14, Pat Hayes a écrit : > > On Apr 5, 2011, at 6:57 PM, Nathan wrote: > >> Hi All, >> >> Just some quick notes re the RDF Recommendation Set >> >> -> Semantics >> - What happens to L-Base? personally I find it's style far more readable, will it be updated where needed? could it be used to define an abstract syntax? > > I would tentatively suggest that what might be called an L-base-style presentation of RDF, ie RDF explained by translating it into conventional FOL (AKA an 'axiomatic semantics', a term I abhor) be provided as an *informative* appendix to the revized semantics document, but not absorbed into the main text. This will make those few with Nathan's taste happy, while protecting the great masses from the need to even look at, let alone understand, any actual formal logic. I volunteer to write a draft of the thing (I already have written it several times in various versions.) > >> -> Abstract Syntax and Concepts >> - How does this tie in with the multiple serializations now? >> - Examples in multiple formats like OWL? >> - A proper abstract syntax? > > "Proper"? > >> - Merge with the semantics? >> - Clean up on Fragments text (had request from JAR for this, and some related issues for fragment identifier semantics for Turtle etc) >> >> -> RDF Schema >> - Taking in to account RDFS 3.0 from J Hendler? >> http://www.w3.org/2009/12/rdf-ws/papers/ws31 >> - Seems to be split between RDF Semantics for RDFS entailment? The two are more coherent together (and again, hate to say it but L-Base style of writing the entailment for RDFS is really clear) > > There are good reasons for having the model theory be normative, though. > > We might want to think about incorporating some version of sameAs into RDFS, as this seems to be fundamental to linked data and also widely misused. Having the real meaning of equality exposed in the RDF standard itself might be doing the world a favor. (?) If RDF standardise a "sameAs" relation (say, rdf:sameAs), then would the following triple hold: rdf:sameAs owl:sameAs owl:sameAs . ? It is interesting reading again the answers to the questionnaire "The Future of RDF Standards" re. this question [1]. [1] http://www.w3.org/2002/09/wbs/1/rdf-2010/results#xg9 AZ. > > Pat > > >> >> -> Primer >> - needed if we have well written serialization spec's w/ examples and a coherent "core" document? >> - seems like a large domain w/ 3 syntaxes? (and ties to RDFa, SPARQL etc) >> - any ties in with RDF API? >> >> -> Serializations >> -> Turtle >> -> RDF/XML >> -> JSON >> >> -> Test Cases >> - should be per serialization? >> >> - where do "graphs" surface in these specs? >> - can graphs even be a separate document? >> - linked data? do we cover or account for it, do a note, anything? >> >> Best, >> >> Nathan >> >> > > ------------------------------------------------------------ > IHMC (850)434 8903 or (650)494 3973 > 40 South Alcaniz St. (850)202 4416 office > Pensacola (850)202 4440 fax > FL 32502 (850)291 0667 mobile > phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes > > > > > > -- Antoine Zimmermann Researcher at: Laboratoire d'InfoRmatique en Image et Systèmes d'information Database Group 7 Avenue Jean Capelle 69621 Villeurbanne Cedex France Tel: +33(0)4 72 43 61 74 - Fax: +33(0)4 72 43 87 13 Lecturer at: Institut National des Sciences Appliquées de Lyon 20 Avenue Albert Einstein 69621 Villeurbanne Cedex France antoine.zimmermann@insa-lyon.fr http://zimmer.aprilfoolsreview.com/
Received on Wednesday, 6 April 2011 15:01:09 UTC