InhaltsangabeInvited Talks.- Inconsistency Management for Description Logic Programs and Beyond.- Reasoning About Pattern-Based XML Queries.- Answer Set Programming: Language, Applications and Development Tools.- Full Papers.- A Variant of Earley Deduction with Partial Evaluation.- Verification and Synthesis in Description Logic Based Dynamic Systems.- Towards an Efficient Algorithm to Reason over Description Logics.- Extended with Nominal Schemas.- Computing Incoherence Explanations for Learned Ontologies.- An Ontology-Based Reasoning Approach for Electric Power Utilities.- Conjunctive Queries with Negation over DL-Lite: A Closer Look.- On the Exploration of the Query Rewriting Space with Existential Rules.- Incomplete Information in RDF.- RIO: Minimizing User Interaction in Ontology Debugging.- Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.- BUNDLE: A Reasoner for Probabilistic Ontologies.- Technical Communications.- Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal.- Rule Revision in Normal DL Logic Programs.- OBDA and Intermodal Logistics: Active Projects and Applications.- Semantic Pervasive Advertising.- Semantics for Mapping Relations in SKOS.- From OWL to DL-Lite through Efficient Ontology Approximation.- PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search.- An Analyzer of Existential Rule Bases.- Stream Rule: A Nonmonotonic Stream Reasoning System for the Semantic Web.-An Integrated Environment for Reasoning over Ontologies via Logic Programming.- Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity.- Parameter Learning for Probabilistic Ontologies.

InhaltsangabeInvited Talks.- Inconsistency Management for Description Logic Programs and Beyond.- Reasoning About Pattern-Based XML Queries.- Answer Set Programming: Language, Applications and Development Tools.- Full Papers.- A Variant of Earley Deduction with Partial Evaluation.- Verification and Synthesis in Description Logic Based Dynamic Systems.- Towards an Efficient Algorithm to Reason over Description Logics.- Extended with Nominal Schemas.- Computing Incoherence Explanations for Learned Ontologies.- An Ontology-Based Reasoning Approach for Electric Power Utilities.- Conjunctive Queries with Negation over DL-Lite: A Closer Look.- On the Exploration of the Query Rewriting Space with Existential Rules.- Incomplete Information in RDF.- RIO: Minimizing User Interaction in Ontology Debugging.- Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.- BUNDLE: A Reasoner for Probabilistic Ontologies.- Technical Communications.- Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal.- Rule Revision in Normal DL Logic Programs.- OBDA and Intermodal Logistics: Active Projects and Applications.- Semantic Pervasive Advertising.- Semantics for Mapping Relations in SKOS.- From OWL to DL-Lite through Efficient Ontology Approximation.- PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search.- An Analyzer of Existential Rule Bases.- Stream Rule: A Nonmonotonic Stream Reasoning System for the Semantic Web.-An Integrated Environment for Reasoning over Ontologies via Logic Programming.- Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity.- Parameter Learning for Probabilistic Ontologies.