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 条
  • [41] Fusions of description logics and abstract description systems
    Baader, F
    Lutz, C
    Strum, H
    Wolter, F
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2002, 16 : 1 - 58
  • [42] Combining Description Logics, Description Graphs, and Rules
    Motik, Boris
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 43 - 67
  • [43] Quantitative Variants of Language Equations and their Applications to Description Logics Extending Unification in Description Logics
    Marantidis, Pavlos
    KUNSTLICHE INTELLIGENZ, 2020, 34 (03): : 405 - 409
  • [44] Description logics for shape analysis
    Georgieva, L
    Maier, P
    SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 321 - 330
  • [45] On scene interpretation with description logics
    Neumann, Bernd
    Moeller, Ralf
    COGNITIVE VISION SYSTEMS: SAMPLING THE SPECTRUM OF APPROACHERS, 2006, 3948 : 247 - 275
  • [46] Reconciling Description Logics and Rules
    Motik, Boris
    Rosati, Riccardo
    JOURNAL OF THE ACM, 2010, 57 (05)
  • [47] Bisimilarity for Paraconsistent Description Logics
    Linh Anh Nguyen
    Thi Hong Khanh Nguyen
    Ngoc-Thanh Nguyen
    Quang-Thuy Ha
    2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2016, : 4694 - 4699
  • [48] Complexities of Horn Description Logics
    Kroetzsch, Markus
    Rudolph, Sebastian
    Hitzler, Pascal
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (01)
  • [49] Analogical Reasoning in Description Logics
    d'Amato, Claudia
    Fanizzi, Nicola
    Esposito, Floriana
    UNCERTAINTY REASONING FOR THE SEMANTIC WEB I, 2008, 5327 : 330 - 347
  • [50] Learning with Kernels in Description Logics
    Fanizzi, Nicola
    d'Amato, Claudia
    Esposito, Floriana
    INDUCTIVE LOGIC PROGRAMMING, ILP 2008, 2008, 5194 : 210 - 225
12345