Ordering Heuristics for Description Logic Reasoning

被引：0
|
作者：
Tsarkov, Dmitry [1 ]
Horrocks, Ian [1 ]
机构：
[1] Univ Manchester, Sch Comp Sci, Manchester, Lancs, England
来源：
19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05) | 2005年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a new architecture for Description Logic implementations, a range of new optimisation techniques and an empirical analysis of their effectiveness.
引用
下载
收藏
页码：609 / 614
页数：6
相关论文
共 50 条
  • [21] Representation and reasoning on RBAC: A description logic approach
    Zhao, C
    Heilili, N
    Liu, SP
    Lin, ZQ
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 2005, 3722 : 381 - 393
  • [22] Error-tolerant reasoning in the description logic Ε
    Ludwig, Michel
    Peñaloza, Rafael
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8761 : 107 - 121
  • [23] On the Semantics of Defeasible Reasoning for Description Logic Ontologies
    Viet-Hoai To
    Bac Le
    Ikeda, Mitsuru
    KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 51 - 63
  • [24] Bounded model checking with description logic reasoning
    Ben-David, Shoham
    Trefler, Richard
    Weddell, Grant
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 60 - +
  • [25] A diagrammatic reasoning system for the description logic ALC
    Dau, Frithjof
    Eklund, Peter
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2008, 19 (05): : 539 - 573
  • [26] DESCRIPTION AND REASONING OF VLSI CIRCUIT IN TEMPORAL LOGIC
    FUSAOKA, A
    SEKI, H
    TAKAHASHI, K
    NEW GENERATION COMPUTING, 1984, 2 (01) : 79 - 90
  • [27] Reasoning in Description Logic Ontologies for Privacy Management
    Nuradiansyah, Adrian
    KUNSTLICHE INTELLIGENZ, 2020, 34 (03): : 411 - 415
  • [28] A Parameterized Complexity View on Description Logic Reasoning
    de Haan, Ronald
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 359 - 368
  • [29] Combining Event Calculus and Description Logic Reasoning via Logic Programming
    Baumgartner, Peter
    FRONTIERS OF COMBINING SYSTEMS (FROCOS 2021), 2021, 12941 : 98 - 117
  • [30] ISNEAK: Partial Ordering as Heuristics for Model- Based Reasoning in Software Engineering
    Lustosa, Andre
    Menzies, Tim
    IEEE Access, 2024, 12 : 142915 - 142929
12345