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
- 2 (current)
- 3
- 4
- 5
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
2017 | Conference Paper | LibreCat-ID: 56516
@inproceedings{Bourgaux_Turhan_2017, series={Lecture Notes in Computer Science}, title={Temporal Query Answering in DL-Lite over Inconsistent Data}, volume={10587}, DOI={10.1007/978-3-319-68288-4_8}, booktitle={The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I}, publisher={Springer}, author={Bourgaux, Camille and Turhan, Anni-Yasmin}, 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}, year={2017}, pages={121–137}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56514
@inproceedings{Pensel_Turhan_2017, series={CEUR Workshop Proceedings}, title={Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot}, volume={1872}, 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}, publisher={CEUR-WS.org}, author={Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Booth, Richard and Casini, Giovanni and Varzinczak, Ivan}, year={2017}, pages={44–57}, collection={CEUR Workshop Proceedings} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 56515
@inproceedings{Pensel_Turhan_2017, series={Lecture Notes in Computer Science}, title={Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\)}, volume={10377}, DOI={10.1007/978-3-319-61660-5_9}, booktitle={Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings}, publisher={Springer}, author={Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Balduccini, Marcello and Janhunen, Tomi}, year={2017}, pages={78–84}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56513
@inproceedings{Koopmann_Hähnel_Turhan_2017, series={Lecture Notes in Computer Science}, title={Energy-Efficiency of OWL Reasoners - Frequency Matters}, volume={10675}, DOI={10.1007/978-3-319-70682-5_6}, booktitle={Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings}, publisher={Springer}, author={Koopmann, Patrick and Hähnel, Marcus and Turhan, Anni-Yasmin}, editor={Wang, Zhe and Turhan, Anni-Yasmin and Wang, Kewen and Zhang, Xiaowang}, year={2017}, pages={86–101}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56512
@inproceedings{Baader_Koopmann_Turhan_2017, series={Lecture Notes in Computer Science}, title={Using Ontologies to Query Probabilistic Numerical Data}, volume={10483}, DOI={10.1007/978-3-319-66167-4_5}, booktitle={Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings}, publisher={Springer}, author={Baader, Franz and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Dixon, Clare and Finger, Marcelo}, year={2017}, pages={77–94}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
- 1
- 2 (current)
- 3
- 4
- 5