RE: Description logics: strange implication

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
> 
> 
> 
>