Description Logics 2012: Rome, Italy
Yevgeny Kazakov, Domenico Lembo, Frank Wolter (Eds.): Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 846
Invited Talks
- Serge Abiteboul: Viewing the Web as a Distributed Knowledge Base.
- Piero A. Bonatti: Defaults in Description Logics: So Simple, So Difficult.
- Alan Rector: What's missing? DLs, OWL and the Ecology of Semantic Systems.
Paper Presentations
- Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov: Representability in DL-Lite_R Knowledge Base Exchange.
- Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks: Modular Combination of Reasoners for Ontology Classification.
- Franz Baader, Stefan Borgwardt, Barbara Morawska: A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes.
- Samantha Bail, Bijan Parsia, Ulrike Sattler: Diversity of Reason: Equivalence Relations over Description Logic Explanations.
- Meghyn Bienvenu: Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies.
- Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus: Answering Expressive Path Queries over Lightweight DL Knowledge Bases.
- Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati: Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.
- Stefan Borgwardt, Felix Distel, Rafael Peñaloza: Gödel Negation Makes Unwitnessed Consistency Crisp.
- Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao: Towards Practical Query Answering for Horn-SHIQ.
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.
- Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler: Concept-Based Semantic Difference in Expressive Description Logics.
- Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz: Equality-Friendly Well-Founded Semantics and Applications to Description Logics.
- Yazmin Angélica Ibáñez-García: Finite Model Reasoning in DL-Lite with Cardinality Constraints.
- Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky: An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting.
- Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev: Long Rewritings, Short Rewritings.
- Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions.
- Carsten Lutz, Inanç Seylan, Frank Wolter: Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity.
- Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming.
- Hai H. Nguyen, Natasha Alechina, Brian Logan: Axiom Pinpointing Using an Assumption-Based Truth Maintenance System.
- Özgür L. Özçep, Ralf Möller: Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering.
- Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente: OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.
- Riccardo Rosati: Query Rewriting under Extensional Constraints in DL-Lite.
- Frantisek Simancik: Elimination of Complex RIAs without Automata.
- Dmitry Tsarkov: Improved Algorithms for Module Extraction and Atomic Decomposition.
Poster Presentations
- Mina Aslani, Volker Haarslev: Concurrent Classification of OWL Ontologies - An Empirical Evaluation.
- Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin: ORM2 Encoding into Description Logic (Extended Abstract).
- Francesca A. Lisi: A Formal Characterization of Concept Learning in Description Logics.
- Jaromir Malenko, Petr Stepánek: Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking.
- Milenko Mosurovic, Henson Graves, Nenad Krdzavac: A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms.
- Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma: Probabilistic Datalog+/- under the Distribution Semantics.
- Andreas Steigmiller, Thorsten Liebig, Birte Glimm: Extended Caching and Backjumping for Expressive Description Logics.
- Michaël Thomazo: From EL to Tractable Existential Rules with Complex Role Inclusions.
- Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski: Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics.
- Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks: Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team