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 条
  • [31] Description logics of context
    Klarman, Szymon
    Gutierrez-Basulto, Victor
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (03) : 817 - 854
  • [32] Defeasible Description Logics
    Ivan Varzinczak
    [J]. KI - Künstliche Intelligenz, 2020, 34 : 539 - 542
  • [33] Representation of isomeric knowledge on management decision problem based on description logics
    Wang, Su-Fen
    Yang, Bao-An
    Feng, Jun-Kang
    [J]. Kongzhi yu Juece/Control and Decision, 2006, 21 (04): : 462 - 465
  • [34] Data complexity of query answering in expressive Description Logics via tableaux
    Ortiz, Magdalena
    Calvanese, Diego
    Eiter, Thomas
    [J]. JOURNAL OF AUTOMATED REASONING, 2008, 41 (01) : 61 - 98
  • [35] Managing Change in Graph-Structured Data Using Description Logics
    Ahmetaj, Shqiponja
    Calvanese, Diego
    Ortiz, Magdalena
    Simkus, Mantas
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017, 18 (04)
  • [36] Data Complexity of Query Answering in Expressive Description Logics via Tableaux
    Magdalena Ortiz
    Diego Calvanese
    Thomas Eiter
    [J]. Journal of Automated Reasoning, 2008, 41 : 61 - 98
  • [37] Managing Change in Graph-Structured Data Using Description Logics
    Ahmetaj, Shqiponja
    Calvanese, Diego
    Ortiz, Magdalena
    Simkus, Mantas
    [J]. PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 966 - 973
  • [38] Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
    Nguyen, Linh Anh
    [J]. FUNDAMENTA INFORMATICAE, 2010, 104 (04) : 349 - 384
  • [39] Combining Description Logics, Description Graphs, and Rules
    Motik, Boris
    [J]. CONCEPTUAL STRUCTURES: FROM INFORMATION TO INTELLIGENCE, 2010, 6208 : 10 - 12
  • [40] Fusions of description logics and abstract description systems
    Baader, F
    Lutz, C
    Strum, H
    Wolter, F
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2002, 16 : 1 - 58
12345