Re: (very) first draft of semantics available

I don't see in the RDFS semantic conditions either.

peter


On Wed, Feb 20, 2013 at 11:33 AM, Pat Hayes <phayes@ihmc.us> wrote:

>
> On Feb 20, 2013, at 12:07 PM, Peter Patel-Schneider wrote:
>
> > I'm looking over the draft.
> >
> > It appears to me that the relationship between datatypes and rdf:type
> (and class extensions) has been lost,
>
> Its not in RDF, whioch doesnt have classes, but it is in RDFS. In 2004,
> all datatype semantics included all of RDFS, but the WG requested that we
> define a version of RDF-with-datatypes-but-not-RDFS.
>
> I plan to have a diagram (not drawn yet) showing the relationships between
> the entailment regimes, including those defined in 2004.
>
> Pat
>
>
> > which is rather problematic, to say the least.
> >
> > peter
> >
> >
> > On Tue, Feb 12, 2013 at 9:55 AM, Pat Hayes <phayes@ihmc.us> wrote:
> > A very early and incomplete draft of the revised semantics document is
> now in the repository at
> >
> > https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/index.html
> >
> > It does not have the inference rule section or the appendices or the
> references done, its css is slightly broken, it is rife with issues, and
> the html markup (links, references, etc.) is woefully incomplete, but at
> least it exists.
> >
> > Comments are welcome on the actual text.
> >
> > Peter, your bio info in the header needs updating.
> >
> > Richard, check out the datatype section, which is now much simpler. It
> assumes that D is simply a set of recognized datatype IRIs, rather than a
> functional datatype 'map'. Do you approve? If so, you can simplify that
> section of Concepts. But I do need bnode scopes, please. Pretty please.
> >
> > Pat
> >
> > PS. Many thanks to Richard and Gavin for teaching me how to work
> Mercurial.
> >
> > ------------------------------------------------------------
> > 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
> >
> >
> >
> >
> >
> >
> >
>
> ------------------------------------------------------------
> 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
>
>
>
>
>
>