Re: Latest iteration of RDF Datatyping WD (ship it!)

[...]

> I'm still wondering about the necessity of 2b. It's not
> quite as troublesome to me as e.g. inferring a datatype
> property idiom from an inline idiom, but I'm still not
> sure it is essential.
>
> Can you clarify for me what breaks if it is removed?

well, it's just that
entailing

  <http://example.org/dt#Jenny> <http://example.org/dt#age> _:z .
  _:z <http://www.w3.org/2001/XMLSchema#number> "35" .

out of

( <http://www.agfa.com/w3c/n3/p7.nt>
  <http://www.agfa.com/w3c/n3/p7s.nt> )

seems ok to me
but it's not that something would break of course

> Also, if 2b is present, then 2a is unnecessary, since
> the rdf:type of ?o can then be inferred from the
> rdfs:domain of ?d.

right, ok, will do that

--
Jos