KL-ONE swMATH ID: 28891 Software Authors: Baader, Franz; Sattler, Ulrike Description: An overview of tableau algorithms for description logics. Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system KL-ONE. During the last decade, it has been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety of description logics can be decided using tableau-like algorithms. This is not very surprising since description logics have turned out to be closely related to propositional modal logics and logics of programs (such as propositional dynamic logic), for which tableau procedures have been quite successful. Nevertheless, due to different underlying intuitions and applications, most description logics differ significantly from run-of-the-mill modal and program logics. Consequently, the research on tableau algorithms in description logics led to new techniques and results, which are, however, also of interest for modal logicians. In this article, we will focus on three features that play an important rôle in description logics (number restrictions, terminological axioms, and role constructors), and show how they can be taken into account by tableau algorithms. Homepage: https://rd.springer.com/article/10.1023/A:1013882326814 Keywords: description logics; tableau algorithms Related Software: FaCT++; Racer; Pellet; MSPASS; E Theorem Prover; MetTeL; SPASS; VAMPIRE; HermiT; leanTAP; TPTP; SPARQL; CEL; Protege; OntoDLV; PR-OWL; Konclude; DLog; PITA; ProbLog Cited in: 36 Publications all top 5 Cited by 49 Authors 7 Baader, Franz 6 Peñaloza, Rafael 5 Horrocks, Ian 5 Schmidt, Renate A. 4 Nguyen, Linh Anh 4 Sattler, Ulrike 3 Borgwardt, Stefan 3 Calvanese, Diego 3 Motik, Boris 2 Cuenca Grau, Bernardo 2 De Giacomo, Giuseppe 2 Glimm, Birte 2 Honavar, Vasant 2 Slutzki, Giora 2 Szałas, Andrzej 2 Tao, Jia 2 Tishkovsky, Dmitry 1 Baumgartner, Peter 1 Bellodi, Elena 1 Berardi, Daniela 1 Cota, Giuseppe 1 Demri, Stéphane P. 1 Eiter, Thomas 1 Goré, Rajeev Prabhakar 1 Hladik, Jan 1 Hoffmann, Guillaume 1 Kaminski, Mark 1 Kaneiwa, Ken 1 Lamma, Evelina 1 Lembo, Domenico 1 Lenzerini, Maurizio 1 Meissner, Adam 1 Ortiz, Magdalena 1 Parsia, Bijan 1 Patel-Schneider, Peter F. 1 Poggi, Antonella 1 Riguzzi, Fabrizio 1 Rodriguez-Muro, Mariano 1 Rosati, Riccardo 1 Schneider, Sigurd 1 Sertkaya, Barış 1 Sirin, Evren 1 Smolka, Gert 1 Stoilos, Giorgos 1 Tsarkov, Dmitry 1 Turhan, Anni-Yasmin 1 Waldmann, Uwe 1 Wang, Zhe 1 Zese, Riccardo all top 5 Cited in 14 Serials 9 Journal of Automated Reasoning 2 Artificial Intelligence 2 Studia Logica 2 ACM Transactions on Computational Logic 2 Journal of Applied Logic 2 Logical Methods in Computer Science 1 Journal of Philosophical Logic 1 Theoretical Computer Science 1 New Generation Computing 1 Information and Computation 1 International Journal of Approximate Reasoning 1 Annals of Mathematics and Artificial Intelligence 1 International Journal of Applied Mathematics and Computer Science 1 Theory and Practice of Logic Programming Cited in 2 Fields 33 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) Citations by Year