Stefan Borgwardt

Theory Pract. Log. Program., 2022

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version.

[BibT_eX]

[DOI]

CoRR, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

In the Head of the Beholder: Comparing Different Proof Representations.

[BibT_eX]

[DOI]

Anna Milena Rothermel

Frederik Wiehr

Proceedings of the Rules and Reasoning, 2022

Logic-Guided Message Generation from Raw Real-Time Sensor Data.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne.

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Evonne: Interactive Proof Visualization for Description Logics (System Description).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Classical Planning with Avoid Conditions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Expressivity of Planning with Horn Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Supplementary Material to "Making DL-Lite Planning Practical".

[BibT_eX]

[DOI]

Dataset, November, 2021

Supplementary Material to "Making DL-Lite Planning Practical".

[BibT_eX]

[DOI]

Dataset, November, 2021

Temporal Minimal-World Semantics for Sparse ABoxes.

[BibT_eX]

[DOI]

CoRR, 2021

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2021

Making DL-Lite Planning Practical.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD.

[BibT_eX]

[DOI]

Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 2021

Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Making DL-Lite Planning Practical (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

In the Hand of the Beholder: Comparing Interactive Proof Visualizations.

[BibT_eX]

[DOI]

Anna Milena Rothermel

Frederik Wiehr

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources.

[BibT_eX]

[DOI]

Dataset, May, 2020

Metric Temporal Description Logics with Interval-Rigid Names.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2020

Semantic Technologies for Situation Awareness.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2020

Temporal Conjunctive Query Answering in the Extended DL-Lite Family.

[BibT_eX]

[DOI]

CoRR, 2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

In the Eye of the Beholder: Which Proofs are Best?

[BibT_eX]

[DOI]

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract).

[BibT_eX]

[DOI]

On the Complexity of Finding Good Proofs for Description Logic Entailments.

[BibT_eX]

[DOI]

2019

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Closed-World Semantics for Conjunctive Queries with Negation over ELH_\bot Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Ontology-Mediated Query Answering over Log-Linear Probabilistic Data (Abstract).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Ontology-Mediated Query Answering over Log-Linear Probabilistic Data.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering.

[BibT_eX]

[DOI]

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Recent Advances in Querying Probabilistic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Decidability and Complexity of Fuzzy Description Logics.

[BibT_eX]

[DOI]

Künstliche Intell., 2017

Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

The complexity of fuzzy EL under the Łukasiewicz T-norm.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

Fuzzy Description Logics - A Survey.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Most Probable Explanations for Probabilistic Database Queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Query Rewriting for DL-Lite with n-ary Concrete Domains.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Łukasiewicz Fuzzy EL is Undecidable.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Ontology-Mediated Queries for Probabilistic Databases.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2016

Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.

[BibT_eX]

[DOI]

J. Data Semant., 2016

Reasoning in Fuzzy Description Logics using Automata.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2016

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2016

Preferential Query Answering over the Semantic Web with Possibilistic Networks.

[BibT_eX]

[DOI]

Oana Tifrea-Marciuska

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Reasoning in Expressive Gödel Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Temporalizing rewritable query languages over knowledge bases.

[BibT_eX]

[DOI]

J. Web Semant., 2015

Temporal query entailment in the Description Logic SHQ.

[BibT_eX]

[DOI]

J. Web Semant., 2015

On the Decidability Status of Fuzzy ALC with General Concept Inclusions.

[BibT_eX]

[DOI]

J. Philos. Log., 2015

Reasoning in Infinitely Valued G-IALCQ.

[BibT_eX]

[DOI]

CoRR, 2015

The limits of decidability in fuzzy description logics with general concept inclusions.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Dismatching and Local Disunification in EL.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Temporal Query Answering in the Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Complexity of Subsumption in Fuzzy EL.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Temporal Query Answering in DL-Lite with Negation.

[BibT_eX]

[DOI]

Proceedings of the Global Conference on Artificial Intelligence, 2015

Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Temporal Query Answering in EL.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Conjunctive Query Answering with Finitely Many Truth Degrees.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Dismatching and Local Disunification in EL (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014

Fuzzy description logics with general concept inclusions.

[BibT_eX]

[DOI]

PhD thesis, 2014

Consistency reasoning in lattice-based fuzzy Description Logics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Finite Lattices Do Not Make Reasoning in ALCOI Harder.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Decidable Gödel Description Logics without the Finitely-Valued Model Property.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics.

[BibT_eX]

[DOI]

José A. Leyva Galano

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Gödel FL_0 with Greatest Fixed-Point Semantics.

[BibT_eX]

[DOI]

José A. Leyva Galano

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Gödel Description Logics with General Models.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Fuzzy DLs over Finite Lattices with Nominals.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Fuzzy Description Logics with General Concept Inclusions.

[BibT_eX]

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

Many-valued Horn Logic is Hard.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

2013

The Complexity of Lattice-Based Fuzzy Description Logics.

[BibT_eX]

[DOI]

J. Data Semant., 2013

Positive Subsumption in Fuzzy EL with General t-Norms.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Temporal Query Answering in the Description Logic DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2013

About Subsumption in Fuzzy EL.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Temporal Query Answering in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Temporalizing Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-24, 2013

2012

A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Finding Finite Herbrand Models.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Undecidability of Fuzzy Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Extending Unification in EL Towards General TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Non-Gödel Negation Makes Unwitnessed Consistency Undecidable.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Gödel Negation Makes Unwitnessed Consistency Crisp.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

UEL: Unification Solver for EL.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

How Fuzzy Is My Fuzzy Description Logic?

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

Recent Advances in Unification for the EL Family.

[BibT_eX]

[DOI]

Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012

SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies.

[BibT_eX]

[DOI]

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Computing Minimal EL-unifiers is Hard.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

Computing Local Unifiers in the Description Logic EL without the Top Concept.

[BibT_eX]

[DOI]

Proceedings of the 25th International Workshop on Unification, 2011

Finite Lattices Do Not Make Reasoning in ALCI Harder.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011

Description Logics over Lattices with Multi-Valued Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Fuzzy Ontologies over Lattices with T-norms.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Unification in the Description Logic EL without the Top Concept.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Unification in the Description Logic EL without the Top Concept.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

The Inclusion Problem for Weighted Automata on Infinite Trees.

[BibT_eX]