Kurtonina, Natasha and Rijke, Maarten de (1997) Expressiveness of first-order description logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Preview

PDF (Department of Computer Science Research Report) WRAP_cs-rr-325.pdf - Other - Requires a PDF viewer. Download (478Kb) | Preview

Request Changes to record.

Abstract

We introduce a method for characterizing the expressive power of first-order description logics. The method is essentially model-theoretic in nature in that it gives preservation results uniquely identifying a wide range of description logics as fragments of first-order logic. The languages studied in the paper all belong to the well-known FL- and AL hierarchies.

Item Type:	Report
Subjects:	Q Science > Q Science (General)
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Description logics
Series Name:	Department of Computer Science research report
Publisher:	University of Warwick. Department of Computer Science
Official Date:	1997
Dates:	Date Event 1997 Completion
Number:	Number 325
Number of Pages:	34
DOI:	CS-RR-325
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Status:	Not Peer Reviewed
Publication Status:	Unpublished
Funder:	University of Warwick
Related URLs:	Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads