{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:06:49Z","timestamp":1743156409216,"version":"3.40.3"},"publisher-location":"Cham","reference-count":70,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319639628"},{"type":"electronic","value":"9783319639628"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-63962-8_314-1","type":"book-chapter","created":{"date-parts":[[2018,9,26]],"date-time":"2018-09-26T13:04:59Z","timestamp":1537967099000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Reasoning"],"prefix":"10.1007","author":[{"given":"Jeff Z.","family":"Pan","sequence":"first","affiliation":[]},{"given":"Jianfeng","family":"Du","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,25]]},"reference":[{"key":"314-1_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-1-4832-1452-8.50098-1","volume-title":"Principles of Knowledge Representation and Reasoning","author":"Alessandro Artale","year":"1994","unstructured":"Artale A, Franconi E (1994) A computational account for a description logic of time and action. In: KR1994, pp 3\u201314"},{"volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","key":"314-1_CR2","unstructured":"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"},{"key":"314-1_CR3","doi-asserted-by":"crossref","unstructured":"Baader F, Brandt S, Lutz C (2005) Pushing the EL envelope. In: IJCAI2015","DOI":"10.25368\/2022.144"},{"key":"314-1_CR4","doi-asserted-by":"crossref","unstructured":"Baader F, Lutz C, Suntisrivaraporn B (2006) CEL\u2014a polynomial-time reasoner for life science ontologies. In: IJCAR\u201906, pp 287\u2013291","DOI":"10.1007\/11814771_25"},{"key":"314-1_CR5","unstructured":"Baader F, Brandt S, Lutz C (2008) Pushing the EL envelope further. In: OWLED2008"},{"key":"314-1_CR6","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-60343-3_32","volume-title":"KI-95: Advances in Artificial Intelligence","author":"Frank W. Bergmann","year":"1995","unstructured":"Bergmann F, Quantz J (1995) Parallelizing description logics. In: KI1995, pp 137\u2013148"},{"key":"314-1_CR7","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A Borgida","year":"2003","unstructured":"Borgida A, Serafini L (2003) Distributed description logics. J Data Semant 1:153\u2013184","journal-title":"J Data Semant"},{"key":"314-1_CR8","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"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\u2013429","journal-title":"J Autom Reason"},{"key":"314-1_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/SW-2011-0029","volume":"2","author":"D Calvanese","year":"2011","unstructured":"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\u201353","journal-title":"J Web Semant"},{"key":"314-1_CR10","doi-asserted-by":"publisher","first-page":"471","DOI":"10.3233\/SW-160217","volume":"8","author":"D Calvanese","year":"2016","unstructured":"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","journal-title":"Semant Web J"},{"key":"314-1_CR11","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S Ceri","year":"1989","unstructured":"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\u2013166","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"314-1_CR12","first-page":"957","volume":"IJCAI-2017","author":"J Chen","year":"2017","unstructured":"Chen J, Lecue F, Pan JZ, Chen H (2017) Learning from ontology streams with semantic concept drift. In: IJCAI-2017, pp 957\u2013963","journal-title":"In"},{"key":"314-1_CR13","unstructured":"Colucci S, Noia TD, Sciascio ED, Donini F (2003) Concept abduction and contraction in description logics. In: DL2003"},{"key":"314-1_CR14","first-page":"215","volume-title":"A computer program for Presburgers\u2019 algorithm","author":"M Davis","year":"1957","unstructured":"Davis M (1957) A computer program for Presburgers\u2019 algorithm. In: Summaries of talks presented at the summer institute for symbolic logic, Cornell University, pp 215\u2013233"},{"key":"314-1_CR15","volume-title":"Die Grundlagen der Arithmetik","author":"G Frege","year":"1884","unstructured":"Frege G (1884) Die Grundlagen der Arithmetik. Breslau, Wilhelm Kobner"},{"key":"314-1_CR16","first-page":"225","volume-title":"Lecture Notes in Computer Science","author":"Birte Glimm","year":"2010","unstructured":"Glimm B, Horrocks I, Motik B, Stoilos G (2010) Optimising ontology classification. In: ISWC2010, pp 225\u2013240"},{"key":"314-1_CR17","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z (2014) HermiT: an OWL 2 reasoner. J Autom Reason 53: 245\u2013269","journal-title":"J Autom Reason"},{"key":"314-1_CR18","doi-asserted-by":"crossref","unstructured":"Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: WWW2003, pp 48\u201357","DOI":"10.1145\/775152.775160"},{"key":"314-1_CR19","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"Volker Haarslev","year":"2001","unstructured":"Haarslev V, M\u00f6ller R (2001) RACER system description. In: IJCAR2001, pp 701\u2013705"},{"key":"314-1_CR20","unstructured":"Horrocks I (1998) Using an expressive description logic: FaCT or fiction? In: KR1998"},{"key":"314-1_CR21","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"Horrocks I, Patel-Schneider P (2003) From SHIQ and RDF to OWL: the making of a web ontology language. J Web Semant 1:7\u201326","journal-title":"J Web Semant"},{"key":"314-1_CR22","unstructured":"Horrocks I, Sattler U (2005) A tableaux decision procedure for shoiq. In: IJCAI2005, pp 448\u2013453"},{"key":"314-1_CR23","unstructured":"Horrocks I, Kutz O, Sattler U (2006) The even more irresistible sroiq. In: KR2006, pp 57\u201367"},{"key":"314-1_CR24","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.24963\/ijcai.2017\/156","volume":"IJCAI-17","author":"M Kaminski","year":"2017","unstructured":"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\u20131130. https:\/\/doi.org\/10.24963\/ijcai.2017\/156","journal-title":"Proceedings of the twenty-sixth international joint conference on artificial intelligence"},{"key":"314-1_CR25","first-page":"232","volume-title":"Lecture Notes in Computer Science","author":"Yevgeny Kazakov","year":"2013","unstructured":"Kazakov Y, Klinov P (2013) Incremental reasoning in OWL EL without bookkeeping. In: ISWC2013, pp 232\u2013247"},{"key":"314-1_CR26","unstructured":"Kazakov Y, Kr\u00f6tzsch M, Simancik F (2011) Concurrent classification of EL ontologies. In: ISWC2011, pp 305\u2013320"},{"key":"314-1_CR27","unstructured":"Kazakov Y, Kr\u00f6tzsch M, Simancik F (2012) ELK reasoner: architecture and evaluation. In: ORE2012"},{"key":"314-1_CR28","unstructured":"Koller D, Levy A, Pfeffer A (1997) P-CLASSIC: a tractable probablistic description logic. In: AAAI1997"},{"key":"314-1_CR29","unstructured":"Konev B, Lutz C, Ozaki A, Wolter F (2014) Exact learning of lightweight description logic ontologies. In: KR2014, pp 298\u2013307"},{"key":"314-1_CR30","unstructured":"Kr\u00f6tzsch M, Rudolph S, Hitzler P (2008) Description logic rules. In: ECAI2008, pp 80\u201384"},{"key":"314-1_CR31","first-page":"361","volume-title":"Lecture Notes in Computer Science","author":"Luciano Serafini","year":"2005","unstructured":"Serafini L, Tamilin A (2005) Drago: distributed reasoning architecture for the semantic web. In: ESWC2005, pp 361\u2013376"},{"key":"314-1_CR32","doi-asserted-by":"crossref","unstructured":"Lecue F, Pan JZ (2015) Consistent knowledge discovery from evolving ontologies. In: AAAI-15","DOI":"10.1609\/aaai.v29i1.9175"},{"key":"314-1_CR33","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"HJ Levesque","year":"1987","unstructured":"Levesque HJ, Brachman RJ (1987) Expressiveness and tractability in knowledge representation and reasoning. Comput Intell 3:78\u201393","journal-title":"Comput Intell"},{"key":"314-1_CR34","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz V (2002) Answer set programming and plan generation. Artif Intell 138:39\u201354","journal-title":"Artif Intell"},{"key":"314-1_CR35","unstructured":"Lisi FA, Malerba D (2003) Ideal refinement of descriptions in AL-Log. In: ICILP2003"},{"key":"314-1_CR36","unstructured":"Lutz C, Seylan I, Wolter F (2013) Ontology-based data access with closed predicates is inherently intractable (Sometimes). In: IJCAI2013, pp 1024\u20131030"},{"key":"314-1_CR37","first-page":"88","volume":"2","author":"RM MacGregor","year":"1991","unstructured":"MacGregor RM (1991) Inside the LOOM description classifier. ACM SIGART Bull \u2013 special issue on implemented knowledge representation and reasoning systems 2:88\u201392","journal-title":"ACM SIGART Bull \u2013 special issue on implemented knowledge representation and reasoning systems"},{"key":"314-1_CR38","first-page":"307","volume-title":"Lecture Notes in Computer Science","author":"Boris Motik","year":"2008","unstructured":"Motik B, Horrocks I (2008) Owl datatypes: design and implementation. In: ISWC2008, pp 307\u2013322"},{"key":"314-1_CR39","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B Motik","year":"2005","unstructured":"Motik B, Sattler U, Studer R (2005) Query answering for OWL-DL with rules. J Web Semant 3:41\u201360","journal-title":"J Web Semant"},{"key":"314-1_CR40","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik B, Shearer R, Horrocks I (2009) Hypertableau reasoning for description logics. J Artif Intell Res 36: 165\u2013228","journal-title":"J Artif Intell Res"},{"key":"314-1_CR41","doi-asserted-by":"crossref","unstructured":"Motik B, Nenov Y, Piro R, Horrocks I, Olteanu D (2014) Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: AAAI2014","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"314-1_CR42","doi-asserted-by":"crossref","unstructured":"Motik B, Nenov Y, Piro R, Horrocks I (2015a) Handling of owl: sameAs via rewriting. In: AAAI2015","DOI":"10.1609\/aaai.v29i1.9187"},{"key":"314-1_CR43","doi-asserted-by":"crossref","unstructured":"Motik B, Nenov Y, Robert Piro IH (2015b) Incremental update of datalog materialisation: the backward\/forward algorithm. In: AAAI2015","DOI":"10.1609\/aaai.v29i1.9409"},{"key":"314-1_CR44","doi-asserted-by":"crossref","unstructured":"Newell A, Shaw C, Simon H (1957) Empirical explorations of the logic theory machine. In: Proceedings of the 1957 western joint computer conference","DOI":"10.1145\/1455567.1455605"},{"key":"314-1_CR45","first-page":"30","volume-title":"Lecture Notes in Computer Science","author":"Jeff Z. Pan","year":"2003","unstructured":"Pan JZ, Horrocks I (2003) RDFS(FA) and RDF MT: two semantics for RDFS. In: Fensel D, Sycara K, Mylopoulos J (eds) ISWC2003"},{"key":"314-1_CR46","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.websem.2005.08.001","volume":"4","author":"JZ Pan","year":"2006","unstructured":"Pan JZ, Horrocks I (2006) OWL-Eu: adding customised datatypes into OWL. J Web Semant 4:29\u201339","journal-title":"J Web Semant"},{"key":"314-1_CR47","unstructured":"Pan JZ, Thomas E (2007) Approximating OWL-DL ontologies. In: The proceedings of the 22nd national conference on artificial intelligence (AAAI-07), pp 1434\u20131439"},{"key":"314-1_CR48","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.artint.2015.10.004","volume":"235","author":"JZ Pan","year":"2016","unstructured":"Pan JZ, Ren Y, Zhao Y (2016a) Tractable approximate deduction for OWL. Artif Intell 235:95\u2013155","journal-title":"Artif Intell"},{"key":"314-1_CR49","volume-title":"Exploiting linked data and knowledge graphs for large organisations","author":"JZ Pan","year":"2016","unstructured":"Pan JZ, Vetere G, Gomez-Perez J, Wu H (2016b) Exploiting linked data and knowledge graphs for large organisations. Springer, Switzerland"},{"key":"314-1_CR50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49493-7","volume-title":"Reasoning web: logical foundation of knowledge graph construction and querying answering","author":"JZ Pan","year":"2017","unstructured":"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"},{"key":"314-1_CR51","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1002\/int.20470","volume":"26","author":"G Qi","year":"2011","unstructured":"Qi G, Ji Q, Pan JZ, Du J (2011) Extending description logics with uncertainty reasoning in possibilistic logic. Int J Intell Syst 26:353\u2013381","journal-title":"Int J Intell Syst"},{"key":"314-1_CR52","first-page":"178","volume-title":"Weighted defaults in description logics: formal properties and proof theory","author":"JJ Quantz","year":"1994","unstructured":"Quantz JJ, Suska S (1994) Weighted defaults in description logics: formal properties and proof theory. In: Annual conference on artificial intelligence, pp 178\u2013189"},{"key":"314-1_CR53","volume-title":"(2011) Optimising ontology stream reasoning with truth maintenance system","author":"Y Ren","year":"2011","unstructured":"Ren Y, Pan JZ (2011) Optimising ontology stream reasoning with truth maintenance system. In: CIKM 2011"},{"key":"314-1_CR54","doi-asserted-by":"crossref","unstructured":"Ren Y, Pan JZ, Zhao Y (2010) Soundness preserving approximation for TBox reasoning. In: AAAI2010","DOI":"10.1609\/aaai.v24i1.7602"},{"key":"314-1_CR55","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-319-07443-6_50"},{"key":"314-1_CR56","doi-asserted-by":"crossref","unstructured":"Ren Y, Pan JZ, Guclu I, Kollingbaum M (2016) A combined approach to incremental reasoning for EL ontologies. In: RR2016","DOI":"10.1007\/978-3-319-45276-0_13"},{"key":"314-1_CR57","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.websem.2015.03.001","volume":"33","author":"M Rodriguez-Muro","year":"2015","unstructured":"Rodriguez-Muro M, Rezk M (2015) Efficient SPARQL-to-SQL with R2RML mappings. J Web Semant 33:141\u2013169","journal-title":"J Web Semant"},{"key":"314-1_CR58","unstructured":"Rodriguez-Muro M, Kontchakov R, Zakharyaschev M (2013) Query rewriting and optimisation with database dependencies in ontop. In: DL2013"},{"key":"314-1_CR59","unstructured":"Rosati R, Almatelli A (2010) Improving query answering over DL-Lite ontologies. In: KR2010, pp 290\u2013300"},{"key":"314-1_CR60","doi-asserted-by":"crossref","unstructured":"Shortliffe EH (1974) MYCIN: a rule-based computer program from advising physicians regarding antimicrobial therapy selection. PhD thesis, Stanford University","DOI":"10.1145\/1408800.1408906"},{"key":"314-1_CR61","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Grau B, Kalyanpur A, Katz Y (2007) Pellet: a practical owl-dl reasoner. J Web Semant 5:51\u201353","journal-title":"J Web Semant"},{"key":"314-1_CR62","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1613\/jair.4897","volume":"54","author":"A Steigmiller","year":"2015","unstructured":"Steigmiller A, Glimm B (2015) Pay-As-You-Go description logic reasoning by coupling tableau and saturation procedure. J Artif Intell Res 54:535\u2013592","journal-title":"J Artif Intell Res"},{"key":"314-1_CR63","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-014-9310-4","volume":"53","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller A, Glimm B, Liebig T (2014a) Reasoning with nominal schemas through absorption. J Autom Reason 53:351\u2013405","journal-title":"J Autom Reason"},{"key":"314-1_CR64","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","volume":"27","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller A, Liebig T, Glimm B (2014b) Konclude: system description. J Web Semant 27:78\u201385","journal-title":"J Web Semant"},{"key":"314-1_CR65","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1613\/jair.813","volume":"14","author":"U Straccia","year":"2001","unstructured":"Straccia U (2001) Reasoning within fuzzy description logics. J Artif Intell Res 14:147\u2013176","journal-title":"J Artif Intell Res"},{"key":"314-1_CR66","unstructured":"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"},{"key":"314-1_CR67","doi-asserted-by":"crossref","unstructured":"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\u201315","DOI":"10.1007\/978-3-540-89704-0_1"},{"key":"314-1_CR68","doi-asserted-by":"crossref","unstructured":"Thomas E, Pan JZ, Ren Y (2010) TrOWL: tractable OWL 2 reasoning infrastructure. In: ESWC2010","DOI":"10.1007\/978-3-642-13489-0_38"},{"key":"314-1_CR69","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"Dmitry Tsarkov","year":"2006","unstructured":"Tsarkov D, Horrocks I (2006) FaCT++ description logic reasoner: system description. In: IJCAR2006, pp 292\u2013297"},{"key":"314-1_CR70","doi-asserted-by":"crossref","unstructured":"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\u20131580","DOI":"10.1145\/2488388.2488525"}],"container-title":["Encyclopedia of Big Data Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63962-8_314-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,5]],"date-time":"2023-09-05T11:49:07Z","timestamp":1693914547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63962-8_314-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319639628","9783319639628"],"references-count":70,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63962-8_314-1","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"25 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}