default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription 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.
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.
last updated on 2024-09-19 23:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
