@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{56490,
  author       = {{Hieke, Willi and Turhan, Anni-Yasmin}},
  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}},
  editor       = {{Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}},
  pages        = {{69–82}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Towards Model Transformation in Description Logics - Investigating the Case of Transductions}}},
  volume       = {{2680}},
  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}},
}

@inproceedings{56489,
  author       = {{Gil, Oliver Fernández 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        = {{{Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)}}},
  volume       = {{2663}},
  year         = {{2020}},
}

@article{56491,
  author       = {{Bourgaux, Camille and Koopmann, Patrick and Turhan, Anni-Yasmin}},
  journal      = {{Semantic Web}},
  number       = {{3}},
  pages        = {{475–521}},
  title        = {{{Ontology-mediated query answering over temporal and inconsistent data}}},
  doi          = {{10.3233/SW-180337}},
  volume       = {{10}},
  year         = {{2019}},
}

@inproceedings{56493,
  author       = {{Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}},
  booktitle    = {{Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}},
  editor       = {{Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}},
  pages        = {{1–14}},
  publisher    = {{Springer}},
  title        = {{{A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction}}},
  doi          = {{10.1007/978-3-030-22102-7_1}},
  volume       = {{11560}},
  year         = {{2019}},
}

@inproceedings{56498,
  author       = {{Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}},
  booktitle    = {{Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings}},
  editor       = {{Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia}},
  pages        = {{194–211}},
  publisher    = {{Springer}},
  title        = {{{Ontology-Mediated Probabilistic Model Checking}}},
  doi          = {{10.1007/978-3-030-34968-4_11}},
  volume       = {{11918}},
  year         = {{2019}},
}

@inproceedings{56496,
  author       = {{Alrabbaa, Christian and Koopmann, Patrick and Turhan, Anni-Yasmin}},
  booktitle    = {{GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019}},
  editor       = {{Calvanese, Diego and Iocchi, Luca}},
  pages        = {{15–27}},
  publisher    = {{EasyChair}},
  title        = {{{Practical Query Rewriting for DL-Lite with Numerical Predicates}}},
  doi          = {{10.29007/GQLL}},
  volume       = {{65}},
  year         = {{2019}},
}

@inproceedings{56499,
  author       = {{Ngomo, Axel-Cyrille Ngonga and Conrads, Felix and Pensel, Maximilian and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019}},
  editor       = {{Kejriwal, Mayank and Szekely, Pedro A. and Troncy, Raphaël}},
  pages        = {{213–221}},
  publisher    = {{ACM}},
  title        = {{{Congenial Benchmarking of RDF Storage Solutions}}},
  doi          = {{10.1145/3360901.3364429}},
  year         = {{2019}},
}

@proceedings{56502,
  editor       = {{Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}},
  isbn         = {{978-3-030-22101-0}},
  publisher    = {{Springer}},
  title        = {{{Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}}},
  doi          = {{10.1007/978-3-030-22102-7}},
  volume       = {{11560}},
  year         = {{2019}},
}

@inproceedings{56500,
  author       = {{Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}},
  editor       = {{Fodor, Paul and Montali, Marco and Calvanese, Diego and Roman, Dumitru}},
  title        = {{{Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner}}},
  year         = {{2019}},
}

@proceedings{56508,
  editor       = {{Lukasiewicz, Thomas and Peñaloza, Rafael and Turhan, Anni-Yasmin}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018}}},
  volume       = {{2157}},
  year         = {{2018}},
}

@proceedings{56509,
  editor       = {{Trollmann, Frank and Turhan, Anni-Yasmin}},
  isbn         = {{978-3-030-00110-0}},
  publisher    = {{Springer}},
  title        = {{{KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings}}},
  doi          = {{10.1007/978-3-030-00111-7}},
  volume       = {{11117}},
  year         = {{2018}},
}