| Expressiveness
& Semantics |
|
|
|
|
|
|
|
| Problem: DAML+OIL has a well-defined semantics,
but |
||||||
| it is not sufficiently
expressive to characterize all and only |
||||||
| the intended
interpretations of DAML-S. |
||||||
| Solution 1: |
||||||
| A. | Distributed
operational semantics via Petri Nets. |
|||||
