The Library
Expressiveness of first-order description logics
Tools
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)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-325.pdf - Other - Requires a PDF viewer. Download (478Kb) | Preview |
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: |
|
||||
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: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year