default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2021: Bratislava, Slovakia
- Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt:
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. CEUR Workshop Proceedings 2954, CEUR-WS.org 2021
Invited Talks
- Claudia d'Amato:
Empowering Knowledge Bases: a Machine Learning Perspective. - Ernesto Jiménez-Ruiz:
Ontology Alignment and the two DLs. - Nicole Schweikardt:
Locality Properties of Extensions of First-Order Logic and their Use in Algorithms (Abstract of Invited Talk). - Luciano Serafini:
Learning and Reasoning with Logic Tensor Networks: the Framework and an Application.
Full Papers
- Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, Yongsheng Gao:
Upwardly Abstracted Definition-Based Subontologies. - Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr:
In the Hand of the Beholder: Comparing Interactive Proof Visualizations. - Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. - Franz Baader, Maryam Rostamigiv:
Restricted Unification in the DL EL. - Meghyn Bienvenu, Quentin Manière, Michaël Thomazo:
Counting Queries over ELHI⊥ Ontologies. - Piero A. Bonatti, Luigi Sauro:
Tractable Compliance Checking with Negation. - Camille Bourgaux, Ana Ozaki, Jeff Z. Pan:
Geometric Models for (Temporally) Attributed Description Logics. - Cheikh Brahim El Vaigh, François Goasdoué:
A Well-founded Graph-based Summarization Framework for Description Logics. - Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). - Marco Console, Phokion G. Kolaitis, Andreas Pieris:
Model-theoretic Characterizations of Rule-based Ontologies. - Thomas Macaulay Ferguson:
Modeling Intentional States with Subsystems of ALC. - Renan Fernandes, Fred Freitas, Ivan Varzinczak:
A Connection Method for a Defeasible Extension of ALC. - Tim French, Thomas Smoker:
An Aleatoric Description Logic for Probabilistic Reasoning. - Maurice Funk, Jean Christoph Jung
, Carsten Lutz:
Actively Learning ELI Queries under DL-Lite Ontologies. - Pietro Galliani, Oliver Kutz, Nicolas Troquard:
Perceptron Operators That Count. - Zhenzhen Gu, Songmao Zhang:
DL-Lite Full: A Sub-language of OWL 2 Full for Powerful Meta-modeling. - Willi Hieke, Francesco Kriegel, Adrian Nuradiansyah:
Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation. - Federico Igne, Stefano Germano, Ian Horrocks:
RSAComb: Combined Approach for CQ Answering in RSA. - Eduard Kamburjan, Egor V. Kostylev:
Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. - Spyridon Kantarelis, Edmund Dervakos, Natalia Kotsani, Giorgos Stamou:
Musical Harmony Analysis with Description Logics. - Francesco Kriegel:
Navigating the EL Subsumption Hierarchy. - Chan Le Duc:
Category-theoretical Semantics of the Description Logic ALC. - Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao:
Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. - Barbara Morawska:
Unification in the Description Logic FL⊥. - Rafael Peñaloza:
An Upper Bound for Provenance in ELHr. - Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki:
Revising Ontologies via Models: The ALC-formula Case. - Steven Schockaert, Yazmín Angélica Ibáñez-García, Víctor Gutiérrez-Basulto:
Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations. - Sabiha Tahrat, Salima Benbernou, Mourad Ouziri:
Temporal ABox Cleaning in TDL-Lite. - David Toman, Grant E. Weddell:
FO Rewritability for OMQ using Beth Definability and Interpolation. - Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao:
Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies.
Extended Abstracts
- Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus:
Reasoning about Explanations for Non-validation in SHACL (Extended Abstract). - Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova:
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). - Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv:
Restricted Unification in the DL FL0 (Extended Abstract). - Bartosz Bednarczyk, Emanuel Kieronski:
Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract). - Bartosz Bednarczyk, Sebastian Rudolph:
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract). - Meghyn Bienvenu, Quentin Manière, Michaël Thomazo:
Cardinality Queries over DL-Lite Ontologies (Extended abstract). - Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz:
Making DL-Lite Planning Practical (Extended Abstract). - Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract). - Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk:
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract). - Claudia Cauli, Magdalena Ortiz, Nir Piterman:
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract). - Stefan Borgwardt, Ernie Chang, Kathryn Chapman, Vera Demberg, Alisa Kovtunova, Hui-Syuan Yeh:
Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract). - Jieying Chen, Rafael Peñaloza, Hui Yang:
Union and Intersection of all Justifications (Extended Abstract). - Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo:
On Information Disclosure in Ontology-based Data Access (Extended Abstract). - Theo Ducros, Marinette Bouet, Farouk Toumani:
Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract). - Cristina Feier:
Characterising Fixed Parameter Tractability of Query Evaluation Over Guarded TGDs (Extended Abstract). - Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). - Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract). - Laura Giordano, Daniele Theseider Dupré:
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract). - Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya:
Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract). - Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries (Extended Abstract. - Emanuel Kieronski, Sebastian Rudolph:
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). - Patrick Koopmann:
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract). - Carsten Lutz, Marcin Przybylko:
Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract). - Robin Nolte, Thomas Schneider:
Properties of Module Notions and Atomic Decomposition (Extended Abstract). - Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Ana Ozaki:
Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract).
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-09 19:18 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:
