@inbookde Camargo e Souza Câmara_Turhan_2023, place=Cham, title=Deciding Subsumption in Defeasible $$\'6dathcal ELI_$$ with Typicality Models, DOI=10.1007/978-3-031-43619-2_36, booktitle=Logics in Artificial Intelligence, publisher=Springer Nature Switzerland, author=de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin, year=2023 
LibreCat: /record/52859
DOI: 10.1007/978-3-031-43619-2_36

@articleGil_Patrizi_Perelli_Turhan_2023, title=Optimal Alignment of Temporal Knowledge Bases, volume=abs/2307.15439, DOI=10.48550/ARXIV.2307.15439, journal=CoRR, author=Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin, year=2023 
LibreCat: /record/52861
DOI: 10.48550/ARXIV.2307.15439

@inproceedingsTurhan_2023, series=CEUR Workshop Proceedings, title=Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk), volume=3515, booktitle=Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, publisher=CEUR-WS.org, author=Turhan, Anni-Yasmin, editor=Kutz, Oliver and Lutz, Carsten and Ozaki, Ana, year=2023, collection=CEUR Workshop Proceedings 
LibreCat: /record/52913

@inproceedingsTirtarasa_Turhan_2022, title=Computing generalizations of temporal            ;5L            concepts with next and global, DOI=10.1145/3477314.3507136, booktitle=Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, publisher=ACM, author=Tirtarasa, Satyadharma and Turhan, Anni-Yasmin, year=2022 
LibreCat: /record/52797
DOI: 10.1145/3477314.3507136

@articleTurhan_2022, title=A Double Take at Conferences: The Hybrid Format, volume=36, DOI=10.1007/s13218-022-00758-6, number=1, journal=KI - Künstliche Intelligenz, publisher=Springer Science and Business Media LLC, author=Turhan, Anni-Yasmin, year=2022, pages=1–4 
LibreCat: /record/52862
DOI: 10.1007/s13218-022-00758-6

@inproceedingsde Camargo e Souza Câmara_Turhan_2022, series=CEUR Workshop Proceedings, title=Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\'70erp, volume=3197, booktitle=Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, publisher=CEUR-WS.org, author=de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin, editor=Arieli, Ofer and Casini, Giovanni and Giordano, Laura, year=2022, pages=159–162, collection=CEUR Workshop Proceedings 
LibreCat: /record/52923

@inproceedingsTirtarasa_Turhan_2022, title=Computing generalizations of temporal mph?5L concepts with next and global, DOI=10.1145/3477314.3507136, booktitle=SAC ’22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, publisher=ACM, author=Tirtarasa, Satyadharma and Turhan, Anni-Yasmin, editor=Hong, Jiman and Bures, Miroslav and Park, Juw Won and Cerný, Tomás, year=2022, pages=903–910 
LibreCat: /record/52924
DOI: 10.1145/3477314.3507136

@bookGovernatori_Turhan_2022, series=Lecture Notes in Computer Science, title=Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, volume=13752, DOI=10.1007/978-3-031-21541-4, publisher=Springer, year=2022, collection=Lecture Notes in Computer Science 
LibreCat: /record/52925
DOI: 10.1007/978-3-031-21541-4

@inproceedingsBaader_Koopmann_Michel_Turhan_Zarrieß_2022, series=CEUR Workshop Proceedings, title=Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract), volume=3263, booktitle=Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, publisher=CEUR-WS.org, author=Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin, editor=Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure, year=2022, collection=CEUR Workshop Proceedings 
LibreCat: /record/52920

@inproceedingsPeñaloza_Turhan_2022, series=CEUR Workshop Proceedings, title=User-aware Explications of Ontology Consequences: Levelling Technicality, volume=3242, booktitle=Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, publisher=CEUR-WS.org, author=Peñaloza, Rafael and Turhan, Anni-Yasmin, editor=Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Sauerwald, Kai and Thimm, Matthias, year=2022, pages=90–101, collection=CEUR Workshop Proceedings 
LibreCat: /record/52922

