Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
18 Publications
2023 | Book Chapter | LibreCat-ID: 52859
@inbook{de Camargo e Souza Câmara_Turhan_2023, place={Cham}, title={Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ 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
| DOI
2023 | Journal Article | LibreCat-ID: 52861
@article{Gil_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
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
@inproceedings{Turhan_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
2022 | Journal Article | LibreCat-ID: 52862
@article{Turhan_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
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
@inproceedings{de Camargo e Souza Câmara_Turhan_2022, series={CEUR Workshop Proceedings}, title={Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\)}, 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
2022 | Conference Paper | LibreCat-ID: 52924
@inproceedings{Tirtarasa_Turhan_2022, title={Computing generalizations of temporal \emph\(ϵ\)L 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
| DOI
2022 | Conference (Editor) | LibreCat-ID: 52925
@book{Governatori_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
| DOI
2022 | Conference Paper | LibreCat-ID: 52920
@inproceedings{Baader_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
2022 | Conference Paper | LibreCat-ID: 52922
@inproceedings{Peñ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
2022 | Conference Paper | LibreCat-ID: 52921
@inproceedings{Tirtarasa_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
2022 | Journal Article | LibreCat-ID: 52918
@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer 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
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
@inproceedings{Alrabbaa_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
2021 | Conference Paper | LibreCat-ID: 52927
@inproceedings{Gil_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
| DOI
2021 | Journal Article | LibreCat-ID: 52926
@article{Dubslaff_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
| DOI
2021 | Journal Article | LibreCat-ID: 52929
@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2021, title={Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer 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
2020 | Journal Article | LibreCat-ID: 52930
@article{Baader_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
| DOI
2020 | Conference Paper | LibreCat-ID: 52936
@inproceedings{Dubslaff_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
2016 | Journal Article | LibreCat-ID: 52803
@article{Borgwardt_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
| DOI