Web Reasoning and Rule Systems

7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Editors:

ISBN: 978-3-642-39665-6 (Print) 978-3-642-39666-3 (Online)

Table of contents (26 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-3

      Inconsistency Management for Description Logic Programs and Beyond

    2. No Access

      Book Chapter

      Pages 4-18

      Reasoning About Pattern-Based XML Queries

    3. No Access

      Book Chapter

      Pages 19-34

      Answer Set Programming: Language, Applications and Development Tools

  3. Full Papers

    1. No Access

      Book Chapter

      Pages 35-49

      A Variant of Earley Deduction with Partial Evaluation

    2. No Access

      Book Chapter

      Pages 50-64

      Verification and Synthesis in Description Logic Based Dynamic Systems

    3. No Access

      Book Chapter

      Pages 65-79

      Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas

    4. No Access

      Book Chapter

      Pages 80-94

      Computing Incoherence Explanations for Learned Ontologies

    5. No Access

      Book Chapter

      Pages 95-108

      An Ontology-Based Reasoning Approach for Electric Power Utilities

    6. No Access

      Book Chapter

      Pages 109-122

      Conjunctive Queries with Negation over DL-Lite: A Closer Look

    7. No Access

      Book Chapter

      Pages 123-137

      On the Exploration of the Query Rewriting Space with Existential Rules

    8. No Access

      Book Chapter

      Pages 138-152

      Incomplete Information in RDF

    9. No Access

      Book Chapter

      Pages 153-167

      RIO: Minimizing User Interaction in Ontology Debugging

    10. No Access

      Book Chapter

      Pages 168-182

      Eliminating Nonmonotonic DL-Atoms in Description Logic Programs

    11. No Access

      Book Chapter

      Pages 183-197

      BUNDLE: A Reasoner for Probabilistic Ontologies

  4. Technical Communications

    1. No Access

      Book Chapter

      Pages 198-203

      Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let’s Get Formal

    2. No Access

      Book Chapter

      Pages 204-209

      Rule Revision in Normal DL Logic Programs

    3. No Access

      Book Chapter

      Pages 210-215

      OBDA and Intermodal Logistics: Active Projects and Applications

    4. No Access

      Book Chapter

      Pages 216-222

      Semantic Pervasive Advertising

    5. No Access

      Book Chapter

      Pages 223-228

      Semantics for Mapping Relations in SKOS

    6. No Access

      Book Chapter

      Pages 229-234

      From OWL to DL − Lite through Efficient Ontology Approximation

previous Page of 2