Author of the publication

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner.

, , , , and . Theory Pract. Log. Program., 22 (2): 162-192 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version., , , , , and . CoRR, (2022)Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies.. DKB/KIK@KI, volume 2194 of CEUR Workshop Proceedings, page 68-79. CEUR-WS.org, (2018)Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures., , , , and . CADE, volume 12699 of Lecture Notes in Computer Science, page 291-308. Springer, (2021)Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract).. Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Signature-Based ABox Abduction in ALC is Hard.. SOQE@KR, volume 3009 of CEUR Workshop Proceedings, page 61-74. CEUR-WS.org, (2021)Ontology-Based Query Answering for Probabilistic Temporal Data.. AAAI, page 2903-2910. AAAI Press, (2019)Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging., , , , , and . Comput. Graph. Forum, (September 2023)LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics.. Künstliche Intell., 34 (3): 381-387 (2020)Semantic Technologies for Situation Awareness., , , , and . Künstliche Intell., 34 (4): 543-550 (2020)Special Issue on High-Level Declarative Stream Processing., , and . Open J. Databases, 6 (1): 1-4 (2019)