Re: Extending daml+oil with concrete datatypes

Ian,

Thanks for sending this out!

Here are a few initial comments:

1) I found it interesting that you included xsd:simpleType
definitions within the rdf:RDF in [1].  This breaks RDF API
and probably other existing RDF/DAML tools.  I had expected
that the XML Schema datatypes would be defined at a separate
.xsd URI and referenced from daml+oil+concrete-ex.daml.

2) There are several XML well-formedness problems in
daml+oil+concrete-ex.daml.  See diffs below.  In particular,
rdfs:range for concrete types needs an attribute name as
well as a value.

3) You say

> Non-supported data types can either be trapped as an error
> or ignored.

They can also be treated as rdfs:Literal.

Thanks!

	Mike

[1] http://www.cs.man.ac.uk/~horrocks/DAML+OIL/Datatypes/daml+oil+concrete-ex.daml

C:\temp>e:\cygwin\bin\diff daml+oil+concrete-ex-orig.daml daml+oil+concrete-ex.daml
23,24c23,25
<   <xsd:minInclusive value="13"/>
< </xsd:restriction>
---
>     <xsd:minInclusive value="13"/>
>   </xsd:restriction>
> </xsd:simpleType>
30,31c31,33
<   <xsd:minInclusive value="18"/>
< </xsd:restriction>
---
>     <xsd:minInclusive value="18"/>
>   </xsd:restriction>
> </xsd:simpleType>
37,38c39,41
<   <xsd:minInclusive value="60"/>
< </xsd:restriction>
---
>     <xsd:minInclusive value="60"/>
>   </xsd:restriction>
> </xsd:simpleType>
45c48
<        <xsd:restriction base='integer'>
---
>        <xsd:restriction base='integer'/>
48c51
<        <xsd:restriction base='string'>
---
>        <xsd:restriction base='string'/>
59c62
<   <rdfs:range "xsd:decimal"/>
---
>   <rdfs:range something="xsd:decimal"/>
68c71
<   <rdfs:range "xsd:nonNegativeInteger"/>
---
>   <rdfs:range something="xsd:nonNegativeInteger"/>
75c78
<   <rdfs:range "clothingsize"/>
---
>   <rdfs:range something="clothingsize"/>
206c209
< </daml:Property>
---
> </daml:ConcreteProperty>

Received on Monday, 22 January 2001 13:17:32 UTC