The Semantic Web Explained: The Technology and Mathematics behind Web 3.0

The Semantic Web is a new area of research and development in the field of computer science, which aims to make it easier for computers to process the huge amount of information on the Web, and indeed other large databases, by enabling computers not only to read, but also understand the information. This book is intended to be a textbook about the Semantic Web and related topics, and is based on successful courses taught by the authors. They describe not only the theoretical issues underlying the semantic web, but also practical matters (such as algorithms, optimisation ideas and implementation details) and this aspect will make the book valuable as well to practitioners. Supplementary materials available via the web include include source the code of program examples, and the syntactic description of various languages.

[1]  Per Bothner.  Compiling XQuery to Java bytecodes , 2004, XIME-P.

[2]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

[3]  Franz Baader,et al.  Expressive Number Restrictions in Description Logics , 1999, J. Log. Comput..

[4]  Oliver A. McBryan,et al.  GENVL and WWWW: Tools for taming the Web , 1994, WWW Spring 1994.

[5]  Anni-Yasmin Turhan,et al.  RACE User's Guide and Reference Manual Version 1.1 , 1999 .

[6]  Ian Horrocks,et al.  Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.

[7]  Peter F. Patel-Schneider,et al.  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic , 1993, J. Artif. Intell. Res..

[8]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[9]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[10]  David R. Karger,et al.  Piggy Bank: Experience the Semantic Web Inside Your Web Browser , 2005, International Semantic Web Conference.

[11]  ChenPeter Pin-Shan.  The entity-relationship modeltoward a unified view of data , 1976 .

[12]  Dik Lun Lee,et al.  Document Ranking and the Vector-Space Model , 1997, IEEE Softw..

[13]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[14]  Bernhard Hollunder.  Consistency checking reduced to satisfiability of concepts in terminological systems , 2005, Annals of Mathematics and Artificial Intelligence.

[15]  Sergey Brin,et al.  The Anatomy of a Large-Scale Hypertextual Web Search Engine , 1998, Comput. Networks.

[16]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[17]  Manfred Schmidt-Schaubß,et al.  Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[18]  Ora Lassila,et al.  Enabling Semantic Web Programming by Integrating RDF and Common Lisp , 2001, SWWS.

[19]  Dave J. Beckett,et al.  The design and implementation of the redland RDF application framework , 2001, WWW '01.

[20]  Shankar Pal,et al.  XQuery Implementation in a Relational Database System , 2005, VLDB.

[21]  James A. Hendler,et al.  The semantic Web and its languages , 2000 .

[22]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[23]  Mark A. Musen,et al.  The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility , 2000, EKAW.

[24]  Raphael Volz,et al.  A Comparison of RDF Query Languages , 2004, SEMWEB.

[25]  Daniel P. Siewiorek,et al.  Toward Context-Aware Computing: Experiences and Lessons , 2001, IEEE Intell. Syst..

[26]  Neel Sundaresan,et al.  Using metadata to enhance Web information gathering , 2001 .

[27]  Andy Seaborne,et al.  Three Implementations of SquishQL, a Simple RDF Query Language , 2002, SEMWEB.

[28]  Bernhard Hollunder,et al.  On Skolemization in constrained logics , 1996, Annals of Mathematics and Artificial Intelligence.

[29]  Péter Szeredi,et al.  Information Integration through Reasoning on Meta-data , 2002 .

[30]  C. I. Lewis,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1944 .

[31]  Diego Calvanese,et al.  Description Logics for Conceptual Data Modeling , 1998, Logics for Databases and Information Systems.

[32]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[33]  Mark B. Sandler,et al.  Evaluation of the Music Ontology Framework , 2012, ESWC.

[34]  Peter F. Patel-Schneider,et al.  Three theses of representation in the semantic web , 2003, WWW '03.