Reasoning im und für das Semantic Web

Dieses Kapitel gibt zuerst einen kurzen historischen Uberblick uber „Reasoning“, d. h. Schliesen, Wissensreprasentation und „kunstliche Intelligenz“. Der Hauptteil geht auf einige „Reasoning“-Mechanismen und -Konzepte, die im Semantic Web eine Rolle spielen, ein und zeigt, wie dieses „Reasoning“ — unauffallig — in den Konzepten des Semantic Web zur Beschreibung von Wissensbasen enthalten ist. Weiterhin werden Reasoning-Mechanismen umrissen, die dem Zusammenspiel verschiedener Knoten im Semantic Web dienen, und ein kurzes Fazit gezogen.

[1]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[2]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[3]  Wolfgang Nejdl,et al.  Distributed Queries and Query Optimization in Schema-Based P2P-Systems , 2003, DBISP2P.

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

[5]  Wolfgang May,et al.  Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages , 2001, J. Log. Comput..

[6]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[7]  Stefan Decker,et al.  A Query Service for RDF , 1998, QL.

[8]  Tim Furche,et al.  Survey over Existing Query and Transformation Languages , 2004 .

[9]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[10]  Massimo Marchiori,et al.  Ten Theses on Logic Languages for the Semantic Web , 2005, Rule Languages for Interoperability.

[11]  Amit P. Sheth,et al.  Semantics for the Semantic Web: The Implicit, the Formal and the Powerful , 2005, Int. J. Semantic Web Inf. Syst..

[12]  Donald Kossmann,et al.  The state of the art in distributed query processing , 2000, CSUR.

[13]  Frank van Harmelen,et al.  Introduction to Semantic Web Ontology Languages , 2005, Reasoning Web.

[14]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[15]  José Júlio Alferes,et al.  Towards Generic Query, Update, and Event Languages for the Semantic Web , 2004, PPSWR.

[16]  Diego Calvanese,et al.  What is Query Rewriting? , 2000, CIA.

[17]  Dan Brickley,et al.  Resource description framework (RDF) schema specification , 1998 .

[18]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[19]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[20]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[21]  José Júlio Alferes,et al.  Evolution and Reactivity for the Web , 2005, Reasoning Web.

[22]  Stefan Conrad,et al.  Föderierte Datenbanksysteme - Konzepte der Datenintegration , 1997 .

[23]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[24]  Alon Y. Halevy,et al.  Answering queries using views: A survey , 2001, The VLDB Journal.

[25]  Alberto Martelli,et al.  Rule-based Policy Specification : State of the Art and Future Work , 2004 .

[26]  Wolfgang Nejdl,et al.  A logical characterization of adaptive educational hypermedia , 2004, New Rev. Hypermedia Multim..

[27]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[28]  Steffen Staab,et al.  The Ontology Inference Layer OIL , 2000 .

[29]  William A. Weiss,et al.  Fundamentals of Model Theory , 1997 .

[30]  D. Gabbay,et al.  Handbook of tableau methods , 1999 .

[31]  José Júlio Alferes,et al.  State-of-the-art on evolution and reactivity , 2004 .

[32]  Michael Kifer,et al.  An Overview of Transaction Logic , 1994, Theor. Comput. Sci..

[33]  Benjamin N. Grosof,et al.  Combining Rules and Ontologies . A survey . , 2005 .

[34]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[35]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[36]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[37]  Dan Suciu,et al.  Distributed query evaluation on semistructured data , 2002, TODS.

[38]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[39]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[40]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .