- From: Dimitrios A. Koutsomitropoulos <kotsomit@hpclab.ceid.upatras.gr>
- Date: Thu, 15 Jul 2004 14:27:40 +0300
- To: "'Dimitrios A. Koutsomitropoulos'" <kotsomit@hpclab.ceid.upatras.gr>, <www-rdf-logic@w3.org>
I think I finally found a proof for this...if anyone interested please contact me... Dimitris > -----Original Message----- > From: www-rdf-logic-request@w3.org > [mailto:www-rdf-logic-request@w3.org] On Behalf Of Dimitrios > A. Koutsomitropoulos > Sent: Wednesday, July 14, 2004 5:38 AM > To: www-rdf-logic@w3.org > Subject: Description logics: strange implication > > > > > I really need the help of the DL experts on that! Please > forgive my "hybrid" > (OWL/DL) syntax... > > Given a role R, a domain (cardinality) restriction on it: > >=1R subClassOf D, and a universal quantification say, F : R > allValuesFrom C, I noticed (throughout a whole night of > experimentation) that the nearest common ancestor of D and F > becomes the Top concept. > > Is anyone aware of that implication (I bet)? If so please > provide an explanation! > > > Many thanks, > > Dimitrios A. Koutsomitropoulos > > Computer & Informatics Engineer > Postgraduate Researcher > High Performance Information Systems Laboratory > > Contact > e-mail: kotsomit@hpclab.ceid.upatras.gr > work: +30 2610 993805 > fax: +30 2610 997706 > http://www.hpclab.ceid.upatras.gr > > > >
Received on Thursday, 15 July 2004 09:13:14 UTC