( en | de | ru )

 

Disambiguierung von "Turhan, Anni-Yasmin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Anni-Yasmin Turhan

Anni-Yasmin Turhan

Maik Annies

Sylvia Annies

Ursula Turhan

 

Weitere Publikationen von Autoren mit dem selben Namen

User-aware Explications of Ontology Consequences: Levelling Technicality., und . FCR@KI, Volume 3242 von CEUR Workshop Proceedings, Seite 90-101. CEUR-WS.org, (2022)Employing DL-Lite_R -Reasoners for Fuzzy Query Answering., und . JIST, Volume 8943 von Lecture Notes in Computer Science, Seite 63-78. Springer, (2014)Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner., , , , und . CoRR, (2021)Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner., , , , und . Theory Pract. Log. Program., 22 (2): 162-192 (2022)Ontology-mediated query answering over temporal and inconsistent data., , und . Semantic Web, 10 (3): 475-521 (2019)Congenial Benchmarking of RDF Storage Solutions., , , und . K-CAP, Seite 213-221. ACM, (2019)Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics, , und . IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, Seite 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., und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 531-546. Springer, (2023)Towards Model Transformation in Description Logics - Investigating the Case of Transductions., und . FCR@KI, Volume 2680 von CEUR Workshop Proceedings, Seite 69-82. CEUR-WS.org, (2020)