DESCRIPTION LOGICS IN DATA MANAGEMENT

被引：121
|
作者：
BORGIDA, A
机构：
[1] Department of Comnuter Science, Rutgers University, New Brunswick
来源：
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING | 1995年 / 7卷 / 05期
基金：
美国国家科学基金会;
关键词：
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
    MOBILE RESPONSE, 2007, 4458 : 61 - 70
  • [2] Data complexity in the εL family of description logics
    Krisnadhi, Adila
    Lutz, Carsten
    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.
    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
    ARTIFICIAL INTELLIGENCE, 2013, 195 : 335 - 360
  • [5] Querying XML Data using Description Logics
    Liu Yixian
    Li Xin
    Zhu Zhiliang
    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
    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
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 466 - 471
  • [8] Data Complexity in Expressive Description Logics with Path Expressions
    Bednarczyk, Bartosz
    PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 3241 - 3249
  • [9] A Cookbook for Temporal Conceptual Data Modelling with Description Logics
    Artale, Alessandro
    Kontchakov, Roman
    Ryzhikov, Vladislav
    Zakharyaschev, Michael
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (03)
  • [10] Description logics
    不详
    PART-WHOLE REASONING IN AN OBJECT-CENTERED FRAMWORK, 2000, 1771 : 11 - 20
12345