I second Leo’s endorsement of this approach. It would be great if the community were to really drill down into a few examples to show in concrete terms just what can be expressed and what cannot. One obvious extension of the marriage example is to include the handling of multiple successive marriages by one person.
Steven R. Ray, Ph.D.
Distinguished Research Fellow
Carnegie Mellon University
NASA Research Park
Building 23 (MS 23-11)
P.O. Box 1
Moffett Field, CA 94305-0001
Phone: (650) 587-3780
Cell: (202) 316-6481
From: ontology-summit-bounces@xxxxxxxxxxxxxxxx [mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Obrst, Leo J.
Sent: Saturday, April 28, 2012 6:37 PM
To: Ontology Summit 2012 discussion; 'Bock, Conrad'
Subject: Re: [ontology-summit] First Model Bench Challenge
Wow, there is a lot of information here! Which is good. Usually the use cases we are used to are vastly underspecified.
The first Model Benchmark challenge problem is to model Cory’s European marriage. The model is to describe one or more marriages. As Cory notes it has a few wrinkles. A description can be found at:
Hopefully, the model will be expressed in at least FOL, OWL, and some UML variant.
This is a good example to raise the issue of model (ontology) quality.
I will send a post to the model-challenge list next Monday in response to what has been received.
No virus found in this message.
Checked by AVG - www.avg.com
Version: 2012.0.1913 / Virus Database: 2411/4966 - Release Date: 04/29/12