W3C home > Mailing lists > Public > www-archive@w3.org > March 2007

Practical Conforming Datatype Groups

From: Turner, David <davidt@hp.com>
Date: Thu, 1 Mar 2007 11:29:22 -0000
Message-ID: <86FE9B2B91ADD04095335314BE6906E8D6D49B@sdcexc04.emea.cpqcorp.net>
To: <www-archive@w3.org>


Abstract. Datatype groups are an extension to certain Description Logics
(DLs) that permit the user to reason about n-tuples of data, where
n >= 1, and thus to express complex constraints on multiple properties
of
objects. A conforming datatype group has the appropriate computational
properties to preserve the soundness, completeness, and compactness of
the reasoning procedure of the underlying DL. We consider examples of
datatype groups that appear useful in practice, and illustrate the care
that must be taken to ensure that datatype groups are both conforming
and practical.



-- 
Dave Turner  Cube T400, HP Labs Bristol, Filton Road, Bristol BS34 8QZ
davidt@hp.com          +44 117 3129104 (Work) +44 7962 811627 (Mobile)


Received on Thursday, 1 March 2007 11:29:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:18:04 GMT