Concrete and abstract domains disjointness

Hello,

Can somebody explain some formal reason why the concrete and abstract
domains (i.e. the datatype and individual sets) have to be disjoint in OWL
DL?
Is there a description logic that drops this restriction?


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 Monday, 10 May 2004 11:07:59 UTC