W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2004

Concrete and abstract domains disjointness

From: Dimitrios A. Koutsomitropoulos <kotsomit@hpclab.ceid.upatras.gr>
Date: Mon, 10 May 2004 18:10:46 +0300
To: <www-rdf-logic@w3.org>
Message-Id: <20040510150759.25C64A08B4@frink.w3.org> 



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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:48 GMT