default search action
Description Logics 2013: Ulm, Germany
- Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch:
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR Workshop Proceedings 1014, CEUR-WS.org 2013
Paper Presentations
- Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Computing Solutions in OWL 2 QL Knowledge Exchange. 4-16 - Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Temporalising OWL 2 QL. 17-28 - Franz Baader, Oliver Fernandez Gil, Barbara Morawska:
Hybrid EL-Unification is NP-complete. 29-40 - Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao:
Tractability Guarantees for DL-Lite Query Answering. 41-52 - Meghyn Bienvenu, Riccardo Rosati:
New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access. 53-64 - Daniel Borchmann:
Axiomatizing Confident EL^bot_gfp-General Concept Inclusions in the Presence of Untrusted Individuals. 65-79 - Stefan Borgwardt, Marcel Lippmann, Veronika Thost:
Temporal Query Answering in DL-Lite. 80-92 - Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
Preferential Role Restrictions. 93-106 - Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov:
Verification of Inconsistency-Aware Knowledge and Action Bases. 107-119 - Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Evolving Graph Databases under Description Logic Constraints. 120-131 - Marco Console, Valerio Santarelli, Domenico Fabio Savo:
Efficient Approximation in DL-Lite of OWL 2 Ontologies. 132-143 - Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov:
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. 144-155 - Felix Distel, Yue Ma:
A Hybrid Approach for Learning SNOMED CT Definitions from Text. 156-167 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal Model Semantics and Rational Closure in Description Logics. 168-180 - Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
Using the TBox to Optimise SPARQL Queries. 181-196 - Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
The Empirical Robustness of Description Logic Classification. 197-208 - André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob:
Well-Founded Semantics for Extended Datalog and Ontological Reasoning. 209-220 - Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura:
Towards Typed Higher-Order Description Logics. 221-233 - Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider:
Finite Model Reasoning in Horn-SHIQ. 234-245 - Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks:
Evaluating Mapping Repair Systems with Large Biomedical Ontologies. 246-257 - Jean Christoph Jung, Carsten Lutz:
Ontology-Based Access to Probabilistic Data. 258-270 - Mark Kaminski, Bernardo Cuenca Grau:
Sufficient Conditions for First-Order and Datalog Rewritability in ELU. 271-293 - Yevgeny Kazakov, Pavel Klinov:
Incremental Reasoning in EL+ without Bookkeeping. 294-315 - Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
Query Rewriting over Shallow Ontologies. 316-327 - Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin:
Query Answering via Modal Definability with FaCT++: First Blood. 328-340 - Boris Konev, Carsten Lutz, Frank Wolter:
Exact Learning of TBoxes in EL and DL-Lite. 341-352 - Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. 353-363 - Egor V. Kostylev, Juan L. Reutter:
Complexity of Answering Counting Aggregate Queries over DL-Lite. 364-376 - Michel Ludwig, Boris Konev:
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. 377-389 - Despoina Magka, Markus Krötzsch, Ian Horrocks:
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. 390-402 - Nadeschda Nikitina, Sven Schewe:
More is Sometimes Less: Succinctness in EL. 403-414 - Rafael Peñaloza, Tingting Zou:
Rough EL Classification. 415-427 - Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Extending Absorption to Nominal Schemas. 428-450 - David Toman, Grant E. Weddell:
CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness. 451-463 - Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos B. Stamou:
Optimising Resolution-Based Rewriting Algorithms for DL Ontologies. 464-476 - Anni-Yasmin Turhan, Benjamin Zarrieß:
Computing the lcs w.r.t. General EL+-TBoxes. 477-488 - Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell:
Absorption for ABoxes with Local Universal Restrictions. 489-500
Poster Presentations
- Serge Autexier, Dieter Hutter:
Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes. 501-512 - Fernando Bobillo, Umberto Straccia:
General Concept Inclusion Absorptions for Fuzzy Description logics: A First Step. 513-525 - Stefan Borgwardt, Rafael Peñaloza:
About Subsumption in Fuzzy EL. 526-538 - Pierre Bourhis, Michael Morak, Andreas Pieris:
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules. 539-551 - Loris Bozzato, Luciano Serafini:
Materialization Calculus for Contexts in the Semantic Web. 552-572 - Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. 573-586 - Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak:
Towards Practical Defeasible Reasoning for Description Logics. 587-599 - Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kodylan Moodley:
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox. 600-615 - Mohamed Chaabani, Rachid Echahed, Martin Strecker:
Logical Foundations for Reasoning about Transformations of Knowledge Bases. 616-627 - Marco Console, Maurizio Lenzerini, Riccardo Mancini, Riccardo Rosati, Marco Ruzzi:
Synthesizing Extensional Constraints in Ontology-Based Data Access. 628-639 - Tommaso Di Noia, Thomas Lukasiewicz, Gerardo I. Simari:
Reasoning with DL-based CP-nets. 640-651 - Ali Rezaei Divroodi, Linh Anh Nguyen:
Bisimulation-Based Comparisons for Interpretations in Description Logics. 652-669 - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. 670-688 - Daniel Gorín, Lutz Schröder, Thorsten Wißmann:
Reasoning with Bounded Self-reference Using Logical Interpreters. 689-703 - Maxim Haddad, Diego Calvanese:
Extending DL-Lite_A with (Singleton) Nominals. 704-723 - Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. 724-734 - Chan Le Duc, Myriam Lamolle, Olivier Curé:
SHOIQ with Transitive Closure of Roles Is Decidable. 735-746 - Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo:
A Graph-Based Approach for Classifying OWL 2 QL Ontologies. 747-759 - Francesca Alessandra Lisi, Umberto Straccia:
A System for Learning GCI Axioms in Fuzzy Description Logics. 760-778 - Yu Liu, Peter McBrien:
SQOWL2: Transactional Type Inference for OWL 2 DL in an RDBMS. 779-790 - Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari:
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-. 791-803 - Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari:
Preference-Based Query Answering in Datalog+/- Ontologies. 804-815 - Özgür L. Özçep, Ralf Möller:
Spatial Semantics for Concepts. 816-828 - Nicolas Matentzoglu, Samantha Bail, Bijan Parsia:
A Corpus of OWL DL Ontologies. 829-841 - Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Sebastian Wandelt:
Advances in Accessing Big Data with Expressive Ontologies. 842-853 - Andreas Nolle, German Nemirovski:
ELITE: An Entailment-Based Federated Query Engine for Complete and Transparent Semantic Data Integration. 854-867 - Riku Nortje, Arina Britz, Thomas Meyer:
Module-theoretic Properties of Reachability Modules for SRIQ. 868-884 - Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari:
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. 885-897 - Denis K. Ponomaryov, Dmitry Vlasov:
Concept Definability and Interpolation in Enriched Models of EL-TBoxes. 898-916 - Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
Query Rewriting and Optimisation with Database Dependencies in Ontop. 917-929 - Marvin R. G. Schiller, Birte Glimm:
Towards Explicative Inference for OWL. 930-941 - Weihong Song, Bruce Spencer, Weichang Du:
Complete Classification of Complex ALCHO Ontologies Using a Hybrid Reasoning Approach. 942-961 - Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. 962-974 - Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos:
Query Rewriting Under Ontology Evolution. 975-987 - Cong Wang, David Carral, Pascal Hitzler:
SROIQ Syntax Approximation by Using Nominal Schemas. 988-999 - Michael Wolters, German Nemirovski, Andreas Nolle:
ClickOn_A: An Editor for DL-Lite_A Based Ontology Design. 1000-1010 - Kejia Wu, Volker Haarslev:
Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning. 1011-1023
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 2025-02-20 00:32 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: