W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2001

Re: model theory publication draft

From: Dave Beckett <dave.beckett@bristol.ac.uk>
Date: Thu, 20 Sep 2001 21:11:10 +0100
To: Pat Hayes <phayes@ai.uwf.edu>
cc: w3c-rdfcore-wg@w3.org
Message-ID: <11782.1001016670@tatooine.ilrt.bris.ac.uk>

My comments on
   http://www.coginst.uwf.edu/~phayes/RDF%20MT-currentdraft.html
   Sep 20 18:44:21 2001 GMT

Summary: I'm happy for this to be published as a draft.

Detail:

4. RDFS Interpretations

6th paragraph:
        "The subsets referred to in subPropertyOf are sets of pairs."
and subsets in subClassOf?

6. RDF containers

1st paragraph
2nd sentence too long for me to read!  Can you split into something like
this?

   A container is a resource which is a member of one of three subclasses
   rdf:Bag, rdf:Seq or rdf:Alt of the class rdfs:Container.
   This class is the domain of a countable set of properties indicated
   by rdf:_1, rdf:_2, etc., all of which in turn are members of the
   class rdfs:ContainerMembershipProperty.

Before publication there are some minor things that should be done
apart from the other W3 style, checking:

  (Remove all the removed, added parts and styles)

  Add anchors to all things that might want to be pointed to, such as
  the lemmas.  At present they are e.g.
    <strong id="mergelem">Merging lemma.</strong> 
  best to be something like
    <a name="mergelem" id="mergelem"><strong>Merging lemma.</strong></a>

  Hyperlinks to the N-Triples terms e.g. uriref, bNode in the test
  cases doc. such as
    http://www.w3.org/TR/2001/WD-rdf-testcases-20010912/#uriref

  A reference section in W3 style and [CITE] for RDF M&S, RDFS,
  Test-Cases, N-Triples section in test-cases, anything else.  Maybe
  normative, non-normative ones if they help. 

  Very minor point - appendixes usually labelled A, B in w3 docs I've
  looked at?

Great work

Dave
Received on Thursday, 20 September 2001 16:11:13 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:39:48 EDT