CT-1998-05: Expressiveness Revisited

CT-1998-05: Areces, Carlos and de Rijke, Maarten (1998) Expressiveness Revisited. [Report]

[thumbnail of Full Text] Text (Full Text)
CT-1998-05.text.ps.gz

Download (89kB)
[thumbnail of Abstract] Text (Abstract)
CT-1998-05.abstract.txt

Download (434B)

Abstract

We consider two recently proposed definitions of the expressive power of
description logics, one due to Baader, the other due to Kurtonina and de
Rijke. The proposals are non­equivalent, and we explain their differences,
similarities, as well as ways in which they are related. We also map out a
research agenda resulting from efforts to combine the two approaches.

Item Type: Report
Report Nr: CT-1998-05
Series Name: Computation and Complexity Theory (CT)
Year: 1998
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1080

Actions (login required)

View Item View Item