---------- Forwarded message ---------- From: Vladimir Ivanov <[email protected]> List-Post: [email protected] Date: 2008/6/9 Subject: Re: [Crm-sig] About Types: ISSUE PLEASE VOTE To: Guenther Goerz <[email protected]>
Dear Guenther, > Section 9: I don't understand it at all. Could you please explain --- > and perhaps also the colleagues who already voted for the text as a > whole what they understand? As a side remark, I cannot make any sense > out of the last sentence. The only sense of the last sentence I've made, was its correspondence to OWL Full language. If one allows to treat "E55.Types" both as classes and as instances, you may face to problems with reasoning. Excerpt from OWL spec. (http://www.w3.org/TR/owl-ref/): "... However, use of the OWL Full features means that one loses some guarantees that OWL DL and OWL Lite can provide for reasoning systems." these "guarantees" are related to decidability of reasoning. "Inference in OWL Full is clearly undecidable as OWL Full does not include restrictions on the use of transitive properties which are required in order to maintain decidability." from (http://www.cs.man.ac.uk/~horrocks/Publications/download/2005/Horr05c.pdf , p.2) As for the sect. 9 as a whole, I think the main idea was that "you may implement a system of user-defined types (subclasses of E55 and properties) at necessary (in your application) level of granularity, but it should correspond to the CRM notion of type". Best regards, Vladimir. > > Best, > -- Guenther > > > On 6/4/08, martin <[email protected]> wrote: >> Dear All, >> >> Following the decision in the last meeting, we have to decide via e-mail >> vote on >> the updated attached text about types in the CRM document. I have >> desparately tried to >> describe as exact as possible what the CRM does, and to avoid the metaclass >> question, once this is a philosophical rather than an applied question in >> the >> current form the CRM describes. >> >> Please VOTE: >> >> ACCEPT [ ] >> >> REQUEST MODIFICATION: [....] >> >> by June 12. >> >> Best, >> >> Martin >> -- >> >> -------------------------------------------------------------- >> Dr. Martin Doerr | Vox:+30(2810)391625 | >> Principle Researcher | Fax:+30(2810)391638 | >> | Email: [email protected] | >> | >> Center for Cultural Informatics | >> Information Systems Laboratory | >> Institute of Computer Science | >> Foundation for Research and Technology - Hellas (FORTH) | >> | >> Vassilika Vouton,P.O.Box1385,GR71110 Heraklion,Crete,Greece | >> | >> Web-site: http://www.ics.forth.gr/isl | >> -------------------------------------------------------------- >> >> >> _______________________________________________ >> Crm-sig mailing list >> [email protected] >> http://lists.ics.forth.gr/mailman/listinfo/crm-sig >> >> >> > _______________________________________________ > Crm-sig mailing list > [email protected] > http://lists.ics.forth.gr/mailman/listinfo/crm-sig >
