Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription 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.
a service of 
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-04-19 19:17 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:
