大葉大學圖書館 |

Reasoning web[electronic resource] :web logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.74
書名/作者:	Reasoning web : web logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures // edited by Wolfgang Faber, Adrian Paschke.
其他作者:	Faber, Wolfgang.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2015.
面頁冊數:	ix, 333 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Semantic Web
標題:	Semantic computing - Congresses.
標題:	Computer Science.
標題:	Database Management.
標題:	Artificial Intelligence (incl. Robotics)
標題:	Mathematical Logic and Formal Languages.
標題:	Information Storage and Retrieval.
標題:	Information Systems Applications (incl. Internet)
ISBN:	9783319217680 (electronic bk.)
ISBN:	9783319217673 (paper)
內容註:	All About Fuzzy Description Logics and Applications -- Higher-Order Modal Logics: Automation and Applications -- Web Stream Reasoning: from Data Streams to Actionable Knowledge -- Recommender Systems and Linked Open Data -- The TPTP World - Infrastructure for Automated Reasoning -- PSOA Rule ML: Integrated Object-Relational Data and Rules -- Legal Rule ML: Design Principles and Foundations -- The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress -- Recent Advances in Datalog+/- -- Ontology-mediated query answering with data-tractable description logics -- Towards embedded Answer Set Solving -- Answer Set Programming: A tour from the basics to advanced development tools and industrial applications.
摘要、提要註:	This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015. In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, ontologies, rules, and logic.
電子資源:	http://dx.doi.org/10.1007/978-3-319-21768-0

Reasoning web[electronic resource] :web logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures /
Reasoning webweb logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures /[electronic resource] :edited by Wolfgang Faber, Adrian Paschke. - Cham :Springer International Publishing :2015. - ix, 333 p. :ill., digital ;24 cm. - Lecture notes in computer science,92030302-9743 ;. - Lecture notes in computer science ;7103..

All About Fuzzy Description Logics and Applications -- Higher-Order Modal Logics: Automation and Applications -- Web Stream Reasoning: from Data Streams to Actionable Knowledge -- Recommender Systems and Linked Open Data -- The TPTP World - Infrastructure for Automated Reasoning -- PSOA Rule ML: Integrated Object-Relational Data and Rules -- Legal Rule ML: Design Principles and Foundations -- The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress -- Recent Advances in Datalog+/- -- Ontology-mediated query answering with data-tractable description logics -- Towards embedded Answer Set Solving -- Answer Set Programming: A tour from the basics to advanced development tools and industrial applications.

This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015. In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, ontologies, rules, and logic.

ISBN: 9783319217680 (electronic bk.)

Standard No.: 10.1007/978-3-319-21768-0doiSubjects--Topical Terms:

214650
Semantic Web

LC Class. No.: TK5105.88815

Dewey Class. No.: 005.74

Reasoning web[electronic resource] :web logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures /
LDR:02178nam a2200337 a 4500 001 442989
003 DE-He213
005 20160225105214.0
006 m d
007 cr nn 008maaau
008 160715s2015 gw s 0 eng d
020 $a 9783319217680 (electronic bk.)
020 $a 9783319217673 (paper)
024 7 $a 10.1007/978-3-319-21768-0 $2 doi
035 $a 978-3-319-21768-0
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.88815
072 7 $a UN $2 bicssc
072 7 $a UMT $2 bicssc
072 7 $a COM021000 $2 bisacsh
082 0 4 $a 005.74 $2 23
090 $a TK5105.88815 $b .S955 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Reasoning web $h [electronic resource] : $b web logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures / $c edited by Wolfgang Faber, Adrian Paschke.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a ix, 333 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9203
505 0 $a All About Fuzzy Description Logics and Applications -- Higher-Order Modal Logics: Automation and Applications -- Web Stream Reasoning: from Data Streams to Actionable Knowledge -- Recommender Systems and Linked Open Data -- The TPTP World - Infrastructure for Automated Reasoning -- PSOA Rule ML: Integrated Object-Relational Data and Rules -- Legal Rule ML: Design Principles and Foundations -- The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress -- Recent Advances in Datalog+/- -- Ontology-mediated query answering with data-tractable description logics -- Towards embedded Answer Set Solving -- Answer Set Programming: A tour from the basics to advanced development tools and industrial applications.
520 $a This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015. In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, ontologies, rules, and logic.
650 0 $a Semantic Web $3 214650
650 0 $a Semantic computing $v Congresses. $3 468016
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Database Management. $3 463966
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 463642
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
650 2 4 $a Information Storage and Retrieval. $3 464540
650 2 4 $a Information Systems Applications (incl. Internet) $3 463679
700 1 $a Faber, Wolfgang. $3 633228
700 1 $a Paschke, Adrian. $3 510805
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-21768-0
950 $a Computer Science (Springer-11645)