Re: RDF 1.1 Semantics test suite

I believe that the idea was to have a test for a *kind* of 
inconsistencies, with the assumption that if a reasoner can pass the 
test, then it is extremely likely that it would pass any other tests of 
the same kind.

Other than that, I don't think there was a specific reason.

Note that D-entailment, depending on the datatypes that are considered 
in the "D", can be extremely tricky and there are many kinds of 
inconsistencies that the test cases are not testing.

A few examples:

{_:x  rdf:type  xsd:string .
  _:x  rdf:type  rdf:langString .}

is RDF-inconsistent.

{rdfs:Resource  rdfs:subClassOf  xsd:string .}

is RDFS-inconsistent.

{rdf:Property  rdfs:subClassOf  xsd:nonNegativeInteger .
rdf:Property  rdfs:subClassOf  xsd:nonPositiveInteger .}

is 
RDFS-recognising-{xsd:nonNegativeInteger,xsd:nonPositiveInteger}-inconsistent.


--AZ.



Le 28/02/2015 17:26, Michael Brunnbauer a écrit :
>
> hi all,
>
> the RDF 1.1 test suite contains tests for the following inconsistent triples:
>
> rdf:langString rdfs:subClassOf xsd:string
> xsd:integer rdfs:subClassOf xsd:string
>
> Is there a reason those are not included?
>
> xsd:string rdfs:subClassOf rdf:langString
> xsd:string rdfs:subClassOf xsd:integer
> rdf:langString rdfs:subClassOf xsd:integer
> xsd:integer rdfs:subClassOf rdf:langString
>
> Regards,
>
> Michael Brunnbauer
>

-- 
Antoine Zimmermann
ISCOD - Institut Henri Fayol
École des Mines de Saint-Étienne
158 cours Fauriel
CS 62362
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 66 03
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/

Received on Wednesday, 4 March 2015 17:07:42 UTC