Skip to main content
main-content

Über dieses Buch

This book constitutes the refereed proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013, held in Manheim, Germany in July 2013. The 19 revised research papers and 4 technical communications presented together with 2 invited talks and 1 tutorial talk were carefully reviewed and selected from 34 submissions. The scope of conference is decision making, planning, and intelligent agents, reasoning, machine learning, knowledge extraction and IR technologies, large-scale data management and reasoning on the web of data, data integration, dataspaces and ontology-based data access, non-standard reasoning, algorithms for distributed, parallelized, and scalable reasoning, and system descriptions and experimentation.

Inhaltsverzeichnis

Frontmatter

Invited Talks

2013 | OriginalPaper | Buchkapitel

Inconsistency Management for Description Logic Programs and Beyond

Thomas Eiter, Michael Fink, Daria Stepanova

2013 | OriginalPaper | Buchkapitel

Reasoning About Pattern-Based XML Queries

Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo

2013 | OriginalPaper | Buchkapitel

Answer Set Programming: Language, Applications and Development Tools

Giovanni Grasso, Nicola Leone, Francesco Ricca

Full Papers

2013 | OriginalPaper | Buchkapitel

A Variant of Earley Deduction with Partial Evaluation

Stefan Brass, Heike Stephan

2013 | OriginalPaper | Buchkapitel

Verification and Synthesis in Description Logic Based Dynamic Systems

Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi

2013 | OriginalPaper | Buchkapitel

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

David Carral, Cong Wang, Pascal Hitzler

2013 | OriginalPaper | Buchkapitel

Computing Incoherence Explanations for Learned Ontologies

Daniel Fleischhacker, Christian Meilicke, Johanna Völker, Mathias Niepert

2013 | OriginalPaper | Buchkapitel

An Ontology-Based Reasoning Approach for Electric Power Utilities

Mohamed Gaha, Arnaud Zinflou, Christian Langheit, Alexandre Bouffard, Mathieu Viau, Luc Vouligny

2013 | OriginalPaper | Buchkapitel

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

Víctor Gutiérrez-Basulto, Yazmín Ibañez-García, Roman Kontchakov, Egor V. Kostylev

2013 | OriginalPaper | Buchkapitel

On the Exploration of the Query Rewriting Space with Existential Rules

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo

2013 | OriginalPaper | Buchkapitel

Incomplete Information in RDF

Charalampos Nikolaou, Manolis Koubarakis

2013 | OriginalPaper | Buchkapitel

RIO: Minimizing User Interaction in Ontology Debugging

Patrick Rodler, Kostyantyn Shchekotykhin, Philipp Fleiss, Gerhard Friedrich

2013 | OriginalPaper | Buchkapitel

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs

Yisong Wang, Thomas Eiter, Jia-Huai You, LiYan Yuan, Yi-Dong Shen

2013 | OriginalPaper | Buchkapitel

BUNDLE: A Reasoner for Probabilistic Ontologies

Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese

Technical Communications

2013 | OriginalPaper | Buchkapitel

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

Bruno Berstel-Da Silva, Amina Chniti

2013 | OriginalPaper | Buchkapitel

Rule Revision in Normal DL Logic Programs

Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang

2013 | OriginalPaper | Buchkapitel

OBDA and Intermodal Logistics: Active Projects and Applications

Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella

2013 | OriginalPaper | Buchkapitel

Semantic Pervasive Advertising

Lorenzo Carrara, Giorgio Orsi, Letizia Tanca

2013 | OriginalPaper | Buchkapitel

Semantics for Mapping Relations in SKOS

Mika Cohen

2013 | OriginalPaper | Buchkapitel

From OWL to DL − Lite through Efficient Ontology Approximation

Marco Console, Valerio Santarelli, Domenico Fabio Savo

2013 | OriginalPaper | Buchkapitel

PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search

Beibei Hu, Yves Vanrompay, Marie-Aude Aufaure

2013 | OriginalPaper | Buchkapitel

Kiabora: An Analyzer of Existential Rule Bases

Michel Leclère, Marie-Laure Mugnier, Swan Rocher

2013 | OriginalPaper | Buchkapitel

StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web

Alessandra Mileo, Ahmed Abdelrahman, Sean Policarpio, Manfred Hauswirth

2013 | OriginalPaper | Buchkapitel

An Integrated Environment for Reasoning over Ontologies via Logic Programming

Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina

2013 | OriginalPaper | Buchkapitel

HornDL: An Expressive Horn Description Logic with PTime Data Complexity

Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szałas

2013 | OriginalPaper | Buchkapitel

Parameter Learning for Probabilistic Ontologies

Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise