Showing 1–20 of 21 results
/ Date/ Name
Aug 11, 2015Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy OntologiesJul 20, 2025Automated planning with ontologies under coherence update semantics (Extended Version)May 19, 2022Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended VersionMar 20, 2020Temporal Conjunctive Query Answering in the Extended DL-Lite FamilyApr 27, 2021Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)Jul 29, 2025The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)May 29, 2024The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)Sep 19, 2016Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local DisunificationAug 14, 2023Why Not? Explaining Missing Entailments with Evee (Technical Report)Aug 7, 2023Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)Jun 20, 2022Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)Sep 29, 2015Reasoning in Infinitely Valued G-IALCQMay 27, 2025Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)May 29, 2021Temporal Minimal-World Semantics for Sparse ABoxesApr 17, 2020Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)Jun 15, 2022On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)Mar 17, 2022Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)Aug 30, 2018Deep Learning for Quality Control of Subcortical Brain 3D Shape ModelsOct 21, 2020Safe Handover in Mixed-Initiative Control for Cyber-Physical SystemsAug 30, 2022Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)