Re: An alternative RDF

Under RDF/1.1, ill-typed literals are now false [1] -e.g. :

:Bob :gender "M"^^xsd:integer .


is false under D-entailment  *iff* xsd:integer is recognized.


Simon
[1] http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/#literals-and-datatypes



On Fri, Jul 11, 2014 at 3:51 AM, Tara Athan <taraathan@gmail.com> wrote:

> On 7/10/14 10:59 AM, Pat Hayes wrote:
>
>> RDF is an assertional language, and by its very nature is capable of
>> expressing contradictions.
>>
> Aside from giving the same name to two different named graphs, what sort
> of contradictions can be expressed in RDF - without going to at least the
> RDFS entailment regime?
>
> Tara
>
>