( en | de | ru )

 

Disambiguation of "Turhan, Anni-Yasmin"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).

, , , , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (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.

Anni-Yasmin Turhan

Anni-Yasmin Turhan

Maik Annies

Sylvia Annies

Ursula Turhan

 

Other publications of authors with the same name

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics, , and . IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, page 61--75. London, UK, Springer-Verlag, (2001)A Double Take at Conferences: The Hybrid Format.. Künstliche Intell., 36 (1): 1-4 (2022)Deciding Subsumption in Defeasible $ELI_$ with Typicality Models., and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 531-546. Springer, (2023)Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics., and . AAAI, page 6340-6348. AAAI Press, (2021)Towards an Equivalence Degree of EL CQs (Extended Abstract)., and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification., , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction., , , , and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 1-14. Springer, (2019)Ontology-mediated query answering over temporal and inconsistent data., , and . Semantic Web, 10 (3): 475-521 (2019)Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner., , , , and . CoRR, (2021)Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner., , , , and . Theory Pract. Log. Program., 22 (2): 162-192 (2022)