default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2017: Montpellier, France
- Alessandro Artale, Birte Glimm, Roman Kontchakov:
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. CEUR Workshop Proceedings 1879, CEUR-WS.org 2017
Invited Papers
- Markus Krötzsch:
Ontologies for Knowledge Graphs?
Full Papers
- Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini:
Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling. - Franz Baader, Daniel Borchmann, Adrian Nuradiansyah:
Preliminary Results on the Identity Problem in Description Logic Ontologies. - Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost:
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). - Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan:
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). - Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
:
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. - Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. - Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. - Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
Łukasiewicz Fuzzy EL is Undecidable. - Loris Bozzato, Luciano Serafini, Gaetano Calabrese:
CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States. - Germán Alejandro Braun, Matias Pol'la, Laura Andrea Cecchi, Agustina Buccella, Pablo R. Fillottrani, Alejandra Cechich:
A DL Semantics for Reasoning over OVM-based Variability Models. - Markus Brenner, Birte Glimm:
Incremental Materialization Update via Abstraction Refinement. - Katarina Britz, Ivan Varzinczak:
Towards Defeasible SROIQ. - Gianluca Cima:
Preliminary Results on Ontology-based Open Data Publishing. - Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard:
Coherence, Similarity, and Concept Generalisation. - Henrik Forssell, Daniel P. Lupp, Martin G. Skjæveland, Evgenij Thorstensen:
Reasonable Macros for Ontology Construction and Maintenance. - Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev:
On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom. - Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. - Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung:
On Query Answering in Description Logics with Number Restrictions on Transitive Roles. - Peter Hansen, Carsten Lutz:
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. - Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru:
An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering. - André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. - Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza:
Debugging EL+ Ontologies through Horn MUS Enumeration. - Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost:
Reasoning with Attributed Description Logics. - Arash Karimi, Heng Zhang, Jia-Huai You:
Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. - Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov:
Towards Reusable Explanation Services in Protege. - Yevgeny Kazakov, Denis K. Ponomaryov:
On the Complexity of Semantic Integration of OWL Ontologies. - Yevgeny Kazakov, Peter Skocovsky:
Enumerating Justifications using Resolution. - Nadia Labai, Martin Homola, Magdalena Ortiz:
Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). - Carsten Lutz, Leif Sabellek:
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability. - Yuri Malheiros, Fred Freitas:
Unification in EL for Competency Question Generation. - Razieh Mehri, Volker Haarslev:
Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning. - Júlia Pukancová, Martin Homola:
Tableau-Based ABox Abduction for the ALCHO Description Logic. - Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig:
Repairing ABoxes through Active Integrity Constraints. - Sebastian Rudolph, Lukas Schweizer:
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics. - Marvin R. G. Schiller, Florian Schiller, Birte Glimm:
Testing the Adequacy of Automated Explanations of EL Subsumptions. - David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. - David Toman, Grant E. Weddell:
On Partial Features in the DLF Dialects of Description Logic with Inverse Features. - Yizheng Zhao, Renate A. Schmidt:
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. - Nikoo Zolfaghar Karahroodi, Volker Haarslev:
A Consequence-based Algebraic Calculus for SHOQ.
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-01-06 01:43 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:
