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.
103 Publications
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
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
2020 | Conference Paper | LibreCat-ID: 56489
@inproceedings{Gil_Turhan_2020, series={CEUR Workshop Proceedings}, title={Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)}, 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={Gil, Oliver Fernández and Turhan, Anni-Yasmin}, editor={Borgwardt, Stefan and Meyer, Thomas}, year={2020}, collection={CEUR Workshop Proceedings} }
LibreCat
2019 | Journal Article | LibreCat-ID: 56491
@article{Bourgaux_Koopmann_Turhan_2019, title={Ontology-mediated query answering over temporal and inconsistent data}, volume={10}, DOI={10.3233/SW-180337}, number={3}, journal={Semantic Web}, author={Bourgaux, Camille and Koopmann, Patrick and Turhan, Anni-Yasmin}, year={2019}, pages={475–521} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
@inproceedings{Lutz_Sattler_Tinelli_Turhan_Wolter_2019, series={Lecture Notes in Computer Science}, title={A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction}, volume={11560}, DOI={10.1007/978-3-030-22102-7_1}, booktitle={Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}, publisher={Springer}, author={Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}, editor={Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}, year={2019}, pages={1–14}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
@inproceedings{Dubslaff_Koopmann_Turhan_2019, series={Lecture Notes in Computer Science}, title={Ontology-Mediated Probabilistic Model Checking}, volume={11918}, DOI={10.1007/978-3-030-34968-4_11}, booktitle={Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings}, publisher={Springer}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia}, year={2019}, pages={194–211}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56496
@inproceedings{Alrabbaa_Koopmann_Turhan_2019, series={EPiC Series in Computing}, title={Practical Query Rewriting for DL-Lite with Numerical Predicates}, volume={65}, DOI={10.29007/GQLL}, booktitle={GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019}, publisher={EasyChair}, author={Alrabbaa, Christian and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Iocchi, Luca}, year={2019}, pages={15–27}, collection={EPiC Series in Computing} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56499
@inproceedings{Ngomo_Conrads_Pensel_Turhan_2019, title={Congenial Benchmarking of RDF Storage Solutions}, DOI={10.1145/3360901.3364429}, booktitle={Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019}, publisher={ACM}, author={Ngomo, Axel-Cyrille Ngonga and Conrads, Felix and Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Kejriwal, Mayank and Szekely, Pedro A. and Troncy, Raphaël}, year={2019}, pages={213–221} }
LibreCat
| DOI
2019 | Conference (Editor) | LibreCat-ID: 56502
@book{Lutz_Sattler_Tinelli_Turhan_Wolter_2019, series={Lecture Notes in Computer Science}, title={Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}, volume={11560}, DOI={10.1007/978-3-030-22102-7}, publisher={Springer}, year={2019}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56500
@inproceedings{Michel_Turhan_Zarrieß_2019, title={Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner}, author={Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, editor={Fodor, Paul and Montali, Marco and Calvanese, Diego and Roman, Dumitru}, year={2019} }
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56508
@book{Lukasiewicz_Peñaloza_Turhan_2018, series={CEUR Workshop Proceedings}, 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}, publisher={CEUR-WS.org}, year={2018}, collection={CEUR Workshop Proceedings} }
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56509
@book{Trollmann_Turhan_2018, series={Lecture Notes in Computer Science}, title={KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings}, volume={11117}, DOI={10.1007/978-3-030-00111-7}, publisher={Springer}, year={2018}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56507
@inproceedings{Peñaloza_Thost_Turhan_2018, title={Query Answering for Rough EL Ontologies}, booktitle={Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018}, publisher={AAAI Press}, author={Peñaloza, Rafael and Thost, Veronika and Turhan, Anni-Yasmin}, editor={Thielscher, Michael and Toni, Francesca and Wolter, Frank}, year={2018}, pages={399–408} }
LibreCat
2018 | Journal Article | LibreCat-ID: 56503
@article{Pensel_Turhan_2018, title={Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant semantics}, volume={103}, DOI={10.1016/J.IJAR.2018.08.005}, journal={Int. J. Approx. Reason.}, author={Pensel, Maximilian and Turhan, Anni-Yasmin}, year={2018}, pages={28–70} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56504
@inproceedings{Pensel_Turhan_2018, series={CEUR Workshop Proceedings}, title={Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot}, volume={2211}, 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}, publisher={CEUR-WS.org}, author={Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Ortiz, Magdalena and Schneider, Thomas}, year={2018}, collection={CEUR Workshop Proceedings} }
LibreCat
2017 | Journal Article | LibreCat-ID: 56510
@article{Lukasiewicz_Peñaloza_Turhan_2017, title={Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness}, volume={4}, number={7}, journal={FLAP}, author={Lukasiewicz, Thomas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2017} }
LibreCat