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.
98 Publications
- 1 (current)
- 2
- 3
- 4
- 5
2024 | Conference Paper | LibreCat-ID: 56488
@inproceedings{Peñaloza_Turhan_2024, series={Lecture Notes in Computer Science}, title={Reasoning in Rough Description Logics with Multiple Indiscernibility Relations}, volume={15183}, DOI={10.1007/978-3-031-72407-7_11}, booktitle={Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings}, publisher={Springer}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Kirrane, Sabrina and Simkus, Mantas and Soylu, Ahmet and Roman, Dumitru}, year={2024}, pages={142–158}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
@inproceedings{Gil_Patrizi_Perelli_Turhan_2024, series={CEUR Workshop Proceedings}, title={Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)}, volume={3739}, booktitle={Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024}, publisher={CEUR-WS.org}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, editor={Giordano, Laura and Jung, Jean Christoph and Ozaki, Ana}, year={2024}, collection={CEUR Workshop Proceedings} }
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
@inproceedings{Peñaloza_Turhan_2024, series={CEUR Workshop Proceedings}, title={Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations}, volume={3739}, booktitle={Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Giordano, Laura and Jung, Jean Christoph and Ozaki, Ana}, year={2024}, collection={CEUR Workshop Proceedings} }
LibreCat
| Files available
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
2023 | Conference Paper | LibreCat-ID: 56096
@inproceedings{Gil_Patrizi_Perelli_Turhan_2023, series={Frontiers in Artificial Intelligence and Applications}, title={Optimal Alignment of Temporal Knowledge Bases}, volume={372}, DOI={10.3233/FAIA230335}, booktitle={ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)}, publisher={IOS Press}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, editor={Gal, Kobi and Nowé, Ann and Nalepa, Grzegorz J. and Fairstein, Roy and Radulescu, Roxana}, year={2023}, pages={708–715}, collection={Frontiers in Artificial Intelligence and Applications} }
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
@inbook{de Camargo e Souza Câmara_Turhan_2023, place={Cham}, title={Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ 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
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 (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: 52924
@inproceedings{Tirtarasa_Turhan_2022, title={Computing generalizations of temporal ϵ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 | Journal Article | LibreCat-ID: 52918
@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox Reasoning with Value Restrictions using the Flower 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
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: 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 | 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
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 | 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
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: 56490
@inproceedings{Hieke_Turhan_2020, series={CEUR Workshop Proceedings}, title={Towards Model Transformation in Description Logics - Investigating the Case of Transductions}, volume={2680}, booktitle={Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020}, publisher={CEUR-WS.org}, author={Hieke, Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}, year={2020}, pages={69–82}, collection={CEUR Workshop Proceedings} }
LibreCat
- 1 (current)
- 2
- 3
- 4
- 5