Literatúra

Predošlé práce

Sebastian Rudolph: "Foundations of Description Logics." Reasoning Web 2011: 76-136
Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler: "An Introduction to Description Logic." Cambridge University Press 2017, ISBN 978-0-521-69542-8, pp. 1-255
Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider: "The Description Logic Handbook: Theory, Implementation, and Applications." Cambridge University Press 2003, ISBN 0-521-78176-0
Franz Baader, Ian Horrocks, Ulrike Sattler: "Description Logics." Handbook of Knowledge Representation 2008: 135-179
Adila Krisnadhi, Pascal Hitzler: "A Tableau Algorithm for Description Logics with Nominal Schema." RR 2012: 234-237
Nicola Guarino, Daniel Oberle, Steffen Staab: "What Is an Ontology?" Handbook on Ontologies 2009: 1-17
Matthew Horridge, Sean Bechhofer: "The OWL API: A Java API for OWL ontologies." Semantic Web 2(1): 11-21 (2011)
Matthew Horridge, Nick Drummond, John Goodwin, Alan L. Rector, Robert Stevens, Hai Wang: "The Manchester OWL Syntax." OWLED 2006

Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler: "A Case for Abductive Reasoning over Ontologies." OWLED 2006
Júlia Pukancová, Martin Homola: "Tableau-Based ABox Abduction for the ALCHO Description Logic." Description Logics 2017
Júlia Pukancová, Martin Homola: "ABox Abduction for Description Logics: The Case of Multiple Observations." Description Logics 2018
Raymond Reiter: "A Theory of Diagnosis from First Principles." Artif. Intell. 32(1): 57-95 (1987)
Charles Sanders Peirce: "Deduction, Induction, and Hypothesis." Popular Science Monthly, 13:470–482, 1878.
Martin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová: "Merge, Explain, Iterate." Description Logics 2020
Martin Homola, Júlia Pukancová, Iveta Balintová, Boborová Janka: "Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results." Description Logics 2022
Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz: "MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis." IJCAI 2015: 3221-3228

Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt: "Signature-Based Abduction for Expressive Description Logics." KR 2020: 592-602
Yuanbo Guo, Zhengxiang Pan, Jeff Heflin: "LUBM: A benchmark for OWL knowledge base systems." J. Web Semant. 3(2-3): 158-182 (2005)
Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget: "Decomposition and Modular Structure of BioPortal Ontologies." ISWC (1) 2011: 130-145