OWL-S questions: status, Input/Output classes, and SPARQL

Hi all,

I use OWL-S in some projects, and I would like to ask some questions.

1. What is the current status of OWL-S? version 1.2 is in Pre-Release
[1] since several months: what are the plans?

2. In OWL-S version 1.2, Process.owl [2] defines Input and Output as
subClassOf Parameter:

2.1. it is asserted that Input is disjointWith Output, but not that
Output is disjointWith Input: isn't this necessary?

2.2. I think that Parameter should be a subClassOf ProcessVar, but
Process.owl does not state this: why? Indeed the comments say that
Parameter is a subtype of ProcessVar, but the ontology doesn't; I
think it's necessary, otherwise Input/Output would not have a
parameterType (whose domain is ProcessVar).

3. In OWL-S version 1.2, Expression.owl [3] allows the usage of
several expression language to define conditions, among which SPARQL
(there is in fact the class SPARQL-Expression, defined as a
QuotedExpression whose expressionLanguage is SPARQL). I could not find
any example of how to use SPARQL in expressing conditions within
OWL-S. Since I'm working on this topic, I would be happy to read
ideas/papers/examples on this topic. How do you plan to use SPARQL in
expressing conditions (preconditions and results conditions)?

Thank you in advance.

Best Regards
marco

[1] http://www.ai.sri.com/daml/services/owl-s/1.2/
[2] http://www.ai.sri.com/daml/services/owl-s/1.2/Process.owl
[3] http://www.ai.sri.com/daml/services/owl-s/1.2/generic/Expression.owl

Received on Wednesday, 17 January 2007 15:15:31 UTC