Description Logics - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1494

2025

Structural Equality Generating Dependencies and Definite DescriptionsDavid Toman 0001, Grant E. Weddell. dlog 2025: [doi]

Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract)Federica Di Stefano 0001, Sanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus. dlog 2025: [doi]

Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract)Federica Di Stefano 0001, Quentin Manière, Magdalena Ortiz 0001, Mantas Simkus. dlog 2025: [doi]

Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract)Lorenzo Marconi 0002, Flavia Ricci, Riccardo Rosati 0001. dlog 2025: [doi]

FILO: Unification Solver for FL_0 (Extended Abstract)Barbara Morawska 0003, Dariusz Marzec, Slawomir Kost, Michal Henne. dlog 2025: [doi]

Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?Zekeri Adams, Martin Homola, Ján Kluka. dlog 2025: [doi]

The Shape of EL Proofs: A Tale of Three CalculiChristian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch. dlog 2025: [doi]

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova, Julián Méndez 0001. dlog 2025: [doi]

The ontocomc Ontology: A Semantic Framework for Hindemith's Harmonic SystemThanasis Apostolopoulos, Spyridon Kantarelis, Giorgos Stamou. dlog 2025: [doi]

Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract)Franz Baader, Anton Claußnitzer. dlog 2025: [doi]

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann. dlog 2025: [doi]

Real-world Assessment of Policy-Protected OBDA (Extended Abstract)Divya Baura, Diego Calvanese. dlog 2025: [doi]

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract)Bartosz Bednarczyk, Emanuel Kieronski. dlog 2025: [doi]

Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract)Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade. dlog 2025: [doi]

Inconsistency Handling in DatalogMTL (Extended Abstract)Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki. dlog 2025: [doi]

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean. dlog 2025: [doi]

On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová. dlog 2025: [doi]

Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract)Stefan Borgwardt, Duy Nhu, Gabriele Röger. dlog 2025: [doi]

Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract)Camille Bourgaux, Anton R. Gnatenko, Michaël Thomazo. dlog 2025: [doi]

The Actual Weight of Lightweight Description LogicsDiego Calvanese. dlog 2025: [doi]

Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract)David Carral, Lucas Larroque, Michaël Thomazo. dlog 2025: [doi]

Restricted Chase Termination: You Want More Than Fairness (Extended Abstract)David Carral, Lukas Gerlach 0002, Lucas Larroque, Michaël Thomazo. dlog 2025: [doi]

Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract)Gianluca Cima, Marco Console, Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi. dlog 2025: [doi]

Logic-Based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract)Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi. dlog 2025: [doi]

SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract)Maurice Funk, Jean Christoph Jung, Tom Voellmer. dlog 2025: [doi]

Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract)Maurice Funk, Marvin Grosser, Carsten Lutz. dlog 2025: [doi]

Why not? Developing ABox Abduction Beyond RepairsAnselm Haak, Patrick Koopmann, Yasir Mahmood 0002, Anni-Yasmin Turhan. dlog 2025: [doi]

Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract)Jonas Philipp Haldimann, Magdalena Ortiz 0001, Mantas Simkus. dlog 2025: [doi]

Reliable Reference for a DL Knowledge Base under Data UpdateEnamul Haque, David Toman 0001, Grant E. Weddell. dlog 2025: [doi]

Extending Description Logics with Generic Concepts - the Case of TerminologiesJoshua Hirschbrunn, Yevgeny Kazakov. dlog 2025: [doi]

Fitting Ontologies and Constraints to Relational Structures (Extended Abstract)Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph. dlog 2025: [doi]

Backward/Forward with Marking for Update StreamsMoritz Illich, Birte Glimm. dlog 2025: [doi]

Testing Description Logic Reasoners (Extended Abstract)Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel. dlog 2025: [doi]

Computation of Interpolants for Description Logic Concepts in Hard CasesJean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter. dlog 2025: [doi]

Containment of Conjunctive LTL QueriesJean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. dlog 2025: [doi]

Accessing Semistructured Data with KGs and LLMsShikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali, Davide Lanti. dlog 2025: [doi]

