default search action
Description Logics 2019: Oslo, Norway
- Mantas Simkus
, Grant E. Weddell:
Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. CEUR Workshop Proceedings 2373, CEUR-WS.org 2019
Invited Talks
- Pablo Barceló:
A Theoretical View on Reverse Engineering Problems for Database Query Languages. - Meghyn Bienvenu:
Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report. - Gerhard Lakemeyer:
Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic.
Full Papers
- Erman Acar, Rafael Peñaloza, Livia Predoiu:
Making Decisions over Contextual Ontologies. - Alessandro Artale, Andrea Mazzullo, Ana Ozaki:
Temporal DL-Lite over Finite Traces (Preliminary Results). - Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. - Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting. - Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro:
A Richer Policy Language for GDPR Compliance. - Alexander Borgida, David Toman, Grant E. Weddell:
On Special Description Logics for Processes and Plans. - Loris Bozzato, Thomas Eiter, Luciano Serafini:
A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility. - Katarina Britz, Ivan Varzinczak:
Reasoning with Contextual Defeasible ALC. - Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan:
Arbitrary Ranking of Defeasible Subsumption. - Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao:
Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. - Alexandros Chortaras, Michalis Giazitzoglou, Giorgos Stamou:
Inside the Query Space of DL Knowledge Bases. - Gianluca Cima, Federico Croce, Maurizio Lenzerini, Antonella Poggi, Elian Toccacieli:
On Queries with Inequalities in DL-LiteR≠. - Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Bagging the DL-Lite Family Further. - Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki:
On Non-normal Modal Description Logics. - Katarína Fabianová, Júlia Pukancová, Martin Homola:
Comparing ABox Abduction Based on Minimal Hitting Set and MergeXplain. - Zhenzhen Gu
An Expressive Sub-language of OWL 2 Full for Domain Meta-modeling. - Jean Christoph Jung
Decidability and Complexity of ALCOIF with Transitive Closure (and More). - Christian Kindermann, Bijan Parsia, Uli Sattler:
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. - Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
A Note on DL-Lite with Boolean Role Inclusions. - Patrick Koopmann:
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries. - Robin Nolte, Thomas Schneider:
How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports. - Sergei Obiedkov, Baris Sertkaya, Denis Zolotukhin:
Probably Approximately Correct Completion of Description Logic Knowledge Bases. - Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus
Answer Set Programs Challenged by Ontologies. - Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo:
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. - Andreas Steigmiller, Birte Glimm:
Absorption-Based Query Entailment Checking for Expressive Description Logics. - Horacio Tellez Perez, Jef Wijsen:
Connecting Databases and Ontologies: A Data Quality Perspective. - David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Sequoia: A Consequence Based Reasoner for SROIQ. - Satyadharma Tirtarasa
Projection in a Description Logic of Context with Actions. - David Toman, Grant E. Weddell:
Exhaustive Query Answering via Referring Expressions. - Zhe Wang, Peng Xiao, Kewen Wang
Practical Datalog Rewriting for Existential Rules. - Mitko Yanchev:
Rational Grading in an Expressive Description Logic.
Extended Abstracts
- Franz Baader, Oliver Fernández Gil, Pavlos Marantidis:
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). - Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris:
PTime Combined Complexity and FPT in Ontology-Mediated Querying. - Meghyn Bienvenu, Pierre Bourhis:
Mixed-World Reasoning with Existential Rules under Active Domain Semantics (Abstract). - Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract). - Stefan Borgwardt, Walter Forkel:
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract). - Camille Bourgaux, Ana Ozaki:
Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract). - Katarina Britz, Ivan Varzinczak:
Contextual Rational Closure for Defeasible ALC (Extended Abstract). - David Carral, Irina Dragoste, Markus Krötzsch:
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract). - David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe:
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract). - David Carral, Larry González, Patrick Koopmann:
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment. - Haitao Cheng, Zongmin Ma:
Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL. - Daniel Danielski, Emanuel Kieronski:
Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract). - Vinu E. Venugopal
Improving Ontology Verbalization using Semantic-level Refinement (Extended Abstract). - Oliver Fernández Gil, Anni-Yasmin Turhan:
Towards an Equivalence Degree of EL CQs (Extended Abstract). - Maurice Funk, Jean Christoph Jung
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). - Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. - Saïd Jabbour, Yue Ma, Badran Raddaoui:
Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. - Jean Christoph Jung
Model Comparison Games for Horn Description Logics: A Summary. - Patrick Koopmann:
Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract). - Domenico Lembo, Federico Maria Scafoglieri:
Coupling Ontologies with Document Spanners. - Ana Ozaki, Nicolas Troquard:
Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract). - Luis Palacios, Yue Ma, Chantal Reynaud, Gaëlle Lortal:
Towards Situation Discovery for Clustering Instances. - Haoruo Zhao, Uli Sattler, Bijan Parsia:
Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. - Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi:
Tracking Logical Difference in Industrial-Scale Ontologies. - Yizheng Zhao, Renate A. Schmidt:
On Concept Forgetting in Description Logics with Qualified Number Restrictions.
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-12-03 20:15 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: