- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Mon, 4 Nov 2002 01:16:10 +0100
- To: "pat hayes <phayes" <phayes@ai.uwf.edu>
- Cc: w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
[...]
> Unless Im missing something, therefore, I propose that we drop
rdfs:Datatype.
>
> PROPOSE: do not introduce rdfs:Datatype into the rdfs namespace.
it is critical in the following entailment rules
{ :rule10a . ?d a rdfs:Datatype } log:implies { ?d rdfs:domain ?d } .
{ :rule10b . ?d a rdfs:Datatype } log:implies { ?x^^?d ?d ?x } .
and I wouldn't like to miss it, as we then have that
xsd:decimal a rdfs:Datatype .
xsd:integer a rdfs:Datatype; rdfs:subPropertyOf xsd:decimal .
:jenny :age "10"^^xsd:integer .
entails (*)
:jenny :age _:x .
_:x xsd:decimal "10" .
_:x rdf:type xsd:decimal .
otherwise datatyping seems meaningless to me
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
(*)
@prefix str: <http://www.w3.org/2000/10/swap/string#> .
@prefix ns: <http://www.agfa.com/w3c/euler/owl-rules#> .
@prefix foo: <file:/temp/test#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <file:/temp/test#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
@prefix nsns: <http://www.agfa.com/w3c/euler/rdfs-rules#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
:jenny :age "10"^^xsd:integer.
{
<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
{
<http://www.agfa.com/w3c/euler/rdfs-rules#rule10b> } log:implies
{"10"^^xsd:integer xsd:integer "10"}} log:implies
{"10"^^xsd:integer xsd:decimal "10"}.
{
<http://www.agfa.com/w3c/euler/rdfs-rules#rule2> .
{
<http://www.agfa.com/w3c/euler/rdfs-rules#rule10a> .
xsd:decimal a rdfs:Datatype} log:implies
{xsd:decimal rdfs:domain xsd:decimal}.
{
<http://www.agfa.com/w3c/euler/rdfs-rules#rule6> .
{
<http://www.agfa.com/w3c/euler/rdfs-rules#rule10b> } log:implies
{"10"^^xsd:integer xsd:integer "10"}} log:implies
{"10"^^xsd:integer xsd:decimal "10"}} log:implies
{"10"^^xsd:integer rdf:type xsd:decimal}.
Received on Sunday, 3 November 2002 19:16:56 UTC