Definitions
Reasoning is the process of deriving conclusions in a logical way. Automatic reasoning is concerned with the construction of computing systems that automate this process over some knowledge bases.
Automated Reasoning is often considered as a subfield of artificial intelligence. It is also studied in the fields of theoretical computer science and even philosophy.
Overview
The development of formal logic (Frege 1884) played a big role in the field of automated reasoning, which itself led to the development of artificial intelligence.
Historically, automated reasoning is largely related to theorem proving, general problem solvers, and expert systems (cf. the section of “A Bit of History”). In the context of big data processing, automated reasoning is more relevant to modern knowledge representation languages, such as the W3C standard Web Ontology Language (OWL) (https://www.w3.org/TR/owl2-overview/...
References
Artale A, Franconi E (1994) A computational account for a description logic of time and action. In: KR1994, pp 3–14
Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York
Baader F, Brandt S, Lutz C (2005) Pushing the EL envelope. In: IJCAI2015
Baader F, Lutz C, Suntisrivaraporn B (2006) CEL—a polynomial-time reasoner for life science ontologies. In: IJCAR’06, pp 287–291
Baader F, Brandt S, Lutz C (2008) Pushing the EL envelope further. In: OWLED2008
Bergmann F, Quantz J (1995) Parallelizing description logics. In: KI1995, pp 137–148
Borgida A, Serafini L (2003) Distributed description logics. J Data Semant 1:153–184
Calvanese D, Giacomo GD, Lembo D, Lenzerini M, Rosati R (2007) Tractable reasoning and efficient query answering in description logics: the dl-lite family. J Autom Reason 39:385–429
Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Poggi A, Rodriguez-Muro M, Rosati R, Ruzzi M, Savo DF (2011) The MASTRO system for ontology-based data access. J Web Semant 2:43–53
Calvanese D, Cogrel B, Komla-Ebri S, Kontchakov R, Lanti D, Rezk M, Rodriguez-Muro M, Xiao G (2016) Ontop: answering SPARQL queries over relational databases. Semant Web J 8:471-487
Ceri S, Gottlob G, Tancar L (1989) What you always wanted to know about Datalog (and never dared to ask). IEEE Trans Knowl Data Eng 1:146–166
Chen J, Lecue F, Pan JZ, Chen H (2017) Learning from ontology streams with semantic concept drift. In: IJCAI-2017, pp 957–963
Colucci S, Noia TD, Sciascio ED, Donini F (2003) Concept abduction and contraction in description logics. In: DL2003
Davis M (1957) A computer program for Presburgers’ algorithm. In: Summaries of talks presented at the summer institute for symbolic logic, Cornell University, pp 215–233
Frege G (1884) Die Grundlagen der Arithmetik. Breslau, Wilhelm Kobner
Glimm B, Horrocks I, Motik B, Stoilos G (2010) Optimising ontology classification. In: ISWC2010, pp 225–240
Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z (2014) HermiT: an OWL 2 reasoner. J Autom Reason 53: 245–269
Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: WWW2003, pp 48–57
Haarslev V, Möller R (2001) RACER system description. In: IJCAR2001, pp 701–705
Horrocks I (1998) Using an expressive description logic: FaCT or fiction? In: KR1998
Horrocks I, Patel-Schneider P (2003) From SHIQ and RDF to OWL: the making of a web ontology language. J Web Semant 1:7–26
Horrocks I, Sattler U (2005) A tableaux decision procedure for shoiq. In: IJCAI2005, pp 448–453
Horrocks I, Kutz O, Sattler U (2006) The even more irresistible sroiq. In: KR2006, pp 57–67
Kaminski M, Grau BC, Kostylev EV, Motik B, Horrocks I (2017) Foundations of declarative data analysis using limit datalog programs. In: Proceedings of the twenty-sixth international joint conference on artificial intelligence, IJCAI-17, pp 1123–1130. https://doi.org/10.24963/ijcai.2017/156
Kazakov Y, Klinov P (2013) Incremental reasoning in OWL EL without bookkeeping. In: ISWC2013, pp 232–247
Kazakov Y, Krötzsch M, Simancik F (2011) Concurrent classification of EL ontologies. In: ISWC2011, pp 305–320
Kazakov Y, Krötzsch M, Simancik F (2012) ELK reasoner: architecture and evaluation. In: ORE2012
Koller D, Levy A, Pfeffer A (1997) P-CLASSIC: a tractable probablistic description logic. In: AAAI1997
Konev B, Lutz C, Ozaki A, Wolter F (2014) Exact learning of lightweight description logic ontologies. In: KR2014, pp 298–307
Krötzsch M, Rudolph S, Hitzler P (2008) Description logic rules. In: ECAI2008, pp 80–84
Serafini L, Tamilin A (2005) Drago: distributed reasoning architecture for the semantic web. In: ESWC2005, pp 361–376
Lecue F, Pan JZ (2015) Consistent knowledge discovery from evolving ontologies. In: AAAI-15
Levesque HJ, Brachman RJ (1987) Expressiveness and tractability in knowledge representation and reasoning. Comput Intell 3:78–93
Lifschitz V (2002) Answer set programming and plan generation. Artif Intell 138:39–54
Lisi FA, Malerba D (2003) Ideal refinement of descriptions in AL-Log. In: ICILP2003
Lutz C, Seylan I, Wolter F (2013) Ontology-based data access with closed predicates is inherently intractable (Sometimes). In: IJCAI2013, pp 1024–1030
MacGregor RM (1991) Inside the LOOM description classifier. ACM SIGART Bull – special issue on implemented knowledge representation and reasoning systems 2:88–92
Motik B, Horrocks I (2008) Owl datatypes: design and implementation. In: ISWC2008, pp 307–322
Motik B, Sattler U, Studer R (2005) Query answering for OWL-DL with rules. J Web Semant 3:41–60
Motik B, Shearer R, Horrocks I (2009) Hypertableau reasoning for description logics. J Artif Intell Res 36: 165–228
Motik B, Nenov Y, Piro R, Horrocks I, Olteanu D (2014) Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: AAAI2014
Motik B, Nenov Y, Piro R, Horrocks I (2015a) Handling of owl: sameAs via rewriting. In: AAAI2015
Motik B, Nenov Y, Robert Piro IH (2015b) Incremental update of datalog materialisation: the backward/forward algorithm. In: AAAI2015
Newell A, Shaw C, Simon H (1957) Empirical explorations of the logic theory machine. In: Proceedings of the 1957 western joint computer conference
Pan JZ, Horrocks I (2003) RDFS(FA) and RDF MT: two semantics for RDFS. In: Fensel D, Sycara K, Mylopoulos J (eds) ISWC2003
Pan JZ, Horrocks I (2006) OWL-Eu: adding customised datatypes into OWL. J Web Semant 4:29–39
Pan JZ, Thomas E (2007) Approximating OWL-DL ontologies. In: The proceedings of the 22nd national conference on artificial intelligence (AAAI-07), pp 1434–1439
Pan JZ, Ren Y, Zhao Y (2016a) Tractable approximate deduction for OWL. Artif Intell 235:95–155
Pan JZ, Vetere G, Gomez-Perez J, Wu H (2016b) Exploiting linked data and knowledge graphs for large organisations. Springer, Switzerland
Pan JZ, Calvanese D, Eiter T, Horrocks I, Kifer M, Lin F, Zhao Y (2017) Reasoning web: logical foundation of knowledge graph construction and querying answering. Springer, Cham
Qi G, Ji Q, Pan JZ, Du J (2011) Extending description logics with uncertainty reasoning in possibilistic logic. Int J Intell Syst 26:353–381
Quantz JJ, Suska S (1994) Weighted defaults in description logics: formal properties and proof theory. In: Annual conference on artificial intelligence, pp 178–189
Ren Y, Pan JZ (2011) Optimising ontology stream reasoning with truth maintenance system. In: CIKM 2011
Ren Y, Pan JZ, Zhao Y (2010) Soundness preserving approximation for TBox reasoning. In: AAAI2010
Ren Y, Parvizi A, Mellish C, Pan JZ, van Deemter K, Stevens R (2014) Towards competency question-driven ontology authoring. In: Proceedings of the 11th conference on extended semantic web conference (ESWC 2014)
Ren Y, Pan JZ, Guclu I, Kollingbaum M (2016) A combined approach to incremental reasoning for EL ontologies. In: RR2016
Rodriguez-Muro M, Rezk M (2015) Efficient SPARQL-to-SQL with R2RML mappings. J Web Semant 33:141–169
Rodriguez-Muro M, Kontchakov R, Zakharyaschev M (2013) Query rewriting and optimisation with database dependencies in ontop. In: DL2013
Rosati R, Almatelli A (2010) Improving query answering over DL-Lite ontologies. In: KR2010, pp 290–300
Shortliffe EH (1974) MYCIN: a rule-based computer program from advising physicians regarding antimicrobial therapy selection. PhD thesis, Stanford University
Sirin E, Parsia B, Grau B, Kalyanpur A, Katz Y (2007) Pellet: a practical owl-dl reasoner. J Web Semant 5:51–53
Steigmiller A, Glimm B (2015) Pay-As-You-Go description logic reasoning by coupling tableau and saturation procedure. J Artif Intell Res 54:535–592
Steigmiller A, Glimm B, Liebig T (2014a) Reasoning with nominal schemas through absorption. J Autom Reason 53:351–405
Steigmiller A, Liebig T, Glimm B (2014b) Konclude: system description. J Web Semant 27:78–85
Straccia U (2001) Reasoning within fuzzy description logics. J Artif Intell Res 14:147–176
Stuckenschmidt H, Ceri S, Valle ED, van Harmelen F (2010) Towards expressive stream reasoning. In: Semantic challenges in sensor networks, no. 10042 in Dagstuhl seminar proceedings
Suntisrivaraporn B, Qi G, Ji Q, Haase P (2008) A modularization-based approach to finding all justifications for OWL DL entailments. In: ASWC2008, pp 1–15
Thomas E, Pan JZ, Ren Y (2010) TrOWL: tractable OWL 2 reasoning infrastructure. In: ESWC2010
Tsarkov D, Horrocks I (2006) FaCT++ description logic reasoner: system description. In: IJCAR2006, pp 292–297
Zhou Y, Grau BC, Horrocks I, Wu Z, Banerjee J (2013) Making the most of your triple store: query answering in OWL 2 using an RL reasoner. In: WWW2013, pp 1569–1580
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this entry
Cite this entry
Pan, J.Z., Du, J. (2018). Automated Reasoning. In: Sakr, S., Zomaya, A. (eds) Encyclopedia of Big Data Technologies. Springer, Cham. https://doi.org/10.1007/978-3-319-63962-8_314-1
Download citation
DOI: https://doi.org/10.1007/978-3-319-63962-8_314-1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-63962-8
Online ISBN: 978-3-319-63962-8
eBook Packages: Springer Reference MathematicsReference Module Computer Science and Engineering