Reasoning Web. Web Logic Rules, Wolfgang Faber; Adrian Paschke
Автор: Axel Polleres; Terrance Swift Название: Web Reasoning and Rule Systems ISBN: 3642050816 ISBN-13(EAN): 9783642050817 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Third International Conference RR 2009 Chantilly VA USA October 2526 2009 Proceedings. .
Автор: Ortiz Название: Web Reasoning and Rule Systems ISBN: 3319452754 ISBN-13(EAN): 9783319452753 Издательство: Springer Рейтинг: Цена: 39130.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 10th International Conference on Web Reasoning and Rule Systems, RR 2016, held in Aberdeen, Scotland, UK, in September 2016.The 10 full papers and 3 technical communications presented were carefully reviewed and selected from 17 submissions.
Автор: Giovambattista Ianni; Domenico Lembo; Leopoldo Ber Название: Reasoning Web. Semantic Interoperability on the Web ISBN: 3319610325 ISBN-13(EAN): 9783319610320 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017.
In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies.
Автор: Fernando Bobillo; Rommel N. Carvalho; Paulo C.G. C Название: Uncertainty Reasoning for the Semantic Web III ISBN: 3319134124 ISBN-13(EAN): 9783319134123 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book contains revised and significantly extended versions of selected papers from three workshops on Uncertainty Reasoning for the Semantic Web (URSW), held at the International Semantic Web Conferences (ISWC) in 2011, 2012, and 2013.
Автор: Sergio Tessaris; Enrico Franconi; Thomas Eiter; Cl Название: Reasoning Web. Semantic Technologies for Information Systems ISBN: 3642037534 ISBN-13(EAN): 9783642037535 Издательство: Springer Рейтинг: Цена: 45610.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book contains a collection of revised tutorial papers based on lectures given by researchers at the 5th International Summer School on the Reasoning Web. It introduces semantic web methods and research issues with a particular emphasis on reasoning.
Автор: Balder ten Cate; Alessandra Mileo Название: Web Reasoning and Rule Systems ISBN: 3319220012 ISBN-13(EAN): 9783319220017 Издательство: Springer Рейтинг: Цена: 37270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems.
Автор: Wolfgang Faber; Domenico Lembo Название: Web Reasoning and Rule Systems ISBN: 3642396658 ISBN-13(EAN): 9783642396656 Издательство: Springer Рейтинг: Цена: 42860.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Invited Talks.- Inconsistency Management for Description Logic Programs and Beyond.- Reasoning About Pattern-Based XML Queries.- Answer Set Programming: Language, Applications and Development Tools.- Full Papers.- A Variant of Earley Deduction with Partial Evaluation.- Verification and Synthesis in Description Logic Based Dynamic Systems.- Towards an Efficient Algorithm to Reason over Description Logics.- Extended with Nominal Schemas.- Computing Incoherence Explanations for Learned Ontologies.- An Ontology-Based Reasoning Approach for Electric Power Utilities.- Conjunctive Queries with Negation over DL-Lite: A Closer Look.- On the Exploration of the Query Rewriting Space with Existential Rules.- Incomplete Information in RDF.- RIO: Minimizing User Interaction in Ontology Debugging.- Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.- BUNDLE: A Reasoner for Probabilistic Ontologies.- Technical Communications.- Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal.- Rule Revision in Normal DL Logic Programs.- OBDA and Intermodal Logistics: Active Projects and Applications.- Semantic Pervasive Advertising.- Semantics for Mapping Relations in SKOS.- From OWL to DL-Lite through Efficient Ontology Approximation.- PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search.- An Analyzer of Existential Rule Bases.- Stream Rule: A Nonmonotonic Stream Reasoning System for the Semantic Web.-An Integrated Environment for Reasoning over Ontologies via Logic Programming.- Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity.- Parameter Learning for Probabilistic Ontologies.
Автор: Stefania Costantini; Enrico Franconi; William Van Название: Rules and Reasoning ISBN: 3319612514 ISBN-13(EAN): 9783319612515 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems).
This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016.
In 2016, the theme of the school was "Logical Foundation of Knowledge Graph Construction and Query Answering". The notion of knowledge graph has become popular since Google started to use it to improve its search engine in 2012. Inspired by the success of Google, knowledge graphs are gaining momentum in the World Wide Web arena. Recent years have witnessed increasing industrial take-ups by other Internet giants, including Facebook's Open Graph and Microsoft's Satori.
The aim of the lecture note is to provide a logical foundation for constructing and querying knowledge graphs. Our journey starts from the introduction of Knowledge Graph as well as its history, and the construction of knowledge graphs by considering both explicit and implicit author intentions. The book will then cover various topics, including how to revise and reuse ontologies (schema of knowledge graphs) in a safe way, how to combine navigational queries with basic pattern matching queries for knowledge graph, how to setup a environment to do experiments on knowledge graphs, how to deal with inconsistencies and fuzziness in ontologies and knowledge graphs, and how to combine machine learning and machine reasoning for knowledge graphs.
Автор: Grigoris Antoniou; Uwe A?mann; Cristina Baroglio; Название: Reasoning Web ISBN: 3540746137 ISBN-13(EAN): 9783540746133 Издательство: Springer Рейтинг: Цена: 40990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Contains a collection of revised tutorial papers based on lectures given by some of the leading researchers at the Second International Summer School on the Reasoning Web in Dresden, Germany, September 3-7, 2007. This book provides an introduction to Semantic Web methods and research issues with a focus on reasoning.
Автор: Pedro Barahona; Fran?ois Bry; Enrico Franconi; Nic Название: Reasoning Web ISBN: 354038409X ISBN-13(EAN): 9783540384090 Издательство: Springer Рейтинг: Цена: 41930.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second International Summer School on Reasoning Web in Lisbon, Portugal, in September 2006.
Автор: Iliano Cervesato; Helmut Veith; Andrei Voronkov Название: Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 3540894381 ISBN-13(EAN): 9783540894384 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. This book contains the papers that address issues in automated reasoning, computational logic, and programming languages.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
