How to validate OWL-S' CongoBuy example as OWL DL ontology

Hi all,
in the line with the efforts of Peter Mika and Sean Bechhofer
to validate OWL-S as OWL-DL ontology, I tried to do the same for
OWL-S' standard example: CongoBuy.
(cf. http://lists.w3.org/Archives/Public/public-sws-ig/2004Jan/0105.html)
It took me almost a week (see details below).

The fixed ontologies can be downloaded from
http://www.aifb.uni-karlsruhe.de/WBS/dob/onto/
they all rely on Peter Mika's fixed OWL-S ontologies from
http://www.cs.vu.nl/~pmika/owl-s/
and are valid OWL-DL according to the OWL Validator
http://phoebus.cs.man.ac.uk:9999/OWL/Validator

Greetings
  Daniel Oberle


Detailed comments:

http://www.aifb.uni-karlsruhe.de/WBS/dob/onto/Country-fixed.owl
- its name space was still Country.daml so I had to change

http://www.aifb.uni-karlsruhe.de/WBS/dob/onto/ProfileHierarchy-fixed-OilEd.owl
- BookSelling had both a cardinality and allValuesFrom restriction
   at the same time. I dropped the cardinality.

http://www.aifb.uni-karlsruhe.de/WBS/dob/onto/CongoProcess-fixed.owl
- CompositeProcess -> composedOf -> Sequence -> components had a
   rdf:parseType=collection what generated anonymous nodes that were untyped
- in sameValuesOf the valueOf atProcess theParameter were specified
   in one XML statement what lead the validator to interpreting them
   as both Data- and ObjectProperties.
- createAcctSequenceCreateAcctInfo should be written with capital "C"
- FullCongoBuyDeliveryAddress used in CongoProcessDataFlow but not
   defined here?

http://www.aifb.uni-karlsruhe.de/WBS/dob/onto/CongoProfile-fixed.owl
- qualityRating is used although deprecated
- reference to ProfileHierarchy#deliveryRegion although it is not there
- reference to CongoProcess#ExpressCongoBuySignInfo should be CongoBuySignInfo
- same for OrderShippedEffect, OrderShippedOutput and OUtofStockOutput

http://www.aifb.uni-karlsruhe.de/WBS/dob/onto/CongoGrounding-fixed.owl
- wsdlInputs and wsdlOutputs used rdf:parseType=collection
- reference to CongoProcess#ExpressCongoBuySignInfo should be
   CongoBuySignInfo
- usage of datatype properties had invalid syntax. They used
   <xsd:anyURI rdf:value="..."> and object property was inferred

http://www.aifb.uni-karlsruhe.de/WBS/dob/onto/CongoService-fixed.owl
- ExpressCongoBuyService referenced CongoBuyGrounding should be
   ExpressCongoBuyServiceGrounding

And a lot more. Mostly the bugs Peter Mika found when validating OWL-S
(cf. http://lists.w3.org/Archives/Public/public-sws-ig/2004Jan/0105.html)

Received on Thursday, 19 February 2004 07:19:43 UTC