CATS Solver: The Rise of Hybrid Abduction AlgorithmsJakub Kloc, Janka Boborová, Martin Homola, Júlia Pukancová. dlog 2025: [doi]

On Homogeneous Models of Fluted Languages (Extended Abstract)Daumantas Kojelis. dlog 2025: [doi]

⊥ - Three Related Problems (Extended Abstract)Slawomir Kost, Barbara Morawska 0003. dlog 2025: [doi]

Abductive Differences of Quantified ABoxesFrancesco Kriegel. dlog 2025: [doi]

Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract)Francesco Kriegel. dlog 2025: [doi]

Beyond Optimal: Interactive Identification of Better-Than-Optimal Repairs (Extended Abstract)Francesco Kriegel. dlog 2025: [doi]

Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative ExamplesFrancesco Kriegel. dlog 2025: [doi]

No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract)Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo. dlog 2025: [doi]

Query Rewriting for Nested Navigational Queries over Property GraphsBianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz 0001. dlog 2025: [doi]

What It's Like to Be a Database Theorist in the Land of MultisetsJerzy Marcinkowski. dlog 2025: [doi]

PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract)Sergei Obiedkov, Baris Sertkaya. dlog 2025: [doi]

SHACL Satisfiability: What Can We Learn from DLs?Anouk Michelle Oudshoorn. dlog 2025: [doi]

On Knowledge Base EmbeddingsAna Ozaki. dlog 2025: [doi]

Description Logics with Epsilon IndividualsAnders Søberg, Martin Giese, Egor V. Kostylev. dlog 2025: [doi]

Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025Lidia Tendera, Yazmín Ibáñez García, Patrick Koopmann, editors, Volume 4091 of CEUR Workshop Proceedings, CEUR-WS.org, 2025. [doi]

Towards Conceptual Clustering in EL with Simulation GraphsRuud van Bakel, Michael Cochez, Patrick Koopmann. dlog 2025: [doi]

2024

Translating Equilibrium Description Logics into CircumscriptionFederica Di Stefano 0001, Mantas Simkus. dlog 2024: [doi]

Stable Model Semantics for Description Logic Terminologies (Extended Abstract)Federica Di Stefano 0001, Mantas Simkus. dlog 2024: [doi]

Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024Laura Giordano 0001, Jean Christoph Jung, Ana Ozaki, editors, Volume 3739 of CEUR Workshop Proceedings, CEUR-WS.org, 2024. [doi]

Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract)Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré. dlog 2024: [doi]

Informativeness of Query Answers for Knowledge Bases (Extended Abstract)Luca Andolfi, Gianluca Cima, Marco Console, Maurizio Lenzerini. dlog 2024: [doi]

An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract)Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter. dlog 2024: [doi]

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract)Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev. dlog 2024: [doi]

ℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract)Franz Baader, Oliver Fernández Gil. dlog 2024: [doi]

On the of Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract)Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann. dlog 2024: [doi]

Data Complexity in Expressive Description Logics With Path Expressions (Extended Abstract)Bartosz Bednarczyk. dlog 2024: [doi]

Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract)Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová. dlog 2024: [doi]

Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural LanguageStefan Borgwardt, Vera Demberg, Mayank Jobanputra, Alisa Kovtunova, Duy Nhu. dlog 2024: [doi]

Querying Inconsistent Prioritized Data (Abstract of Invited Talk)Camille Bourgaux. dlog 2024: [doi]

Defeasible Justification for KML-Style LogicVictoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini. dlog 2024: [doi]

Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract)Gianluca Cima, Domenico Lembo, Lorenzo Marconi 0002, Riccardo Rosati 0001, Domenico Fabio Savo. dlog 2024: [doi]

On Mixed Semantics of Path Description Dependencies in FunDLEva Feng, David Toman 0001, Grant E. Weddell. dlog 2024: [doi]

On the Complexity of Maslov's Class K (Extended Abstract)Oskar Fiuk, Emanuel Kieronski, Vincent Michielini. dlog 2024: [doi]

Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan. dlog 2024: [doi]

