Invited Talks and Tutorial

• 
  Andrea Calì, Georg Gottlob, Andreas Pieris: Query Answering under Non-guarded Rules in Datalog+/-. 1-17
• 
  Evren Sirin: Data Validation with OWL Integrity Constraints - (Extended Abstract). 18-22
• 
  Axel Polleres: SPARQL1.1: New Features and Friends (OWL2, RIF). 23-26

Full Papers

• 
  Fernando Náufel do Amaral: Usability of a Visual Language for DL Concept Descriptions. 27-41
• 
  Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer: A Rule-Based Language for Complex Event Processing and Reasoning. 42-57
• 
  Ankesh Khandelwal, Jie Bao, Lalana Kagal, Ian Jacobi, Li Ding, James A. Hendler: Analyzing the AIR Language: A Semantic Web (Production) Rule Language. 58-72
• 
  Martin Knechtel, Heiner Stuckenschmidt: Query-Based Access Control for Ontologies. 73-87
• 
  Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt: On the Semantic Relationship between Datalog and Description Logics. 88-102
• 
  Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Inconsistency-Tolerant Semantics for Description Logics. 103-117
• 
  Frederick Maier: Extending Paraconsistent SROIQ\mathcal{SROIQ}. 118-132
• 
  Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran: Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries. 133-148
• 
  Hui Wan, Michael Kifer, Benjamin N. Grosof: Defeasibility in Answer Set Programs via Argumentation Theories. 149-163

Short Papers

• 
  Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia: A Rule-Based Approach to XML Processing and Web Reasoning. 164-172
• 
  Nicola Fanizzi, Claudia d'Amato, Floriana Esposito: Learning to Rank Individuals in Description Logics Using Kernel Perceptrons. 173-181
• 
  Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel: A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies. 182-194
• 
  Jia Tao, Giora Slutzki, Vasant Honavar: Secrecy-Preserving Query Answering for Instance Checking in EL\mathcal{EL}. 195-203
• 
  Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Embeddings of Simple Modular Extended RDF. 204-212
• 
  Klara A. Weiand, Steffen Hausmann, Tim Furche, François Bry: KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge. 213-222

Poster/Position Papers

• 
  Loris Bozzato, Mauro Ferrari: Composition of Semantic Web Services in a Constructive Description Logic. 223-226
• 
  Stefano Bragaglia, Federico Chesani, Paola Mello, Davide Sottara: A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. 227-230
• 
  Giacomo Fiumara, Massimo Marchi, Rosamaria Pagano, Alessandro Provetti: Rule-Based Spam E-mail Annotation. 231-234
• 
  Carsten Keßler: A RESTful SWRL Rule Editor. 235-238

PhD Description

• 
  Michael Meier: On the Termination of the Chase Algorithm. 239-243

System Descriptions

• 
  Marco Marano, Philipp Obermeier, Axel Polleres: Processing RIF and OWL2RL within DLVHEX. 244-250
• 
  Harald Zauner, Benedikt Linse, Tim Furche, François Bry: A RPL through RDF: Expressive Navigation in RDF Graphs. 251-257

last updated on Fri May 24 05:24:29 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page