98 Publications
2024 | Conference Paper | LibreCat-ID: 56488
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.” In Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings, edited by Sabrina Kirrane, Mantas Simkus, Ahmet Soylu, and Dumitru Roman, 15183:142–158. Lecture Notes in Computer Science. Springer, 2024. https://doi.org/10.1007/978-3-031-72407-7_11.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin Turhan. “Optimal Alignment of Temporal Knowledge Bases (Extended Abstract).” In Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, edited by Laura Giordano, Jean Christoph Jung, and Ana Ozaki, Vol. 3739. CEUR Workshop Proceedings. CEUR-WS.org, 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations.” In Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, edited by Laura Giordano, Jean Christoph Jung, and Ana Ozaki, Vol. 3739. CEUR Workshop Proceedings. CEUR-WS.org, 2024.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 52861
Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin Turhan. “Optimal Alignment of Temporal Knowledge Bases.” CoRR abs/2307.15439 (2023). https://doi.org/10.48550/ARXIV.2307.15439.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
Turhan, Anni-Yasmin. “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).” In Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, edited by Oliver Kutz, Carsten Lutz, and Ana Ozaki, Vol. 3515. CEUR Workshop Proceedings. CEUR-WS.org, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 56096
Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin Turhan. “Optimal Alignment of Temporal Knowledge Bases.” In ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), edited by Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, and Roxana Radulescu, 372:708–715. Frontiers in Artificial Intelligence and Applications. IOS Press, 2023. https://doi.org/10.3233/FAIA230335.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
Camargo e Souza Câmara, Igor de, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models.” In Logics in Artificial Intelligence. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-43619-2_36.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52862
Turhan, Anni-Yasmin. “A Double Take at Conferences: The Hybrid Format.” KI - Künstliche Intelligenz 36, no. 1 (2022): 1–4. https://doi.org/10.1007/s13218-022-00758-6.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
Camargo e Souza Câmara, Igor de, and Anni-Yasmin Turhan. “Rational Defeasible Subsumption in DLs with Nested Quantifiers: The Case of ELI\(\perp\).” In 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, edited by Ofer Arieli, Giovanni Casini, and Laura Giordano, 3197:159–162. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat
2022 | Conference (Editor) | LibreCat-ID: 52925
Governatori, Guido, and Anni-Yasmin Turhan, eds. Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Vol. 13752. Lecture Notes in Computer Science. Springer, 2022. https://doi.org/10.1007/978-3-031-21541-4.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52924
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal ΕL Concepts with next and Global.” In SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, edited by Jiman Hong, Miroslav Bures, Juw Won Park, and Tomás Cerný, 903–910. ACM, 2022. https://doi.org/10.1145/3477314.3507136.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52918
Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” Theory Pract. Log. Program. 22, no. 2 (2022): 162–192. https://doi.org/10.1017/S1471068421000466.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52920
Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” In 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, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52921
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” In 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, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52922
Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” In 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, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, and Matthias Thimm, 3242:90–101. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” In 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, 6340–6348. AAAI Press, 2021. https://doi.org/10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput. 33, no. 6 (2021): 885–921. https://doi.org/10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, Christian, Willi Hieke, and Anni-Yasmin Turhan. “Counter Model Transformation for Explaining Non-Subsumption in EL.” In 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, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2961:9–22. CEUR Workshop Proceedings. CEUR-WS.org, 2021.
LibreCat
2020 | Journal Article | LibreCat-ID: 52930
Baader, Franz, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, and Anni-Yasmin Turhan. “Semantic Technologies for Situation Awareness.” Künstliche Intell. 34, no. 4 (2020): 543–550. https://doi.org/10.1007/S13218-020-00694-3.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 56490
Hieke, Willi, and Anni-Yasmin Turhan. “Towards Model Transformation in Description Logics - Investigating the Case of Transductions.” In 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, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2680:69–82. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” In 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, edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 56489
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).” In 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, edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
LibreCat
2019 | Journal Article | LibreCat-ID: 56491
Bourgaux, Camille, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Query Answering over Temporal and Inconsistent Data.” Semantic Web 10, no. 3 (2019): 475–521. https://doi.org/10.3233/SW-180337.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter. “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction.” In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, 11560:1–14. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-22102-7_1.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Probabilistic Model Checking.” In Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, edited by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, 11918:194–211. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-34968-4_11.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56496
Alrabbaa, Christian, Patrick Koopmann, and Anni-Yasmin Turhan. “Practical Query Rewriting for DL-Lite with Numerical Predicates.” In GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, edited by Diego Calvanese and Luca Iocchi, 65:15–27. EPiC Series in Computing. EasyChair, 2019. https://doi.org/10.29007/GQLL.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56499
Ngomo, Axel-Cyrille Ngonga, Felix Conrads, Maximilian Pensel, and Anni-Yasmin Turhan. “Congenial Benchmarking of RDF Storage Solutions.” In Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019, edited by Mayank Kejriwal, Pedro A. Szekely, and Raphaël Troncy, 213–221. ACM, 2019. https://doi.org/10.1145/3360901.3364429.
LibreCat
| DOI
2019 | Conference (Editor) | LibreCat-ID: 56502
Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol. 11560. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-22102-7.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56500
Michel, Friedrich, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner.” edited by Paul Fodor, Marco Montali, Diego Calvanese, and Dumitru Roman, 2019.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56508
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. 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. Vol. 2157. CEUR Workshop Proceedings. CEUR-WS.org, 2018.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56509
Trollmann, Frank, and Anni-Yasmin Turhan, eds. KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Vol. 11117. Lecture Notes in Computer Science. Springer, 2018. https://doi.org/10.1007/978-3-030-00111-7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56507
Peñaloza, Rafael, Veronika Thost, and Anni-Yasmin Turhan. “Query Answering for Rough EL Ontologies.” In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, edited by Michael Thielscher, Francesca Toni, and Frank Wolter, 399–408. AAAI Press, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 56503
Pensel, Maximilian, and Anni-Yasmin Turhan. “Reasoning in the Defeasible Description Logic \(Ε\)\(\mathscrL\) - Computing Standard Inferences under Rational and Relevant Semantics.” Int. J. Approx. Reason. 103 (2018): 28–70. https://doi.org/10.1016/J.IJAR.2018.08.005.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56504
Pensel, Maximilian, and Anni-Yasmin Turhan. “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.” In 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, edited by Magdalena Ortiz and Thomas Schneider, Vol. 2211. CEUR Workshop Proceedings. CEUR-WS.org, 2018.
LibreCat
2017 | Journal Article | LibreCat-ID: 56510
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness.” FLAP 4, no. 7 (2017).
LibreCat
2017 | Conference Paper | LibreCat-ID: 56516
Bourgaux, Camille, and Anni-Yasmin Turhan. “Temporal Query Answering in DL-Lite over Inconsistent Data.” In The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, edited by Claudia d’Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, and Jeff Heflin, 10587:121–137. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-68288-4_8.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56514
Pensel, Maximilian, and Anni-Yasmin Turhan. “Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot.” In 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, edited by Richard Booth, Giovanni Casini, and Ivan Varzinczak, 1872:44–57. CEUR Workshop Proceedings. CEUR-WS.org, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 56515
Pensel, Maximilian, and Anni-Yasmin Turhan. “Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\).” In Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, edited by Marcello Balduccini and Tomi Janhunen, 10377:78–84. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-61660-5_9.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56513
Koopmann, Patrick, Marcus Hähnel, and Anni-Yasmin Turhan. “Energy-Efficiency of OWL Reasoners - Frequency Matters.” In Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, and Xiaowang Zhang, 10675:86–101. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-70682-5_6.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56512
Baader, Franz, Patrick Koopmann, and Anni-Yasmin Turhan. “Using Ontologies to Query Probabilistic Numerical Data.” In Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, edited by Clare Dixon and Marcelo Finger, 10483:77–94. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-66167-4_5.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56511
Baader, Franz, Patrick Koopmann, and Anni-Yasmin Turhan. “Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract).” In Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, edited by Alessandro Artale, Birte Glimm, and Roman Kontchakov, Vol. 1879. CEUR Workshop Proceedings. CEUR-WS.org, 2017.
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 56517
Wang, Zhe, Anni-Yasmin Turhan, Kewen Wang, and Xiaowang Zhang, eds. Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Vol. 10675. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-70682-5.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 52803
Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.” Journal on Data Semantics 5, no. 2 (2016): 55–75. https://doi.org/10.1007/s13740-015-0055-y.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 52796
Carapelle, Claudia, and Anni-Yasmin Turhan. “Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property.” In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016. https://doi.org/10.3233/978-1-61499-672-9-1440.
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 56518
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Similarity-Based Relaxed Instance Queries.” J. Appl. Log. 13, no. 4 (2015): 480–508. https://doi.org/10.1016/J.JAL.2015.01.002.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 56521
Mailis, Theofilos P., Anni-Yasmin Turhan, and Erik Zenker. “A Pragmatic Approach to Answering CQs over Fuzzy DL-Lite-Ontologies - Introducing FLite.” In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, edited by Diego Calvanese and Boris Konev, Vol. 1350. CEUR Workshop Proceedings. CEUR-WS.org, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56519
Borgwardt, Stefan, Theofilos P. Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan. “Conjunctive Query Answering with Finitely Many Truth Degrees.” In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, edited by Diego Calvanese and Boris Konev, Vol. 1350. CEUR Workshop Proceedings. CEUR-WS.org, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56520
Ecke, Andreas, Maximilian Pensel, and Anni-Yasmin Turhan. “Elastiq: Answering Similarity-Threshold Instance Queries in EL.” In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, edited by Diego Calvanese and Boris Konev, Vol. 1350. CEUR Workshop Proceedings. CEUR-WS.org, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56522
Turhan, Anni-Yasmin, and Erik Zenker. “Towards Temporal Fuzzy Query Answering on Stream-Based Data.” In Proceedings of the 1st Workshop on High-Level Declarative Stream Processing Co-Located with the 38th German AI Conference (KI 2015), Dresden, Germany, September 22, 2015, edited by Daniela Nicklas and zgür Lütfü Özçep, 1447:56–69. CEUR Workshop Proceedings. CEUR-WS.org, 2015.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56526
Mailis, Theofilos P., and Anni-Yasmin Turhan. “Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering.” In Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers, edited by Thepchai Supnithi, Takahira Yamaguchi, Jeff Z. Pan, Vilas Wuwongse, and Marut Buranarach, 8943:63–78. Lecture Notes in Computer Science. Springer, 2014. https://doi.org/10.1007/978-3-319-15615-6_5.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56525
Peñaloza, Rafael, Veronika Thost, and Anni-Yasmin Turhan. “Certain Answers in a Rough World.” In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, edited by Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, 1193:709–712. CEUR Workshop Proceedings. CEUR-WS.org, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56524
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Mary, What’s Like All Cats?” In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, edited by Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, 1193:526–529. CEUR Workshop Proceedings. CEUR-WS.org, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 56523
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Completion-Based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities.” Int. J. Approx. Reason. 55, no. 9 (2014): 1939–1970. https://doi.org/10.1016/J.IJAR.2014.03.001.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56530
Mailis, Theofilos P., Rafael Peñaloza, and Anni-Yasmin Turhan. “Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics.” In Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, edited by Roman Kontchakov and Marie-Laure Mugnier, 8741:124–139. Lecture Notes in Computer Science. Springer, 2014. https://doi.org/10.1007/978-3-319-11113-1_9.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56527
Merz, Dorian, Rafael Peñaloza, and Anni-Yasmin Turhan. “Reasoning in \emphALC with Fuzzy Concrete Domains.” In KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings, edited by Carsten Lutz and Michael Thielscher, 8736:171–182. Lecture Notes in Computer Science. Springer, 2014. https://doi.org/10.1007/978-3-319-11206-0_17.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56529
Hähnel, Marcus, Julian Mendez, Veronika Thost, and Anni-Yasmin Turhan. “Bridging the Application Knowledge Gap: Using Ontology-Based Situation Recognition to Support Energy-Aware Resource Scheduling.” In Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2014, Bordeaux, France, December 8-12, 2014, edited by Fábio M. Costa and Anders Andersen, 3:1–3:6. ACM, 2014. https://doi.org/10.1145/2677017.2677020.
LibreCat
| DOI
2014 | Conference (Editor) | LibreCat-ID: 56531
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, Co-Located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. Vol. 1205. CEUR Workshop Proceedings. CEUR-WS.org, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56528
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Answering Instance Queries Relaxed by Concept Similarity.” In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, edited by Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter. AAAI Press, 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56534
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Role-Depth Bounded Least Common Subsumer in Prob-EL with Nominals.” In Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, edited by Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, 1014:670–688. CEUR Workshop Proceedings. CEUR-WS.org, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56532
Turhan, Anni-Yasmin, and Benjamin Zarrieß. “Computing the Lcs w.r.t. General EL+-TBoxes.” In Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, edited by Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, 1014:477–488. CEUR Workshop Proceedings. CEUR-WS.org, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56542
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Instance-Based Non-Standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities.” In Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, edited by Fernando Bobillo, Paulo Cesar G. da Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, 7123:80–98. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-35975-0_5.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56541
Turhan, Anni-Yasmin. “Introductions to Description Logics - A Guided Tour.” In Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings, edited by Sebastian Rudolph, Georg Gottlob, Ian Horrocks, and Frank van Harmelen, 8067:150–161. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39784-4_3.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56538
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Computing Role-Depth Bounded Generalizations in the Description Logic.” In KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings, edited by Ingo J. Timm and Matthias Thimm, 8077:49–60. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40942-4_5.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56540
Dargie, Waltenegus, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, and Anni-Yasmin Turhan. “Situation Recognition for Service Management Systems Using OWL 2 Reasoners.” In 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013, 31–36. IEEE Computer Society, 2013. https://doi.org/10.1109/PERCOMW.2013.6529452.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56539
Goetz, Sebastian, Julian Mendez, Veronika Thost, and Anni-Yasmin Turhan. “OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context.” In Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions (OWLED 2013) Co-Located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013, edited by Mariano Rodriguez-Muro, Simon Jupp, and Kavitha Srinivas, Vol. 1080. CEUR Workshop Proceedings. CEUR-WS.org, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56536
Zarrieß, Benjamin, and Anni-Yasmin Turhan. “Most Specific Generalizations w.r.t. General EL-TBoxes.” In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, edited by Francesca Rossi, 1191–1197. IJCAI/AAAI, 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 56544
Lehmann, Karsten, and Anni-Yasmin Turhan. “A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts.” In Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, edited by Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin, 7519:307–319. Lecture Notes in Computer Science. Springer, 2012. https://doi.org/10.1007/978-3-642-33353-8_24.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 56551
Ecke, Andreas, and Anni-Yasmin Turhan. “Role-Depth Bounded Least Common Subsumers for EL+ and ELI.” In Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, edited by Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, Vol. 846. CEUR Workshop Proceedings. CEUR-WS.org, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 56545
Ecke, Andreas, and Anni-Yasmin Turhan. “Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+.” In Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, edited by Pavel Klinov and Matthew Horridge, Vol. 849. CEUR Workshop Proceedings. CEUR-WS.org, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 56546
Mendez, Julian, Andreas Ecke, and Anni-Yasmin Turhan. “Implementing Completion-Based Inferences for the EL-Family.” In Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, edited by Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, Vol. 745. CEUR Workshop Proceedings. CEUR-WS.org, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 56548
Turhan, Anni-Yasmin. “Description Logic Reasoning for Semantic Web Ontologies.” In Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, edited by Rajendra Akerkar, 6. ACM, 2011. https://doi.org/10.1145/1988688.1988696.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 56547
Peñaloza, Rafael, and Anni-Yasmin Turhan. “A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL.” In The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, edited by Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, and Jeff Z. Pan, 6643:410–423. Lecture Notes in Computer Science. Springer, 2011. https://doi.org/10.1007/978-3-642-21034-1_28.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 56550
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities.” In Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, edited by Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, Vol. 613. CEUR Workshop Proceedings. CEUR-WS.org, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 56549
Baader, Franz, Carsten Lutz, and Anni-Yasmin Turhan. “Small Is Again Beautiful in Description Logics.” Künstliche Intell. 24, no. 1 (2010): 25–33. https://doi.org/10.1007/S13218-010-0004-8.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 56553
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. Vol. 613. CEUR Workshop Proceedings. CEUR-WS.org, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 56552
Turhan, Anni-Yasmin. “Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics.” In Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures, edited by Uwe Aßmann, Andreas Bartho, and Christian Wende, 6325:1–27. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-15543-7_1.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 56554
Springer, Thomas, and Anni-Yasmin Turhan. “Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations.” J. Ambient Intell. Smart Environ. 1, no. 3 (2009): 235–259. https://doi.org/10.3233/AIS-2009-0032.
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 56555
Turhan, Anni-Yasmin. On the Computation of Common Subsumers in Description Logics. Dresden University of Technology, Germany, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 56557
Turhan, Anni-Yasmin, and Yusri Bong. “Speeding up Approximation with Nicer Concepts.” In Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, edited by Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, Vol. 250. CEUR Workshop Proceedings. CEUR-WS.org, 2007.
LibreCat
2007 | Conference (Editor) | LibreCat-ID: 56558
Calvanese, Diego, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, eds. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Vol. 250. CEUR Workshop Proceedings. CEUR-WS.org, 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 56556
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” J. Appl. Log. 5, no. 3 (2007): 392–420. https://doi.org/10.1016/J.JAL.2006.03.002.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 56559
Bechhofer, Sean, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, and Timo Weithöner. “DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners.” In Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006, edited by Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, and Evan Wallace, Vol. 216. CEUR Workshop Proceedings. CEUR-WS.org, 2006.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56564
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, edited by José Júlio Alferes and João Alexandre Leite, 3229:400–412. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-30227-8_34.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” In Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A. Basin and Michaël Rusinowitch, 3097:321–325. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-25984-8_22.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, Vol. 104. CEUR Workshop Proceedings. CEUR-WS.org, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.” In Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, Vol. 104. CEUR Workshop Proceedings. CEUR-WS.org, 2004.
LibreCat
2003 | Conference Paper | LibreCat-ID: 56567
Brandt, Sebastian, Anni-Yasmin Turhan, and Ralf Küsters. “Extensions of Non-Standard Inferences to Descriptions Logics with Transitive Roles.” In Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, edited by Moshe Y. Vardi and Andrei Voronkov, 2850:122–136. Lecture Notes in Computer Science. Springer, 2003. https://doi.org/10.1007/978-3-540-39813-4_8.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 56566
Brandt, Sebastian, and Anni-Yasmin Turhan. “Computing Least Common Subsumers for FLE\(^\mbox+\).” In Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, edited by Diego Calvanese, Giuseppe De Giacomo, and Enrico Franconi, Vol. 81. CEUR Workshop Proceedings. CEUR-WS.org, 2003.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56569
Baader, Franz, and Anni-Yasmin Turhan. “On the Problem of Computing Small Representations of Least Common Subsumers.” In KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, edited by Matthias Jarke, Jana Koehler, and Gerhard Lakemeyer, 2479:99–113. Lecture Notes in Computer Science. Springer, 2002. https://doi.org/10.1007/3-540-45751-8_7.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 56568
Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximating ALCN-Concept Descriptions.” In Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, edited by Ian Horrocks and Sergio Tessaris, Vol. 53. CEUR Workshop Proceedings. CEUR-WS.org, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56570
Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximation and Difference in Description Logics.” In Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, 203–214. Morgan Kaufmann, 2002.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.” In Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, edited by Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, 2083:61–75. Lecture Notes in Computer Science. Springer, 2001. https://doi.org/10.1007/3-540-45744-5_6.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 56572
Baader, Franz, and Anni-Yasmin Turhan. “TBoxes Do Not Yield a Compact Representation of Least Common Subsumers.” In Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, edited by Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
Turhan, Anni-Yasmin, and Ralf Molitor. “Using Lazy Unfolding for the Computation of Least Common Subsumers.” In Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, edited by Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
Turhan, Anni-Yasmin, and Volker Haarslev. “Adapting Optimization Techniques to Description Logics with Concrete Domains.” In Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, edited by Franz Baader and Ulrike Sattler, 33:247–256. CEUR Workshop Proceedings. CEUR-WS.org, 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 56575
Haarslev, Volker, Ralf Möller, Anni-Yasmin Turhan, and Michael Wessel. “On Terminological Default Reasoning about Spatial Information: Extended Abstract.” In Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, edited by Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, and Peter F. Patel-Schneider, Vol. 22. CEUR Workshop Proceedings. CEUR-WS.org, 1999.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Implementing an ALCRP(D) ABox Reasoner - Progress Report.” In Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop Proceedings. CEUR-WS.org, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “HAM-ALC.” In Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop Proceedings. CEUR-WS.org, 1998.
LibreCat
Search
Filter Publications
Display / Sort
Export / Embed
98 Publications
2024 | Conference Paper | LibreCat-ID: 56488
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.” In Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings, edited by Sabrina Kirrane, Mantas Simkus, Ahmet Soylu, and Dumitru Roman, 15183:142–158. Lecture Notes in Computer Science. Springer, 2024. https://doi.org/10.1007/978-3-031-72407-7_11.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin Turhan. “Optimal Alignment of Temporal Knowledge Bases (Extended Abstract).” In Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, edited by Laura Giordano, Jean Christoph Jung, and Ana Ozaki, Vol. 3739. CEUR Workshop Proceedings. CEUR-WS.org, 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations.” In Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, edited by Laura Giordano, Jean Christoph Jung, and Ana Ozaki, Vol. 3739. CEUR Workshop Proceedings. CEUR-WS.org, 2024.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 52861
Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin Turhan. “Optimal Alignment of Temporal Knowledge Bases.” CoRR abs/2307.15439 (2023). https://doi.org/10.48550/ARXIV.2307.15439.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
Turhan, Anni-Yasmin. “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).” In Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, edited by Oliver Kutz, Carsten Lutz, and Ana Ozaki, Vol. 3515. CEUR Workshop Proceedings. CEUR-WS.org, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 56096
Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin Turhan. “Optimal Alignment of Temporal Knowledge Bases.” In ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), edited by Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, and Roxana Radulescu, 372:708–715. Frontiers in Artificial Intelligence and Applications. IOS Press, 2023. https://doi.org/10.3233/FAIA230335.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
Camargo e Souza Câmara, Igor de, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models.” In Logics in Artificial Intelligence. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-43619-2_36.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52862
Turhan, Anni-Yasmin. “A Double Take at Conferences: The Hybrid Format.” KI - Künstliche Intelligenz 36, no. 1 (2022): 1–4. https://doi.org/10.1007/s13218-022-00758-6.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
Camargo e Souza Câmara, Igor de, and Anni-Yasmin Turhan. “Rational Defeasible Subsumption in DLs with Nested Quantifiers: The Case of ELI\(\perp\).” In 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, edited by Ofer Arieli, Giovanni Casini, and Laura Giordano, 3197:159–162. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat
2022 | Conference (Editor) | LibreCat-ID: 52925
Governatori, Guido, and Anni-Yasmin Turhan, eds. Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Vol. 13752. Lecture Notes in Computer Science. Springer, 2022. https://doi.org/10.1007/978-3-031-21541-4.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52924
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal ΕL Concepts with next and Global.” In SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, edited by Jiman Hong, Miroslav Bures, Juw Won Park, and Tomás Cerný, 903–910. ACM, 2022. https://doi.org/10.1145/3477314.3507136.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52918
Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” Theory Pract. Log. Program. 22, no. 2 (2022): 162–192. https://doi.org/10.1017/S1471068421000466.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52920
Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” In 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, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52921
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” In 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, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52922
Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” In 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, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, and Matthias Thimm, 3242:90–101. CEUR Workshop Proceedings. CEUR-WS.org, 2022.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” In 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, 6340–6348. AAAI Press, 2021. https://doi.org/10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput. 33, no. 6 (2021): 885–921. https://doi.org/10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, Christian, Willi Hieke, and Anni-Yasmin Turhan. “Counter Model Transformation for Explaining Non-Subsumption in EL.” In 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, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2961:9–22. CEUR Workshop Proceedings. CEUR-WS.org, 2021.
LibreCat
2020 | Journal Article | LibreCat-ID: 52930
Baader, Franz, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, and Anni-Yasmin Turhan. “Semantic Technologies for Situation Awareness.” Künstliche Intell. 34, no. 4 (2020): 543–550. https://doi.org/10.1007/S13218-020-00694-3.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 56490
Hieke, Willi, and Anni-Yasmin Turhan. “Towards Model Transformation in Description Logics - Investigating the Case of Transductions.” In 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, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2680:69–82. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” In 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, edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 56489
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).” In 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, edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
LibreCat
2019 | Journal Article | LibreCat-ID: 56491
Bourgaux, Camille, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Query Answering over Temporal and Inconsistent Data.” Semantic Web 10, no. 3 (2019): 475–521. https://doi.org/10.3233/SW-180337.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56493
Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter. “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction.” In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, 11560:1–14. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-22102-7_1.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56498
Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Probabilistic Model Checking.” In Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, edited by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, 11918:194–211. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-34968-4_11.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56496
Alrabbaa, Christian, Patrick Koopmann, and Anni-Yasmin Turhan. “Practical Query Rewriting for DL-Lite with Numerical Predicates.” In GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, edited by Diego Calvanese and Luca Iocchi, 65:15–27. EPiC Series in Computing. EasyChair, 2019. https://doi.org/10.29007/GQLL.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56499
Ngomo, Axel-Cyrille Ngonga, Felix Conrads, Maximilian Pensel, and Anni-Yasmin Turhan. “Congenial Benchmarking of RDF Storage Solutions.” In Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019, edited by Mayank Kejriwal, Pedro A. Szekely, and Raphaël Troncy, 213–221. ACM, 2019. https://doi.org/10.1145/3360901.3364429.
LibreCat
| DOI
2019 | Conference (Editor) | LibreCat-ID: 56502
Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, eds. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol. 11560. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-22102-7.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 56500
Michel, Friedrich, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner.” edited by Paul Fodor, Marco Montali, Diego Calvanese, and Dumitru Roman, 2019.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56508
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. 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. Vol. 2157. CEUR Workshop Proceedings. CEUR-WS.org, 2018.
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 56509
Trollmann, Frank, and Anni-Yasmin Turhan, eds. KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Vol. 11117. Lecture Notes in Computer Science. Springer, 2018. https://doi.org/10.1007/978-3-030-00111-7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56507
Peñaloza, Rafael, Veronika Thost, and Anni-Yasmin Turhan. “Query Answering for Rough EL Ontologies.” In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, edited by Michael Thielscher, Francesca Toni, and Frank Wolter, 399–408. AAAI Press, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 56503
Pensel, Maximilian, and Anni-Yasmin Turhan. “Reasoning in the Defeasible Description Logic \(Ε\)\(\mathscrL\) - Computing Standard Inferences under Rational and Relevant Semantics.” Int. J. Approx. Reason. 103 (2018): 28–70. https://doi.org/10.1016/J.IJAR.2018.08.005.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 56504
Pensel, Maximilian, and Anni-Yasmin Turhan. “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.” In 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, edited by Magdalena Ortiz and Thomas Schneider, Vol. 2211. CEUR Workshop Proceedings. CEUR-WS.org, 2018.
LibreCat
2017 | Journal Article | LibreCat-ID: 56510
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness.” FLAP 4, no. 7 (2017).
LibreCat
2017 | Conference Paper | LibreCat-ID: 56516
Bourgaux, Camille, and Anni-Yasmin Turhan. “Temporal Query Answering in DL-Lite over Inconsistent Data.” In The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, edited by Claudia d’Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, and Jeff Heflin, 10587:121–137. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-68288-4_8.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56514
Pensel, Maximilian, and Anni-Yasmin Turhan. “Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot.” In 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, edited by Richard Booth, Giovanni Casini, and Ivan Varzinczak, 1872:44–57. CEUR Workshop Proceedings. CEUR-WS.org, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 56515
Pensel, Maximilian, and Anni-Yasmin Turhan. “Including Quantification in Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\).” In Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, edited by Marcello Balduccini and Tomi Janhunen, 10377:78–84. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-61660-5_9.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56513
Koopmann, Patrick, Marcus Hähnel, and Anni-Yasmin Turhan. “Energy-Efficiency of OWL Reasoners - Frequency Matters.” In Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, and Xiaowang Zhang, 10675:86–101. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-70682-5_6.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56512
Baader, Franz, Patrick Koopmann, and Anni-Yasmin Turhan. “Using Ontologies to Query Probabilistic Numerical Data.” In Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, edited by Clare Dixon and Marcelo Finger, 10483:77–94. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-66167-4_5.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 56511
Baader, Franz, Patrick Koopmann, and Anni-Yasmin Turhan. “Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract).” In Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017, edited by Alessandro Artale, Birte Glimm, and Roman Kontchakov, Vol. 1879. CEUR Workshop Proceedings. CEUR-WS.org, 2017.
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 56517
Wang, Zhe, Anni-Yasmin Turhan, Kewen Wang, and Xiaowang Zhang, eds. Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings. Vol. 10675. Lecture Notes in Computer Science. Springer, 2017. https://doi.org/10.1007/978-3-319-70682-5.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 52803
Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.” Journal on Data Semantics 5, no. 2 (2016): 55–75. https://doi.org/10.1007/s13740-015-0055-y.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 52796
Carapelle, Claudia, and Anni-Yasmin Turhan. “Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property.” In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 2016. https://doi.org/10.3233/978-1-61499-672-9-1440.
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 56518
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Similarity-Based Relaxed Instance Queries.” J. Appl. Log. 13, no. 4 (2015): 480–508. https://doi.org/10.1016/J.JAL.2015.01.002.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 56521
Mailis, Theofilos P., Anni-Yasmin Turhan, and Erik Zenker. “A Pragmatic Approach to Answering CQs over Fuzzy DL-Lite-Ontologies - Introducing FLite.” In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, edited by Diego Calvanese and Boris Konev, Vol. 1350. CEUR Workshop Proceedings. CEUR-WS.org, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56519
Borgwardt, Stefan, Theofilos P. Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan. “Conjunctive Query Answering with Finitely Many Truth Degrees.” In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, edited by Diego Calvanese and Boris Konev, Vol. 1350. CEUR Workshop Proceedings. CEUR-WS.org, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56520
Ecke, Andreas, Maximilian Pensel, and Anni-Yasmin Turhan. “Elastiq: Answering Similarity-Threshold Instance Queries in EL.” In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015, edited by Diego Calvanese and Boris Konev, Vol. 1350. CEUR Workshop Proceedings. CEUR-WS.org, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 56522
Turhan, Anni-Yasmin, and Erik Zenker. “Towards Temporal Fuzzy Query Answering on Stream-Based Data.” In Proceedings of the 1st Workshop on High-Level Declarative Stream Processing Co-Located with the 38th German AI Conference (KI 2015), Dresden, Germany, September 22, 2015, edited by Daniela Nicklas and zgür Lütfü Özçep, 1447:56–69. CEUR Workshop Proceedings. CEUR-WS.org, 2015.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56526
Mailis, Theofilos P., and Anni-Yasmin Turhan. “Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering.” In Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers, edited by Thepchai Supnithi, Takahira Yamaguchi, Jeff Z. Pan, Vilas Wuwongse, and Marut Buranarach, 8943:63–78. Lecture Notes in Computer Science. Springer, 2014. https://doi.org/10.1007/978-3-319-15615-6_5.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56525
Peñaloza, Rafael, Veronika Thost, and Anni-Yasmin Turhan. “Certain Answers in a Rough World.” In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, edited by Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, 1193:709–712. CEUR Workshop Proceedings. CEUR-WS.org, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56524
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Mary, What’s Like All Cats?” In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, edited by Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, 1193:526–529. CEUR Workshop Proceedings. CEUR-WS.org, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 56523
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Completion-Based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities.” Int. J. Approx. Reason. 55, no. 9 (2014): 1939–1970. https://doi.org/10.1016/J.IJAR.2014.03.001.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56530
Mailis, Theofilos P., Rafael Peñaloza, and Anni-Yasmin Turhan. “Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics.” In Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, edited by Roman Kontchakov and Marie-Laure Mugnier, 8741:124–139. Lecture Notes in Computer Science. Springer, 2014. https://doi.org/10.1007/978-3-319-11113-1_9.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56527
Merz, Dorian, Rafael Peñaloza, and Anni-Yasmin Turhan. “Reasoning in \emphALC with Fuzzy Concrete Domains.” In KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings, edited by Carsten Lutz and Michael Thielscher, 8736:171–182. Lecture Notes in Computer Science. Springer, 2014. https://doi.org/10.1007/978-3-319-11206-0_17.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 56529
Hähnel, Marcus, Julian Mendez, Veronika Thost, and Anni-Yasmin Turhan. “Bridging the Application Knowledge Gap: Using Ontology-Based Situation Recognition to Support Energy-Aware Resource Scheduling.” In Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2014, Bordeaux, France, December 8-12, 2014, edited by Fábio M. Costa and Anders Andersen, 3:1–3:6. ACM, 2014. https://doi.org/10.1145/2677017.2677020.
LibreCat
| DOI
2014 | Conference (Editor) | LibreCat-ID: 56531
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, Co-Located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. Vol. 1205. CEUR Workshop Proceedings. CEUR-WS.org, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 56528
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Answering Instance Queries Relaxed by Concept Similarity.” In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, edited by Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter. AAAI Press, 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56534
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Role-Depth Bounded Least Common Subsumer in Prob-EL with Nominals.” In Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, edited by Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, 1014:670–688. CEUR Workshop Proceedings. CEUR-WS.org, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56532
Turhan, Anni-Yasmin, and Benjamin Zarrieß. “Computing the Lcs w.r.t. General EL+-TBoxes.” In Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, edited by Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, 1014:477–488. CEUR Workshop Proceedings. CEUR-WS.org, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56542
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Instance-Based Non-Standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities.” In Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, edited by Fernando Bobillo, Paulo Cesar G. da Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, 7123:80–98. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-35975-0_5.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56541
Turhan, Anni-Yasmin. “Introductions to Description Logics - A Guided Tour.” In Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings, edited by Sebastian Rudolph, Georg Gottlob, Ian Horrocks, and Frank van Harmelen, 8067:150–161. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39784-4_3.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56538
Ecke, Andreas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Computing Role-Depth Bounded Generalizations in the Description Logic.” In KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings, edited by Ingo J. Timm and Matthias Thimm, 8077:49–60. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40942-4_5.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56540
Dargie, Waltenegus, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, and Anni-Yasmin Turhan. “Situation Recognition for Service Management Systems Using OWL 2 Reasoners.” In 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013, 31–36. IEEE Computer Society, 2013. https://doi.org/10.1109/PERCOMW.2013.6529452.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 56539
Goetz, Sebastian, Julian Mendez, Veronika Thost, and Anni-Yasmin Turhan. “OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context.” In Proceedings of the 10th International Workshop on {OWL:} Experiences and Directions (OWLED 2013) Co-Located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013, edited by Mariano Rodriguez-Muro, Simon Jupp, and Kavitha Srinivas, Vol. 1080. CEUR Workshop Proceedings. CEUR-WS.org, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 56536
Zarrieß, Benjamin, and Anni-Yasmin Turhan. “Most Specific Generalizations w.r.t. General EL-TBoxes.” In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, edited by Francesca Rossi, 1191–1197. IJCAI/AAAI, 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 56544
Lehmann, Karsten, and Anni-Yasmin Turhan. “A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts.” In Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, edited by Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin, 7519:307–319. Lecture Notes in Computer Science. Springer, 2012. https://doi.org/10.1007/978-3-642-33353-8_24.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 56551
Ecke, Andreas, and Anni-Yasmin Turhan. “Role-Depth Bounded Least Common Subsumers for EL+ and ELI.” In Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, edited by Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, Vol. 846. CEUR Workshop Proceedings. CEUR-WS.org, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 56545
Ecke, Andreas, and Anni-Yasmin Turhan. “Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+.” In Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, edited by Pavel Klinov and Matthew Horridge, Vol. 849. CEUR Workshop Proceedings. CEUR-WS.org, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 56546
Mendez, Julian, Andreas Ecke, and Anni-Yasmin Turhan. “Implementing Completion-Based Inferences for the EL-Family.” In Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, edited by Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, Vol. 745. CEUR Workshop Proceedings. CEUR-WS.org, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 56548
Turhan, Anni-Yasmin. “Description Logic Reasoning for Semantic Web Ontologies.” In Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011, edited by Rajendra Akerkar, 6. ACM, 2011. https://doi.org/10.1145/1988688.1988696.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 56547
Peñaloza, Rafael, and Anni-Yasmin Turhan. “A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL.” In The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, edited by Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, and Jeff Z. Pan, 6643:410–423. Lecture Notes in Computer Science. Springer, 2011. https://doi.org/10.1007/978-3-642-21034-1_28.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 56550
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities.” In Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010, edited by Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, Vol. 613. CEUR Workshop Proceedings. CEUR-WS.org, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 56549
Baader, Franz, Carsten Lutz, and Anni-Yasmin Turhan. “Small Is Again Beautiful in Description Logics.” Künstliche Intell. 24, no. 1 (2010): 25–33. https://doi.org/10.1007/S13218-010-0004-8.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 56553
Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. Vol. 613. CEUR Workshop Proceedings. CEUR-WS.org, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 56552
Turhan, Anni-Yasmin. “Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics.” In Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures, edited by Uwe Aßmann, Andreas Bartho, and Christian Wende, 6325:1–27. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-15543-7_1.
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 56554
Springer, Thomas, and Anni-Yasmin Turhan. “Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations.” J. Ambient Intell. Smart Environ. 1, no. 3 (2009): 235–259. https://doi.org/10.3233/AIS-2009-0032.
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 56555
Turhan, Anni-Yasmin. On the Computation of Common Subsumers in Description Logics. Dresden University of Technology, Germany, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 56557
Turhan, Anni-Yasmin, and Yusri Bong. “Speeding up Approximation with Nicer Concepts.” In Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, edited by Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, Vol. 250. CEUR Workshop Proceedings. CEUR-WS.org, 2007.
LibreCat
2007 | Conference (Editor) | LibreCat-ID: 56558
Calvanese, Diego, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, eds. Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Vol. 250. CEUR Workshop Proceedings. CEUR-WS.org, 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 56556
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” J. Appl. Log. 5, no. 3 (2007): 392–420. https://doi.org/10.1016/J.JAL.2006.03.002.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 56559
Bechhofer, Sean, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, and Timo Weithöner. “DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners.” In Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006, edited by Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, and Evan Wallace, Vol. 216. CEUR Workshop Proceedings. CEUR-WS.org, 2006.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56564
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, edited by José Júlio Alferes and João Alexandre Leite, 3229:400–412. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-30227-8_34.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56561
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” In Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, edited by David A. Basin and Michaël Rusinowitch, 3097:321–325. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-25984-8_22.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 56562
Baader, Franz, Baris Sertkaya, and Anni-Yasmin Turhan. “Computing the Least Common Subsumer w.r.t. a Background Terminology.” In Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, Vol. 104. CEUR Workshop Proceedings. CEUR-WS.org, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 56563
Turhan, Anni-Yasmin, and Christian Kissig. “Sonic: System Description.” In Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004, edited by Volker Haarslev and Ralf Möller, Vol. 104. CEUR Workshop Proceedings. CEUR-WS.org, 2004.
LibreCat
2003 | Conference Paper | LibreCat-ID: 56567
Brandt, Sebastian, Anni-Yasmin Turhan, and Ralf Küsters. “Extensions of Non-Standard Inferences to Descriptions Logics with Transitive Roles.” In Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, edited by Moshe Y. Vardi and Andrei Voronkov, 2850:122–136. Lecture Notes in Computer Science. Springer, 2003. https://doi.org/10.1007/978-3-540-39813-4_8.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 56566
Brandt, Sebastian, and Anni-Yasmin Turhan. “Computing Least Common Subsumers for FLE\(^\mbox+\).” In Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, edited by Diego Calvanese, Giuseppe De Giacomo, and Enrico Franconi, Vol. 81. CEUR Workshop Proceedings. CEUR-WS.org, 2003.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56569
Baader, Franz, and Anni-Yasmin Turhan. “On the Problem of Computing Small Representations of Least Common Subsumers.” In KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, edited by Matthias Jarke, Jana Koehler, and Gerhard Lakemeyer, 2479:99–113. Lecture Notes in Computer Science. Springer, 2002. https://doi.org/10.1007/3-540-45751-8_7.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 56568
Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximating ALCN-Concept Descriptions.” In Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, edited by Ian Horrocks and Sergio Tessaris, Vol. 53. CEUR Workshop Proceedings. CEUR-WS.org, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 56570
Brandt, Sebastian, Ralf Küsters, and Anni-Yasmin Turhan. “Approximation and Difference in Description Logics.” In Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, 203–214. Morgan Kaufmann, 2002.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.” In Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, edited by Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, 2083:61–75. Lecture Notes in Computer Science. Springer, 2001. https://doi.org/10.1007/3-540-45744-5_6.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 56572
Baader, Franz, and Anni-Yasmin Turhan. “TBoxes Do Not Yield a Compact Representation of Least Common Subsumers.” In Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, edited by Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 56573
Turhan, Anni-Yasmin, and Ralf Molitor. “Using Lazy Unfolding for the Computation of Least Common Subsumers.” In Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, edited by Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, Vol. 49. CEUR Workshop Proceedings. CEUR-WS.org, 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 56574
Turhan, Anni-Yasmin, and Volker Haarslev. “Adapting Optimization Techniques to Description Logics with Concrete Domains.” In Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000, edited by Franz Baader and Ulrike Sattler, 33:247–256. CEUR Workshop Proceedings. CEUR-WS.org, 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 56575
Haarslev, Volker, Ralf Möller, Anni-Yasmin Turhan, and Michael Wessel. “On Terminological Default Reasoning about Spatial Information: Extended Abstract.” In Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999, edited by Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, and Peter F. Patel-Schneider, Vol. 22. CEUR Workshop Proceedings. CEUR-WS.org, 1999.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56577
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “Implementing an ALCRP(D) ABox Reasoner - Progress Report.” In Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop Proceedings. CEUR-WS.org, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
Haarslev, Volker, Ralf Möller, and Anni-Yasmin Turhan. “HAM-ALC.” In Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998, edited by Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Vol. 11. CEUR Workshop Proceedings. CEUR-WS.org, 1998.
LibreCat