Practical Conforming Datatype Groups

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)