DESCRIPTION LOGICS IN DATA MANAGEMENT

被引:121
|
作者
BORGIDA, A
机构
[1] Department of Comnuter Science, Rutgers University, New Brunswick
基金
美国国家科学基金会;
关键词
DESCRIPTION; CONCEPT; TERMINOLOGICAL; LANGUAGE; SUBSUMPTION; KNOWLEDGE REPRESENTATION; OBJECT-ORIENTED SCHEMA; INTENSION;
D O I
10.1109/69.469829
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Description logics and reasoners, which are descendants of the KL-ONE language, have been studied in depth in Artificial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations-each involving one or more languages. Specifically, we indicate how one can achieve enhanced access to data and knowledge by using descriptions in languages for schema design and integration, queries, answers, updates, rules, and constraints.
引用
收藏
页码:671 / 682
页数:12
相关论文
共 50 条
  • [1] SaR resource management based on description logics
    Pottebaum, Jens
    Konstantopoulos, Stasinos
    Koch, Rainer
    Paliouras, Georgios
    [J]. MOBILE RESPONSE, 2007, 4458 : 61 - 70
  • [2] Data complexity in the εL family of description logics
    Krisnadhi, Adila
    Lutz, Carsten
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 333 - +
  • [3] Data Complexity of Query Answering in Description Logics
    Calvanese, D.
    De Giacomo, G.
    Lembo, D.
    Lenzerini, M.
    Rosati, R.
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 4163 - 4167
  • [4] Data complexity of query answering in description logics
    Calvanese, Diego
    De Giacomo, Giuseppe
    Lembo, Domenico
    Lenzerini, Maurizio
    Rosati, Riccardo
    [J]. ARTIFICIAL INTELLIGENCE, 2013, 195 : 335 - 360
  • [5] Querying XML Data using Description Logics
    Liu Yixian
    Li Xin
    Zhu Zhiliang
    [J]. 2019 4TH INTERNATIONAL CONFERENCE ON MECHANICAL, CONTROL AND COMPUTER ENGINEERING (ICMCCE 2019), 2019, : 699 - 702
  • [6] Transforming fuzzy description logics into classical description logics
    Straccia, U
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 385 - 399
  • [7] Data Complexity of Reasoning in Very Expressive Description Logics
    Hustadt, Ullrich
    Motik, Boris
    Sattler, Ulrike
    [J]. 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 466 - 471
  • [8] A Cookbook for Temporal Conceptual Data Modelling with Description Logics
    Artale, Alessandro
    Kontchakov, Roman
    Ryzhikov, Vladislav
    Zakharyaschev, Michael
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (03)
  • [9] Description logics
    不详
    [J]. PART-WHOLE REASONING IN AN OBJECT-CENTERED FRAMWORK, 2000, 1771 : 11 - 20
  • [10] Description Logics
    Kroetzsch, Markus
    Simancik, Frantisek
    Horrocks, Ian
    [J]. IEEE INTELLIGENT SYSTEMS, 2014, 29 (01) : 12 - 19