東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Reasoning web = web logic rules : 11...

Faber, Wolfgang.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Reasoning web/ edited by Wolfgang Faber, Adrian Paschke.
Reminder of title:	web logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures /
other author:	Faber, Wolfgang.
Published:	Cham :Springer International Publishing : : 2015.,
Description:	ix, 333 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer eBooks
Subject:	Semantic Web - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-21768-0
ISBN:	9783319217680 (electronic bk.)

Reasoning web = 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 ;5353..

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:

1244187
Semantic Web
--Congresses.

LC Class. No.: TK5105.88815

Dewey Class. No.: 005.74

Reasoning web = web logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures /
LDR:02178nmm a2200337 a 4500 001 2008923
003 DE-He213
005 20160225105214.0
006 m d
007 cr nn 008maaau
008 160311s2015 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
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 $v Congresses. $3 1244187
650 0 $a Semantic computing $v Periodicals. $3 1244880
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Database Management. $3 891010
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Information Storage and Retrieval. $3 761906
650 2 4 $a Information Systems Applications (incl. Internet) $3 1565452
700 1 $a Faber, Wolfgang. $3 1072314
700 1 $a Paschke, Adrian. $3 1621811
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-21768-0
950 $a Computer Science (Springer-11645)