Stop the war!Остановите войну!
for scientists:
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 José 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.
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-30 21:08 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:
