Abstract is missing.
- Inconsistency Management for Description Logic Programs and BeyondThomas Eiter, Michael Fink, Daria Stepanova 0001. 1-3 [doi]
- Reasoning About Pattern-Based XML QueriesAmélie Gheerbrant, Leonid Libkin, Cristina Sirangelo. 4-18 [doi]
- Answer Set Programming: Language, Applications and Development ToolsGiovanni Grasso, Nicola Leone, Francesco Ricca. 19-34 [doi]
- A Variant of Earley Deduction with Partial EvaluationStefan Brass, Heike Stephan. 35-49 [doi]
- Verification and Synthesis in Description Logic Based Dynamic SystemsDiego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi. 50-64 [doi]
- Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal SchemasDavid Carral Martínez, Cong Wang, Pascal Hitzler. 65-79 [doi]
- Computing Incoherence Explanations for Learned OntologiesDaniel Fleischhacker, Christian Meilicke, Johanna Völker, Mathias Niepert. 80-94 [doi]
- An Ontology-Based Reasoning Approach for Electric Power UtilitiesMohamed Gaha, Arnaud Zinflou, Christian Langheit, Alexandre Bouffard, Mathieu Viau, Luc Vouligny. 95-108 [doi]
- Conjunctive Queries with Negation over DL-Lite: A Closer LookVíctor Gutiérrez-Basulto, Yazmin Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev. 109-122 [doi]
- On the Exploration of the Query Rewriting Space with Existential RulesMélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. 123-137 [doi]
- Incomplete Information in RDFCharalampos Nikolaou, Manolis Koubarakis. 138-152 [doi]
- RIO: Minimizing User Interaction in Ontology DebuggingPatrick Rodler, Kostyantyn M. Shchekotykhin, Philipp Fleiss, Gerhard Friedrich. 153-167 [doi]
- Eliminating Nonmonotonic DL-Atoms in Description Logic ProgramsYisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen. 168-182 [doi]
- BUNDLE: A Reasoner for Probabilistic OntologiesFabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese. 183-197 [doi]
- Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get FormalBruno Berstel-Da Silva, Amina Chniti. 198-203 [doi]
- Rule Revision in Normal DL Logic ProgramsSebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang. 204-209 [doi]
- OBDA and Intermodal Logistics: Active Projects and ApplicationsJean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella. 210-215 [doi]
- Semantic Pervasive AdvertisingLorenzo Carrara, Giorgio Orsi, Letizia Tanca. 216-222 [doi]
- Semantics for Mapping Relations in SKOSMika Cohen. 223-228 [doi]
- From OWL to DL - Lite through Efficient Ontology ApproximationMarco Console, Valerio Santarelli, Domenico Fabio Savo. 229-234 [doi]
- PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile SearchBeibei Hu, Yves Vanrompay, Marie-Aude Aufaure. 235-240 [doi]
- Kiabora: An Analyzer of Existential Rule BasesMichel Leclère, Marie-Laure Mugnier, Swan Rocher. 241-246 [doi]
- StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic WebAlessandra Mileo, Ahmed Abdelrahman, Sean Policarpio, Manfred Hauswirth. 247-252 [doi]
- An Integrated Environment for Reasoning over Ontologies via Logic ProgrammingBarbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina. 253-258 [doi]
- HornDL: An Expressive Horn Description Logic with PTime Data ComplexityLinh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas. 259-264 [doi]
- Parameter Learning for Probabilistic OntologiesFabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese. 265-270 [doi]