A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract)Saïd Jabbour, Yue Ma 0009, Badran Raddaoui. dlog 2024: [doi]

Modal Separability of Fixpoint FormulaeJean Christoph Jung, Jedrzej Kolodziejski. dlog 2024: [doi]

Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk)Gabriele Kern-Isberner. dlog 2024: [doi]

Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract)Francesco Kriegel. dlog 2024: [doi]

Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract)Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev. dlog 2024: [doi]

Model Counting and Sampling in First-Order Logic (Abstract of Invited Talk)Ondrej Kuzelka. dlog 2024: [doi]

Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract)Victor Lacerda, Ana Ozaki, Ricardo Guimarães 0001. dlog 2024: [doi]

On the Computation of a Productive Partially Ordered Possibilistic RepairAhmed Laouar, Sihem Belabbes, Salem Benferhat. dlog 2024: [doi]

Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite (Extended Abstract)Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz 0001. dlog 2024: [doi]

Actively Learning Ontologies from LLMs: First Results (Extended Abstract)Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi. dlog 2024: [doi]

Spectra of Cardinality Queries over Description Logic Knowledge Bases (Extended Abstract)Quentin Manière, Marcin Przybylko. dlog 2024: [doi]

Probably Approximately Correct Ontology Completion with pacco (Extended Abstract)Sergei Obiedkov, Baris Sertkaya. dlog 2024: [doi]

Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge BasesAnouk Oudshoorn, Magdalena Ortiz 0001, Mantas Simkus. dlog 2024: [doi]

Eviction and Reception for Description Logic Concepts (Extended Abstract)Ana Ozaki, Jandson S. Ribeiro. dlog 2024: [doi]

Semantic Explanations of Classifiers through the Ontology-Based Data Management Paradigm (Extended Abstract)Laura Papi, Gianluca Cima, Marco Console, Maurizio Lenzerini. dlog 2024: [doi]

Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility RelationsRafael Peñaloza, Anni-Yasmin Turhan. dlog 2024: [doi]

Defeasible Reasoning with Prototype Descriptions: A New Preference OrderGabriele Sacco, Loris Bozzato, Oliver Kutz. dlog 2024: [doi]

Inferring SHACL Constraints for Results of Composable Graph Queries (Extended Abstract)Philipp Seifer, Daniel Hernández 0002, Ralf Lämmel, Steffen Staab. dlog 2024: [doi]

Foundations of Ontology Template Language OTTR (Extended Abstract)Erik Snilsberg, Leif Harald Karlsen, Egor V. Kostylev, Martin G. Skjæveland. dlog 2024: [doi]

On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract)Balder ten Cate, Raoul Koudijs, Ana Ozaki. dlog 2024: [doi]

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence RelationsFrank Wolter, Michael Zakharyaschev. dlog 2024: [doi]

2023

Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract)Alessandro Artale, Andrea Mazzullo. dlog 2023: [doi]

Dispute Resolution with OWL DL and ReasoningIldar Baimuratov, Elena Lisanyuk, Dmitry Prokudin. dlog 2023: [doi]

Making Axiom Weakening Work in SROIQRoland Bernard, Oliver Kutz, Nicolas Troquard. dlog 2023: [doi]

Improving DL-Learner on a Malware Detection Use CaseTomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola. dlog 2023: [doi]

Accessing Answers to Conjunctive Queries with Ideal Time Guarantees (Abstract of Invited Talk)Nofar Carmeli. dlog 2023: [doi]

Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree AutomatasOliver Fernández Gil, Pavlos Marantidis. dlog 2023: [doi]

Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract)Fabiola Hodo, Sai Pranav, Baris Sertkaya. dlog 2023: [doi]

Commonality Subtraction Operator for the EL Description LogicAxel Mascaro, Christophe Rey. dlog 2023: [doi]

Defeasible Reasoning with Prototype Descriptions: First StepsGabriele Sacco, Loris Bozzato, Oliver Kutz. dlog 2023: [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Description Logics (dlog)

Viewing Publication 1 - 100 from 1494

2025

2024

2023

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Description Logics (dlog)

Viewing Publication 1 - 100 from 1494

2025

2024

2023

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1