02931nam 2200529 450 99641830190331620220207155541.03-030-60067-X10.1007/978-3-030-60067-9(CKB)4100000011515617(DE-He213)978-3-030-60067-9(MiAaPQ)EBC6380790(MiAaPQ)EBC6644074(Au-PeEL)EBL6380790(OCoLC)1228046420(Au-PeEL)EBL6644074(PPN)255064705(EXLCZ)99410000001151561720220207d2020 uy 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierReasoning webDeclarative artificial intelligence 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial lectures /Marco Manna, Andreas Pieris (editors)1st ed. 2020.Cham, Switzerland :Springer,[2020]©20201 online resource (IX, 255 p. 25 illus.) Lecture notes in computer science ;12258Includes index.3-030-60066-1 Introduction to Probabilistic Ontologies -- On the Complexity of Learning Description Logic Ontologies -- Explanation via Machine Arguing -- Stream Reasoning: From Theory to Practice -- First-Order Rewritability of Temporal Ontology-Mediated Queries -- An Introduction to Answer Set Programming and Some of Its Extensions -- Declarative Data Analysis using Limit Datalog Programs -- Knowledge Graphs: Research Directions.The Reasoning Web series of annual summer schools has become the prime educational event in the field of reasoning techniques on the Web, attracting both young and established researchers. The broad theme of this year's summer school was “Declarative Artificial Intelligence” and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures have been presented during the school: Introduction to Probabilistic Ontologies, On the Complexity of Learning Description Logic Ontologies, Explanation via Machine Arguing, Stream Reasoning: From Theory to Practice, First-Order Rewritability of Temporal Ontology-Mediated Queries, An Introduction to Answer Set Programming and Some of Its Extensions, Declarative Data Analysis using Limit Datalog Programs, and Knowledge Graphs: Research Directions.Lecture notes in computer science ;12258.Semantic WebCongressesSemantic Web025.04Manna MarcoPieris AndreasMiAaPQMiAaPQMiAaPQBOOK996418301903316Reasoning Web772295UNISA