Abstract
Building large knowledge bases (KBs) is a fundamental task for automated reasoning and intelligent applications. Needing the interaction between domain and modeling knowledge, it is also error-prone. In fact, even well-maintained KBs are often found to lead to unwanted conclusions. We deal with two kinds of decisions associated with faulty KBs. First, which portions of the KB (and their conclusions) can still be trusted? Second, which is the correct way to repair the KB? Our solution to both problems is based on storing all the information about repairs in a compact data structure.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Apt, K.: Principles of Constraint Programming. Cambridge University Press, New York (2003)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, New York (2007)
Baader, F., PeƱaloza, R.: Automata-based axiom pinpointing. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 226ā241. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-71070-7_19
Baader, F., PeƱaloza, R.: Axiom pinpointing in general tableaux. J. Logic Comput. 20(1), 5ā34 (2010). https://doi.org/10.1093/logcom/exn058
Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proceedings IJCAI 2013, pp. 775ā781. AAAI Press (2013)
Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press, Amsterdam (2009)
Darwiche, A.: SDD: a new canonical representation of propositional knowledge bases. In: Proceedings IJCAI 2011, pp. 819ā826. IJCAI/AAAI (2011)
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. In: Proceedings TARK 1994, pp. 5ā23 (1994)
Drechsler, R., Becker, B.: Binary Decision Diagrams - Theory and Implementation. Springer, Berlin (1998)
Ludwig, M., PeƱaloza, R.: Error-tolerant reasoning in the description logic \(\cal{E{}L}\). In: FermĆ©, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 107ā121. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11558-0_8
PeƱaloza Nyssen, R.: Axiom pinpointing in description logics and beyond. Ph.D. thesis, Technische UniversitƤt Dresden, Germany (2009)
PeƱaloza, R.: Inconsistency-tolerant instance checking in tractable description logics. In: Costantini, S., Franconi, E., Van Woensel, W., Kontchakov, R., Sadri, F., Roman, D. (eds.) RuleML+RR 2017. LNCS, vol. 10364, pp. 215ā229. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61252-2_15
PeƱaloza, R., Sertkaya, B.: Understanding the complexity of axiom pinpointing in lightweight description logics. Artif. Intell. 250, 80ā104 (2017)
PeƱaloza, R., Thuluva, A.S.: Iterative ontology updates using context labels. In: Proceedings JOWO 2015. CEUR Workshop Proceedings, vol. 1517. CEUR-WS.org (2015)
Price, C., Spackman, K.: Snomed clinical terms. Br. J. Healthc. Comput. Inf. Manag. 17(3), 27ā31 (2000)
Reiter, R.: A theory of diagnosis from first principles. AIJ 32(1), 57ā95 (1987)
Shannon, C.E.: The synthesis of two-terminal switching circuits. Bell Syst. Tech. J. 28(1), 59ā98 (1949)
Zese, R., Bellodi, E., Riguzzi, F., Cota, G., Lamma, E.: Tableau reasoning for description logics and its extension to probabilities. AMAI 82(1ā3), 101ā130 (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
PeƱaloza, R. (2019). Making Decisions with Knowledge Base Repairs. In: Torra, V., Narukawa, Y., Pasi, G., Viviani, M. (eds) Modeling Decisions for Artificial Intelligence. MDAI 2019. Lecture Notes in Computer Science(), vol 11676. Springer, Cham. https://doi.org/10.1007/978-3-030-26773-5_23
Download citation
DOI: https://doi.org/10.1007/978-3-030-26773-5_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-26772-8
Online ISBN: 978-3-030-26773-5
eBook Packages: Computer ScienceComputer Science (R0)