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 条

[1] Reasoning with individuals for the description logic SHIQ
Horrocks, I
Sattler, U
Tobies, S
AUTOMATED DEDUCTION - CADE-17, 2000, 1831 : 482 - 496
[2] Optimizing Horn-SHIQ Reasoning for OBDA
Bajraktari, Labinot
Ortiz, Magdalena
Xiao, Guohui
SEMANTIC WEB - ISWC 2019, PT I, 2019, 11778 : 75 - 92
[3] Consequence-Driven Reasoning for Horn SHIQ Ontologies
Kazakov, Yevgeny
21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 2040 - 2045
[4] Optimised Storage for Datalog Reasoning
Zhang, Xinyue
Hu, Pan
Nenov, Yavor
Horrocks, Ian
THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 9, 2024, : 10748 - 10755
[5] Distributed reasoning with coupled ontologies: the E-SHIQ representation framework
Santipantakis, Georgios
Vouros, George A.
KNOWLEDGE AND INFORMATION SYSTEMS, 2015, 45 (02) : 491 - 534
[6] Description Logic Reasoning with Decision Diagrams Compiling SHIQ to Disjunctive Datalog
Rudolph, Sebastian
Kroetzsch, Markus
Hitzler, Pascal
SEMANTIC WEB - ISWC 2008, 2008, 5318 : 435 - 450
[7] Feasibility of optimised disjunctive reasoning for approximate matching
Horrocks, I
Padgham, L
Thomson, L
ADVANCED TOPICS IN ARTIFICIAL INTELLIGENCE, 1999, 1747 : 328 - 339
[8] Optimised Semantic Reasoning for Pervasive Service Discovery
Steller, Luke
Krishnaswamy, Shonali
SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS, 2008, 5364 : 620 - 625
[9] Transforming Situation Calculus Action Theories for Optimised Reasoning
Ewin, Christopher
Pearce, Adrian R.
Vassos, Stavros
FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 448 - 457
[10] Collaborative context-awareness and reasoning for optimised service delivery
Giaffreda, Raffaele
Barria, Javier
2007 IEEE 65TH VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-6, 2007, : 252 - 256

← 1 2 3 4 5 →