Erratum to D16.1v0.21 - The Web Service Modeling Language WSML

19 October 2005

This erratum refers to the final draft of WSML deliverable D16.1v0.21: The Web Service Modeling Language WSML, dated 2005-10-05.

Section 4.1: There are two definitions with the number 4.2. The second definition with number 4.2 should have number 4.3. Definition 4.3 should be 4.4.
Section 4.1: definition 4.3 (descriptions): the 6th bullet is a duplication of the 4th bullet and is thus redundant.
Chapter 9, Table 9.3: The definition of the relation childOf is faulty. It currently reads:
```
  relation childOf/2 (ofType ex#Human, impliesType ex#Parent)
```
It should read (arity and parameter restrictions may not co-occur in the same relation definition):
```
  relation childOf (ofType ex#Human, impliesType ex#Parent)
```
Consequently, the definition of the arity in the XML tree (17th line from the bottom) should be removed. The line currently reads:
```
<relation name="http://www.example.org/ex1#childOf" arity="2">
```
It should read:
```
<relation name="http://www.example.org/ex1#childOf">
```
Chapter 10, Table 10.3: The definition of the relation childOf is faulty. It currently reads:
```
  relation childOf/2 (ofType ex#Human, impliesType ex#Parent)
```
It should read (arity and parameter restrictions may not co-occur in the same relation definition):
```
  relation childOf (ofType ex#Human, impliesType ex#Parent)
```
Consequently, the definition of the arity in the RDF triples (13th line from the bottom) should be removed:
```
http://www.example.org/ex1#childOf wsml#arity "2"xsd#integer
```

Section 5.6, last line (example: do not trust strangers): This example is faulty: the rule does not satisfy the safety condition. The rule currently reads:

?x[distrust hasValue ?y] :- naf ?x[knows hasValue ?y].

It should read:

?x[distrust hasValue ?y] :- naf ?x[knows hasValue ?y] and ?x memberOf Person and ?y memberOf Person.

Section 2.8, third example from the bottom ("A human who is not a man is a woman") should read:
```
x[gender hasValue Woman] impliedBy neg ?x[gender hasValue Man] and ?x memberOf Human.
```
Section 4.1: the description of the last example in the section should read: "Every Human has a father who is a Human, and every father of a Human is a Human".

Section 8.1: the definition of the relation ageOfHuman is incorrect (the arity may not be specified). It should read:

  relation ageOfHuman (ofType Human, ofType _integer)
  nfp
    dc#relation hasValue FunctionalDependencyAge
  endnfp

Appendix E: the definition of the relation ageOfHuman is incorrect (the arity may not be specified and the use of xsd#integer is incorrect). It should read:

  relation ageOfHuman (ofType Human, ofType _integer)
  nfp
    dc#relation hasValue {AgeOfHuman, FunctionalDependencyAge}
  endnfp

Section 2.1.2: WSML does not allow relative IRIs; only absolute IRIs are allowed

$Date: 2005/10/24 14:56:27 $