default search action
Description Logics 2010: Waterloo, Ontario, Canada
- Volker Haarslev, David Toman, Grant E. Weddell:
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. CEUR Workshop Proceedings 573, CEUR-WS.org 2010
Paper Presentations
- Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal Conceptual Modelling with DL-Lite. - Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi, Gabriele Stella:
Mastro at Work: Experiences on Ontology-Based Data Access. - Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Masking in OWL. - Carsten Lutz, Robert Piro, Frank Wolter:
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. - Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García:
Checking Full Satisfiability of Conceptual Models. - Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
Second-Order Description Logics: Semantics, Motivation, and a Calculus. - Despoina Magka, Yevgeny Kazakov, Ian Horrocks:
Tractable Extensions of the Description Logic EL with Numerical Datatypes. - Lina Lubyte, Sergio Tessaris:
Supporting the Development of Data Wrapping Ontologies (Extended Abstract). - Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
Updating TBoxes in DL-Lite. - Markus Krötzsch, Anees Mehdi, Sebastian Rudolph:
Orel: Database-Driven Reasoning for OWL 2 Profiles. - Inanç Seylan, Enrico Franconi, Jos de Bruijn:
Optimal Rewritings in Definitorially Complete Description Logics. - Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness:
Extending OWL with Integrity Constraints. - Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in the Description Logic S. - Jocelyne Faddoul, Volker Haarslev:
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. - Rafael Peñaloza, Baris Sertkaya:
Complexity of Axiom Pinpointing in the DL-Lite Family. - Sebastian Wandelt, Ralf Möller:
Distributed Island-based Query Answering for Expressive Ontologies. - Norihiro Kamide:
Paraconsistent Description Logics Revisited. - Birte Glimm, Ian Horrocks, Boris Motik:
Optimized DL Reasoning via Core Blocking. - Martin Knechtel, Rafael Peñaloza:
Correcting Access Restrictions to a Consequence. - Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The modular structure of an ontology: an empirical study. - Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou:
Optimization Techniques for Fuzzy Description Logics. - Anni-Yasmin Turhan, Rafael Peñaloza:
Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. - Elena Botoeva, Alessandro Artale, Diego Calvanese:
Query Rewriting in DL-Lite_^(HN)_horn. - Arne Meier, Thomas Schneider:
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC. - Martin Homola, Luciano Serafini:
Towards Formal Comparison of Ontology Linking, Mapping and Importing. - Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu:
Query Algebra and Query Optimization for Concept Assertion Retrieval. - C. Maria Keet:
On the feasibility of Description Logic knowledge bases with rough concepts and vague instances. - Yuan Ren, Jeff Z. Pan, Yuting Zhao:
Towards Soundness Preserving Approximation for ABox Reasoning of OWL2. - Mina Aslani, Volker Haarslev:
TBox Classification in Parallel: Design and First Evaluation.
Poster Presentations
- Shasha Feng, Yonggang Zhang, Dantong Ouyang, Haiyan Che, Jie Liu:
The Logical Difference For Fuzzy EL+ Ontologies. - Thomas Hubauer, Steffen Lamparter, Michael Pirker:
Automata-Based Abduction for Tractable Diagnosis. - Chan Le Duc, Myriam Lamolle:
Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms. - Thomas Scharrenbach, Rolf Grütter, Bettina Waldvogel
, Abraham Bernstein:
Structure Preserving TBox Repair using Defaults. - Norihiro Kamide:
A Compatible Approach to Temporal Description Logics. - Paula Severi, José Luiz Fiadeiro, David Ekserdjian:
Guiding Reification in OWL through Aggregation. - Yuan Ren, Kees van Deemter, Jeff Z. Pan:
Generating Referring Expressions with OWL2. - Tarek Richard Besold, Bernhard Schiemann:
A Multi-Context System Computing Modalities. - Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh:
An Algebraic Approach to Dynamic Epistemic Logic. - Raghava Mutharaju, Frederick Maier, Pascal Hitzler:
A MapReduce Algorithm for EL+. - Yue Ma, Pascal Hitzler:
Distance-based Measures of Inconsistency and Incoherency for Description Logics. - Henson Graves:
Logic for Modeling Product Structure. - Quentin Reul, Jeff Z. Pan:
KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies.
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-11-22 19:48 CET 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: