@inproceedings{52923,
  author       = {{de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin}},
  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}},
  editor       = {{Arieli, Ofer and Casini, Giovanni and Giordano, Laura}},
  pages        = {{159–162}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\)}}},
  volume       = {{3197}},
  year         = {{2022}},
}

@proceedings{52925,
  editor       = {{Governatori, Guido and Turhan, Anni-Yasmin}},
  isbn         = {{978-3-031-21540-7}},
  publisher    = {{Springer}},
  title        = {{{Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings}}},
  doi          = {{10.1007/978-3-031-21541-4}},
  volume       = {{13752}},
  year         = {{2022}},
}

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

@article{52918,
  author       = {{Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}},
  journal      = {{Theory Pract. Log. Program.}},
  number       = {{2}},
  pages        = {{162–192}},
  title        = {{{Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner}}},
  doi          = {{10.1017/S1471068421000466}},
  volume       = {{22}},
  year         = {{2022}},
}

@inproceedings{52920,
  author       = {{Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}},
  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}},
  editor       = {{Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)}}},
  volume       = {{3263}},
  year         = {{2022}},
}

@inproceedings{52921,
  author       = {{Tirtarasa, Satyadharma and Turhan, Anni-Yasmin}},
  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}},
  editor       = {{Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)}}},
  volume       = {{3263}},
  year         = {{2022}},
}

@inproceedings{52922,
  author       = {{Peñaloza, Rafael and Turhan, Anni-Yasmin}},
  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}},
  editor       = {{Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Sauerwald, Kai and Thimm, Matthias}},
  pages        = {{90–101}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{User-aware Explications of Ontology Consequences: Levelling Technicality}}},
  volume       = {{3242}},
  year         = {{2022}},
}

@inproceedings{52927,
  author       = {{Gil, Oliver Fernández and Turhan, Anni-Yasmin}},
  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}},
  pages        = {{6340–6348}},
  publisher    = {{AAAI Press}},
  title        = {{{Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics}}},
  doi          = {{10.1609/AAAI.V35I7.16787}},
  year         = {{2021}},
}

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

@inproceedings{52928,
  author       = {{Alrabbaa, Christian and Hieke, Willi and Turhan, Anni-Yasmin}},
  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}},
  editor       = {{Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}},
  pages        = {{9–22}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Counter Model Transformation for Explaining Non-Subsumption in EL}}},
  volume       = {{2961}},
  year         = {{2021}},
}

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

@inproceedings{52936,
  author       = {{Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}},
  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}},
  editor       = {{Borgwardt, Stefan and Meyer, Thomas}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification}}},
  volume       = {{2663}},
  year         = {{2020}},
}

@article{52803,
  author       = {{Borgwardt, Stefan and Mailis, Theofilos and Peñaloza, Rafael and Turhan, Anni-Yasmin}},
  issn         = {{1861-2032}},
  journal      = {{Journal on Data Semantics}},
  keywords     = {{Artificial Intelligence, Computer Networks and Communications, Information Systems}},
  number       = {{2}},
  pages        = {{55--75}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}}},
  doi          = {{10.1007/s13740-015-0055-y}},
  volume       = {{5}},
  year         = {{2016}},
}