Optimizing description logic subsumption

被引：0
|
作者：
Department of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, United Kingdom [1 ]
不详 [2 ]
机构：
来源：
J Logic Comput | / 3卷 / 267-293期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Optimizing description logic subsumption
    Horrocks, I
    Patel-Schneider, PF
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (03) : 267 - 293
  • [2] Semantics and complete algorithm for subsumption in the CLASSIC description logic
    Borgida, Alex
    Patel-Schneider, Peter F.
    Journal of Artificial Intelligence Research, 1993, 1 : 277 - 308
  • [3] A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
    Borgida, Alex
    Patel-Schneider, Peter F.
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1993, 1 : 277 - 308
  • [4] Structural subsumption and least common subsumers in a description logic with existential and number restrictions
    Küsters R.
    Molitor R.
    Studia Logica, 2005, 81 (2) : 227 - 259
  • [5] Investigating subsumption in SNOMED CT: An exploration into large description logic-based biomedical terminologies
    Bodenreider, Olivier
    Smith, Barry
    Kumar, Anand
    Burgun, Anita
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 2007, 39 (03) : 183 - 195
  • [6] OPTIMIZING DESCRIPTION LOGIC REASONING FOR THE SERVICE MATCHMAKING AND COMPOSITION
    Babik, Marian
    Hluchy, Ladislav
    COMPUTING AND INFORMATICS, 2008, 27 (04) : 661 - 679
  • [7] Logic-based subsumption architecture
    Amir, E
    Maynard-Zhang, P
    ARTIFICIAL INTELLIGENCE, 2004, 153 (1-2) : 167 - 237
  • [8] Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
    Bobillo, Fernando
    Delgado, Miguel
    Gomez-Romero, Juan
    UNCERTAINTY REASONING FOR THE SEMANTIC WEB I, 2008, 5327 : 189 - 206
  • [9] Logic-based subsumption architecture
    Amir, E
    Maynard-Reid, P
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 147 - 152
  • [10] AUGMENTING SUBSUMPTION PROPAGATION IN DISTRIBUTED DESCRIPTION LOGICS
    Homola, Martin
    Serafini, Luciano
    APPLIED ARTIFICIAL INTELLIGENCE, 2010, 24 (1-2) : 39 - 76
12345