W3C home > Mailing lists > Public > www-ws@w3.org > June 2002

Re: Some syntax bugs in DAML-S ontologies

From: David Martin <martin@ai.sri.com>
Date: Sat, 01 Jun 2002 00:10:56 -0700
Message-ID: <3CF87380.62178E62@ai.sri.com>
To: Peishen Qi <peishen.qi@yale.edu>
CC: www-ws@w3.org, drew.mcdermott@yale.edu, dejing.dou@yale.edu

Peishen --

Thanks very much for reporting these bugs.  See comments below.

Peishen Qi wrote:

> Hi,
>
> I am recently trying to translate DAML-S (version 0.6)
> ontologies to WEB-PDDL, an under-developing  logic
> language which serves as the internal reprensentation language
> for OntoMerge [1].
>
> I thought I found some bugs in those ontologies and examples
> listed on DAML-S(0.6) page [2].
>
> 1. In Process.daml, line 837 and 838: "Value" is not defined in this
> ontology. I think it should be "TestValue";

The above has been corrected on the Web site.

>
>
> 2. In CongoProcess.daml, line 58: "congo;" missed an "&";

The above has been corrected, but in CongoProfile.daml, not
CongoProcess.daml.

>
>
> 3. In BravoAir-Process.daml, all the occurrence of "rdfs:about"
> should be "rdf:about".

The above has been corrected on the Web site.


>
>
> Two kinds of resource reference were also used in these DAML
> files. First is using "rdf:resource=" or "rdf:about=" to refer to some
> resource in another ontology, but actually it is not defined there.
> An example is "&country;#UnitedState" on line 84 of CongoProfile.daml.
> Second is using QName to refer to some property in another ontology
> which is also undefined. For example, "service:describedBy" on line
> 38 of Congo-Service.daml. I wonder whethter both cases are correct
> or not.

If the references aren't defined, then of course that in itself is one kind
of error.  However, I believe that both the examples mentioned above are
legal DAML +OIL constructs syntactically.  However, there may be a problem
that the value of service:describedBy doesn't match the range declared for
that property.  I'll look into this.

Thanks again,
David Martin

>
>
> Please have a try of our PDDAML translator at [3]. I used it to find all
>
> these "bugs".
>
> Peishen Qi
> Yale University, CS Department
> AKW 403, 203-432-6495
>
> [1] http://www.cs.yale.edu/homes/dvm/daml/ontology-translation.html
> [2] http://www.daml.org/services/daml-s/2001/10/
> [3] http://www.cs.yale.edu/homes/dvm/daml/pddl_daml_translator.html
Received on Saturday, 1 June 2002 15:12:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:40 GMT