@inproceedingsTirtarasa_Turhan_2022, series=CEUR Workshop Proceedings, title=A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract), volume=3263, booktitle=Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, publisher=CEUR-WS.org, author=Tirtarasa, Satyadharma and Turhan, Anni-Yasmin, editor=Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure, year=2022, collection=CEUR Workshop Proceedings 
LibreCat: /record/52921

@articleBaader_Koopmann_Michel_Turhan_Zarrieß_2022, title=Efficient TBox Reasoning with Value Restrictions using the \'6dathscrF\'6dathscrL_\'6dbower Reasoner, volume=22, DOI=10.1017/S1471068421000466, number=2, journal=Theory Pract. Log. Program., author=Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin, year=2022, pages=162–192 
LibreCat: /record/52918
DOI: 10.1017/S1471068421000466

@inproceedingsAlrabbaa_Hieke_Turhan_2021, series=CEUR Workshop Proceedings, title=Counter Model Transformation for Explaining Non-Subsumption in EL, volume=2961, booktitle=Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, publisher=CEUR-WS.org, author=Alrabbaa, Christian and Hieke, Willi and Turhan, Anni-Yasmin, editor=Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias, year=2021, pages=9–22, collection=CEUR Workshop Proceedings 
LibreCat: /record/52928

@inproceedingsGil_Turhan_2021, title=Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics, DOI=10.1609/AAAI.V35I7.16787, booktitle=Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, publisher=AAAI Press, author=Gil, Oliver Fernández and Turhan, Anni-Yasmin, year=2021, pages=6340–6348 
LibreCat: /record/52927
DOI: 10.1609/AAAI.V35I7.16787

@articleDubslaff_Koopmann_Turhan_2021, title=Enhancing Probabilistic Model Checking with Ontologies, volume=33, DOI=10.1007/S00165-021-00549-0, number=6, journal=Formal Aspects Comput., author=Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin, year=2021, pages=885–921 
LibreCat: /record/52926
DOI: 10.1007/S00165-021-00549-0

@articleBaader_Koopmann_Michel_Turhan_Zarrieß_2021, title=Efficient TBox Reasoning with Value Restrictions using the \'6dathscrF\'6dathscrL_\'6dbower reasoner, volume=abs/2107.12877, journal=CoRR, author=Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin, year=2021 
LibreCat: /record/52929

@articleBaader_Borgwardt_Koopmann_Thost_Turhan_2020, title=Semantic Technologies for Situation Awareness, volume=34, DOI=10.1007/S13218-020-00694-3, number=4, journal=Künstliche Intell., author=Baader, Franz and Borgwardt, Stefan and Koopmann, Patrick and Thost, Veronika and Turhan, Anni-Yasmin, year=2020, pages=543–550 
LibreCat: /record/52930
DOI: 10.1007/S13218-020-00694-3

@inproceedingsDubslaff_Koopmann_Turhan_2020, series=CEUR Workshop Proceedings, title=Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification, volume=2663, booktitle=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), Online Event [Rhodes, Greece], September 12th to 14th, 2020, publisher=CEUR-WS.org, author=Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin, editor=Borgwardt, Stefan and Meyer, Thomas, year=2020, collection=CEUR Workshop Proceedings 
LibreCat: /record/52936

@articleBorgwardt_Mailis_Peñaloza_Turhan_2016, title=Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies, volume=5, DOI=10.1007/s13740-015-0055-y, number=2, journal=Journal on Data Semantics, publisher=Springer Science and Business Media LLC, author=Borgwardt, Stefan and Mailis, Theofilos and Peñaloza, Rafael and Turhan, Anni-Yasmin, year=2016, pages=55–75 
LibreCat: /record/52803
DOI: 10.1007/s13740-015-0055-y

@inproceedingsCarapelle_Turhan_2016, title=Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property, DOI=10.3233/978-1-61499-672-9-1440, booktitle=Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), author=Carapelle, Claudia and Turhan, Anni-Yasmin, year=2016 
LibreCat: /record/52796
DOI: 10.3233/978-1-61499-672-9-1440