@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}},
}

@inproceedings{56507,
  author       = {{Peñaloza, Rafael and Thost, Veronika and Turhan, Anni-Yasmin}},
  booktitle    = {{Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018}},
  editor       = {{Thielscher, Michael and Toni, Francesca and Wolter, Frank}},
  pages        = {{399–408}},
  publisher    = {{AAAI Press}},
  title        = {{{Query Answering for Rough EL Ontologies}}},
  year         = {{2018}},
}

@article{56503,
  author       = {{Pensel, Maximilian and Turhan, Anni-Yasmin}},
  journal      = {{Int. J. Approx. Reason.}},
  pages        = {{28–70}},
  title        = {{{Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics}}},
  doi          = {{10.1016/J.IJAR.2018.08.005}},
  volume       = {{103}},
  year         = {{2018}},
}

@inproceedings{56504,
  author       = {{Pensel, Maximilian and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018}},
  editor       = {{Ortiz, Magdalena and Schneider, Thomas}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot}}},
  volume       = {{2211}},
  year         = {{2018}},
}

@article{56510,
  author       = {{Lukasiewicz, Thomas and Peñaloza, Rafael and Turhan, Anni-Yasmin}},
  journal      = {{FLAP}},
  number       = {{7}},
  title        = {{{Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness}}},
  volume       = {{4}},
  year         = {{2017}},
}

@inproceedings{56516,
  author       = {{Bourgaux, Camille and Turhan, Anni-Yasmin}},
  booktitle    = {{The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I}},
  editor       = {{d’Amato, Claudia and Fernández, Miriam and Tamma, Valentina A. M. and Lécué, Freddy and Cudré-Mauroux, Philippe and Sequeda, Juan F. and Lange, Christoph and Heflin, Jeff}},
  pages        = {{121–137}},
  publisher    = {{Springer}},
  title        = {{{Temporal Query Answering in DL-Lite over Inconsistent Data}}},
  doi          = {{10.1007/978-3-319-68288-4_8}},
  volume       = {{10587}},
  year         = {{2017}},
}

@inproceedings{56514,
  author       = {{Pensel, Maximilian and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017}},
  editor       = {{Booth, Richard and Casini, Giovanni and Varzinczak, Ivan}},
  pages        = {{44–57}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot}}},
  volume       = {{1872}},
  year         = {{2017}},
}

@inproceedings{56515,
  author       = {{Pensel, Maximilian and Turhan, Anni-Yasmin}},
  booktitle    = {{Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings}},
  editor       = {{Balduccini, Marcello and Janhunen, Tomi}},
  pages        = {{78–84}},
  publisher    = {{Springer}},
  title        = {{{Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\)}}},
  doi          = {{10.1007/978-3-319-61660-5_9}},
  volume       = {{10377}},
  year         = {{2017}},
}

