default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2008: Dresden, Germany
- Franz Baader, Carsten Lutz, Boris Motik:
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings 353, CEUR-WS.org 2008
Invited Talk
- Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. - Bernhard Ganter:
Mathematical Theory Makes Formal Concept Analysis Versatile. Description Logics 2008 - Maarten Marx:
XPath: (P)DL on Trees. Description Logics 2008 - Kent A. Spackman:
Using DL to Support a very Large Healthcare Terminology: Successes and Challenges. Description Logics 2008
Oral Presentation
- Alessandro Artale, C. Maria Keet:
Essential and Mandatory Part-Whole Relations in Conceptual Data Models. - Alessandro Artale, David Toman:
Decidable Reasoning over Timestamped Conceptual Models. - Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. - Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn:
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. - Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat:
DL-SR: a Lite DL with Expressive Rules: Preliminary Results. - Meghyn Bienvenu:
Prime Implicate Normal Form for ALC Concepts. - Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro:
Explanation in DL-Lite. - Adrien Coulet, Malika Smaïl-Tabbone, Amedeo Napoli, Marie-Dominique Devignes:
Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics. - Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Towards Higher-Order DL-Lite. - Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller:
A Hybrid Tableau Algorithm for ALCQ. - Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
Bridging Heterogeneous Representations of Binary Relations: First Results. - Birte Glimm, Ian Horrocks, Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. - Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori:
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. - Yevgeny Kazakov:
SRIQ and SROIQ are Harder than SHOIQ. - Peihong Ke, Ulrike Sattler:
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. - Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter:
Logical Difference and Module Extraction with CEX and MEX. - Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Checking DL-Lite Modularity with QBF Solvers. - Hongkai Liu, Carsten Lutz, Maja Milicic:
The Projection Problem for EL Actions. - Lina Lubyte, Sergio Tessaris:
Supporting the Design of Ontologies for Data Access. - Carsten Lutz:
Two Upper Bounds for Conjunctive Query Answering in SHIQ. - Michael Mendler, Stephan Scheele:
Towards Constructive DL for Abstraction and Refinement. - Ralf Möller, Volker Haarslev, Sebastian Wandelt:
The Revival of Structural Subsumption in Tableau-based Reasoners. - Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler:
The Representation of Structured Objects in DLs using Description Graphs. - Magdalena Ortiz, Mantas Simkus
, Thomas Eiter:
Conjunctive Query Answering in SH using Knots. - Rafael Peñaloza:
Automata-based Pinpointing for DLs. - Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell:
On Ordering and Indexing Metadata for the Semantic Web. - Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pan:
A Kernel Revision Operator for Terminologies. - Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces. - Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
All Elephants are Bigger than All Mice. - Robert D. C. Shearer, Boris Motik, Ian Horrocks:
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. - Viorica Sofronie-Stokkermans:
Locality and Subsumption Testing in EL and Some of its Extensions. - Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan:
Classifying Fuzzy Subsumption in Fuzzy-EL+. - David Toman, Grant E. Weddell:
Identifying Objects Over Time with Description Logics. - Jiewen Wu, Volker Haarslev:
Planning of Axiom Absorption.
Poster
- Mina Aslani, Volker Haarslev:
Towards Parallel Classification of TBoxes. - Mira Balaban, Azzam Maraee:
A UML-Based Method for Deciding Finite Satisfiability in Description Logics. - Loris Bozzato, Mauro Ferrari, Paola Villa:
Actions over a Constructive Semantics for ALC. - Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini:
Partial and Informative Common Subsumers of Concepts Collections in Description Logics. - Olivier Couchariere, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier:
Consistency Checking for Extended Description Logics. - Francis Gasse, Ulrike Sattler, Volker Haarslev:
Rewriting Rules into SROIQ Axioms. - Martin Homola:
Subsumption Propagation between Remote Ontologies in Distributed Description Logic. - C. Maria Keet:
Unifying Industry-grade Class-based Conceptual Data Modeling Languages with CMcom. - Uwe Keller, Stijn Heymans:
The SAT-Tableau Calculus. - Yue Ma, Pascal Hitzler, Zuoquan Lin:
Paraconsistent Reasoning for Expressive and Tractable Description Logics. - Tobias Henrik Näth, Ralf Möller:
ContraBovemRufum: A System for Probabilistic Lexicographic Entailment. - Fernando Náufel do Amaral, Carlos Bazilio Martins:
Visualization of Description Logic Models. - Guilin Qi, Fangkai Yang:
A Survey of Revision Approaches in Description Logics. - Saïd Radhouani, Gilles Falquet:
Description Logics-Based Modelling for Precise Information Retrieval. - Anne Schlicht, Heiner Stuckenschmidt:
Distributed Resolution for ALC. - Baris Sertkaya:
Explaining User Errors in Knowledge Base Completion. - Nikolay V. Shilov:
Realization Problem for Formal Concept Analysis. - Sebastian Wandelt:
Partitioning OWL Knowledge Bases - Revisited and Revised.
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-10-25 20:00 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:
