Expressiveness of first-order description logics
Kurtonina, N. and de Rijke, M. (1997) Expressiveness of first-order description logics. Technical Report. Department of Computer Science, Coventry, UK.
![[img]](http://eprints.dcs.warwick.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Published Version
Download (382Kb) |
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: | Monograph (Technical Report) |
|---|---|
| Uncontrolled Keywords: | technicalreport |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Science > Computer Science |
| Depositing User: | Mr Ebrahim Ardeshir |
| Date Deposited: | 05 Jan 2012 09:13 |
| Last Modified: | 01 Nov 2012 18:06 |
| URI: | http://eprints.dcs.warwick.ac.uk/id/eprint/1439 |
Actions (login required)
 |
View Item |
