- From: Daniel Oberle <oberle@aifb.uni-karlsruhe.de>
- Date: Thu, 19 Feb 2004 13:15:30 +0100
- To: public-sws-ig@w3.org
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