Expressiveness of concept expressions in first-order description logics

被引：34
作者：
Kurtonina, N
de Rijke, M
机构：
[1] Univ Amsterdam, ILLC, NL-1018 TV Amsterdam, Netherlands
[2] Univ Penn, IRCS, Philadelphia, PA 19104 USA
来源：
ARTIFICIAL INTELLIGENCE | 1999年 / 107卷 / 02期
关键词：
knowledge representation; description logic; expressive power; model theory; semantic characterizations;
D O I：
10.1016/S0004-3702(98)00109-X
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We introduce a method for characterizing the expressive power of concept expressions in 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. (C) 1999 Published by Elsevier Science B.V. All rights reserved.
引用
收藏
页码：303 / 333
页数：31
相关论文
共 27 条
[1]  
Abiteboul S, 1995, FDN DATABASES
[2]  
[Anonymous], 1996, BASIC MODEL THEORY
[3]  
[Anonymous], 1993, ENCY MATH APPL, DOI DOI 10.1017/CBO9780511551574
[4]  
BAADER F, 1997, J LOGIC COMPUT, V7, P33
[5]  
Barwise J, 1985, MODEL THEORETIC LOGI
[6]   On the relative expressiveness of description logics and predicate logics [J].
Borgida, A .
ARTIFICIAL INTELLIGENCE, 1996, 82 (1-2) :353-367
[7]  
BUNEMAN P, 1996, P 1996 ACM SIGMOD IN
[8]  
CADOLI M, 1998, LECT NOTES COMPUTER, V1369
[9]  
DeGiacomo G, 1997, J ARTIF INTELL RES, V6, P87
[10]  
DERIJKE M, IN PRESS STUDIA LOGI
123