![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Description Logics 2012: Rome, Italy
- Yevgeny Kazakov, Domenico Lembo, Frank Wolter:
Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings 846, CEUR-WS.org 2012
Invited Talks
- Serge Abiteboul:
Viewing the Web as a Distributed Knowledge Base. - Piero A. Bonatti:
Defaults in Description Logics: So Simple, So Difficult. - Alan L. 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, Julian Mendez, Barbara Morawska:
UEL: Unification Solver for EL. - 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, Carsten Lutz, Frank Wolter:
Deciding FO-Rewritability in EL. - 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. - Loris Bozzato, Martin Homola, Luciano Serafini:
Towards More Effective Tableaux Reasoning for CKR. - Simona Colucci, Francesco M. Donini:
Inverting Subsumption for Constructive Reasoning. - Chan Le Duc, Myriam Lamolle, Olivier Curé:
An ExpSpace Tableau-based Algorithm for SHOIQ. - Andreas Ecke, Anni-Yasmin Turhan:
Role-depth Bounded Least Common Subsumers for EL+ and ELI. - Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Towards Practical Query Answering for Horn-SHIQ. - Enrico Franconi, Volha Kerhet, Nhung Ngo:
Exact Query Reformulation over SHOQ DBoxes. - 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. - Yazmín 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. - Ilianna Kollia, Birte Glimm:
Cost Based Query Ordering over OWL Ontologies. - 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. - Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou:
Incremental Query Rewriting for OWL 2 QL. - Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell:
Absorption for ABoxes. - Kejia Wu, Volker Haarslev:
A Parallel Reasoner for the Description Logic ALC. - Wael Yehia, Mikhail Soutchanski:
Towards an Expressive Decidable Logical Action Theory.
Poster Presentations
- Mina Aslani, Volker Haarslev:
Concurrent Classification of OWL Ontologies - An Empirical Evaluation. - Stefan Borgwardt, Rafael Peñaloza:
Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. - Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin:
ORM2 Encoding into Description Logic (Extended Abstract). - Weili Fu, Rafael Peñaloza:
Adding Context to Tableaux for DLs. - Ken Halland, Katarina Britz:
Naive ABox abduction in ALC using a DL tableau. - Naouel Karam, Adrian Paschke:
Patent Valuation Using Difference in ALEN. - 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. - Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak:
A Protege Plug-in for Defeasible Reasoning. - Milenko Mosurovic, Henson Graves, Nenad Krdzavac:
A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms. - Yuan Ren, Jeff Z. Pan, Kevin Lee:
Optimising Parallel ABox Reasoning of EL Ontologies. - Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma:
Probabilistic Datalog+/- under the Distribution Semantics. - Laleh Roosta Pour, Volker Haarslev:
Algebraic Reasoning for SHIQ. - Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Small Datalog Query Rewritings for EL. - 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. - Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler:
Logical Relevance in Ontologies. - 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.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.