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.
- Published Version
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)|
|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|
Actions (login required)