Optimised reasoning for SHIQ

被引：0

作者：

Horrocks, I ^{[1
]}

Sattler, U ^{[1
]}

机构：

[1] Univ Manchester, Dept Comp Sci, Manchester M13 9PL, Lancs, England

来源：

ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2002年 / 77卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present an optimised version of the tableau algorithm implemented in the FaCT knowledge representation system which decides satisfiability and subsumption in SHLQ, a very expressive description logic providing, e.g., inverse and transitive roles, number restrictions, and general axioms. We prove that the revised algorithm is still sound and complete, and demonstrate that it greatly improves FaCT's performance-in some cases by more than two orders of magnitude.

引用

页码：277 / 281

页数：5

共 50 条

[31] Logistics project risk response decision-making for global supply chain resilience and agility: an optimised case-based reasoning
School of Business, Hohai University, Nanjing, China
不详
不详
不详
Int J Prod Res,
[32] Logistics project risk response decision-making for global supply chain resilience and agility: an optimised case-based reasoning
Zhang, Xu
Goh, Mark
Bai, Sijun
Bai, Libiao
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2024,
[33] TTI for interaction optimised
Hilz, Yee
FLEISCHWIRTSCHAFT, 2008, 88 (05): : 47 - 49
[34] Robot performance optimised
不详
ANTI-CORROSION METHODS AND MATERIALS, 2002, 49 (02) : 141 - 141
[35] Optimised location costs
不详
BWK, 2006, 58 (06): : 32 - 32
[36] Optimised Golay correlator
Donato, P. G.
Funes, M. A.
Hadad, M. N.
Carrica, D. O.
ELECTRONICS LETTERS, 2009, 45 (07) : 380 - U60
[37] Stellarators and optimised stellarators
Wagner, F
FUSION TECHNOLOGY, 1998, 33 (2T): : 67 - 83
[38] Optimised ship loading
Phillips, J., 1600, Palladian Publications (19):
[39] Optimised disorder management
Röschke, P
BWK, 2004, 56 (10): : 45 - 45
[40] Optimised Building Processes
Herzog, Christoph
Guenther, Angelika
BWK, 2011, 63 (11): : 60 - 63

← 1 2 3 4 5 →