Anni-Yasmin Turhan

turhan@uni-paderborn.de
ID
104470

98 Publications

Mark all

[98]
2024 | Conference Paper | LibreCat-ID: 56488
@inproceedings{Peñaloza_Turhan_2024, series={Lecture Notes in Computer Science}, title={Reasoning in Rough Description Logics with Multiple Indiscernibility Relations}, volume={15183}, DOI={10.1007/978-3-031-72407-7_11}, booktitle={Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings}, publisher={Springer}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Kirrane, Sabrina and Simkus, Mantas and Soylu, Ahmet and Roman, Dumitru}, year={2024}, pages={142–158}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[97]
2024 | Conference Paper | LibreCat-ID: 56158
@inproceedings{Gil_Patrizi_Perelli_Turhan_2024, series={CEUR Workshop Proceedings}, title={Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)}, volume={3739}, booktitle={Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024}, publisher={CEUR-WS.org}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, editor={Giordano, Laura and Jung, Jean Christoph and Ozaki, Ana}, year={2024}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[96]
2024 | Conference Paper | LibreCat-ID: 56159
@inproceedings{Peñaloza_Turhan_2024, series={CEUR Workshop Proceedings}, title={Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations}, volume={3739}, booktitle={Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Giordano, Laura and Jung, Jean Christoph and Ozaki, Ana}, year={2024}, collection={CEUR Workshop Proceedings} }
LibreCat | Files available
 
[95]
2023 | Journal Article | LibreCat-ID: 52861
@article{Gil_Patrizi_Perelli_Turhan_2023, title={Optimal Alignment of Temporal Knowledge Bases}, volume={abs/2307.15439}, DOI={10.48550/ARXIV.2307.15439}, journal={CoRR}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, year={2023} }
LibreCat | DOI
 
[94]
2023 | Conference Paper | LibreCat-ID: 52913
@inproceedings{Turhan_2023, series={CEUR Workshop Proceedings}, title={Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)}, volume={3515}, booktitle={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}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin}, editor={Kutz, Oliver and Lutz, Carsten and Ozaki, Ana}, year={2023}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[93]
2023 | Conference Paper | LibreCat-ID: 56096
@inproceedings{Gil_Patrizi_Perelli_Turhan_2023, series={Frontiers in Artificial Intelligence and Applications}, title={Optimal Alignment of Temporal Knowledge Bases}, volume={372}, DOI={10.3233/FAIA230335}, booktitle={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)}, publisher={IOS Press}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, editor={Gal, Kobi and Nowé, Ann and Nalepa, Grzegorz J. and Fairstein, Roy and Radulescu, Roxana}, year={2023}, pages={708–715}, collection={Frontiers in Artificial Intelligence and Applications} }
LibreCat | DOI
 
[92]
2023 | Book Chapter | LibreCat-ID: 52859
@inbook{de Camargo e Souza Câmara_Turhan_2023, place={Cham}, title={Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models}, DOI={10.1007/978-3-031-43619-2_36}, booktitle={Logics in Artificial Intelligence}, publisher={Springer Nature Switzerland}, author={de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin}, year={2023} }
LibreCat | DOI
 
[91]
2022 | Journal Article | LibreCat-ID: 52862
@article{Turhan_2022, title={A Double Take at Conferences: The Hybrid Format}, volume={36}, DOI={10.1007/s13218-022-00758-6}, number={1}, journal={KI - Künstliche Intelligenz}, publisher={Springer Science and Business Media LLC}, author={Turhan, Anni-Yasmin}, year={2022}, pages={1–4} }
LibreCat | DOI
 
[90]
2022 | Conference Paper | LibreCat-ID: 52923
@inproceedings{de Camargo e Souza Câmara_Turhan_2022, series={CEUR Workshop Proceedings}, title={Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\)}, volume={3197}, booktitle={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}, publisher={CEUR-WS.org}, author={de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin}, editor={Arieli, Ofer and Casini, Giovanni and Giordano, Laura}, year={2022}, pages={159–162}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[89]
2022 | Conference (Editor) | LibreCat-ID: 52925
@book{Governatori_Turhan_2022, series={Lecture Notes in Computer Science}, title={Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings}, volume={13752}, DOI={10.1007/978-3-031-21541-4}, publisher={Springer}, year={2022}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[88]
2022 | Conference Paper | LibreCat-ID: 52924
@inproceedings{Tirtarasa_Turhan_2022, title={Computing generalizations of temporal ϵL concepts with next and global}, DOI={10.1145/3477314.3507136}, booktitle={SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022}, publisher={ACM}, author={Tirtarasa, Satyadharma and Turhan, Anni-Yasmin}, editor={Hong, Jiman and Bures, Miroslav and Park, Juw Won and Cerný, Tomás}, year={2022}, pages={903–910} }
LibreCat | DOI
 
[87]
2022 | Journal Article | LibreCat-ID: 52918
@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner}, volume={22}, DOI={10.1017/S1471068421000466}, number={2}, journal={Theory Pract. Log. Program.}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, year={2022}, pages={162–192} }
LibreCat | DOI
 
[86]
2022 | Conference Paper | LibreCat-ID: 52920
@inproceedings{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, series={CEUR Workshop Proceedings}, title={Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)}, volume={3263}, booktitle={Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, publisher={CEUR-WS.org}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, editor={Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}, year={2022}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[85]
2022 | Conference Paper | LibreCat-ID: 52921
@inproceedings{Tirtarasa_Turhan_2022, series={CEUR Workshop Proceedings}, title={A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)}, volume={3263}, booktitle={Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, publisher={CEUR-WS.org}, author={Tirtarasa, Satyadharma and Turhan, Anni-Yasmin}, editor={Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}, year={2022}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[84]
2022 | Conference Paper | LibreCat-ID: 52922
@inproceedings{Peñaloza_Turhan_2022, series={CEUR Workshop Proceedings}, title={User-aware Explications of Ontology Consequences: Levelling Technicality}, volume={3242}, booktitle={Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Sauerwald, Kai and Thimm, Matthias}, year={2022}, pages={90–101}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[83]
2021 | Conference Paper | LibreCat-ID: 52927
@inproceedings{Gil_Turhan_2021, title={Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics}, DOI={10.1609/AAAI.V35I7.16787}, booktitle={Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}, publisher={AAAI Press}, author={Gil, Oliver Fernández and Turhan, Anni-Yasmin}, year={2021}, pages={6340–6348} }
LibreCat | DOI
 
[82]
2021 | Journal Article | LibreCat-ID: 52926
@article{Dubslaff_Koopmann_Turhan_2021, title={Enhancing Probabilistic Model Checking with Ontologies}, volume={33}, DOI={10.1007/S00165-021-00549-0}, number={6}, journal={Formal Aspects Comput.}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, year={2021}, pages={885–921} }
LibreCat | DOI
 
[81]
2021 | Conference Paper | LibreCat-ID: 52928
@inproceedings{Alrabbaa_Hieke_Turhan_2021, series={CEUR Workshop Proceedings}, title={Counter Model Transformation for Explaining Non-Subsumption in EL}, volume={2961}, booktitle={Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021}, publisher={CEUR-WS.org}, author={Alrabbaa, Christian and Hieke, Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}, year={2021}, pages={9–22}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[80]
2020 | Journal Article | LibreCat-ID: 52930
@article{Baader_Borgwardt_Koopmann_Thost_Turhan_2020, title={Semantic Technologies for Situation Awareness}, volume={34}, DOI={10.1007/S13218-020-00694-3}, number={4}, journal={Künstliche Intell.}, author={Baader, Franz and Borgwardt, Stefan and Koopmann, Patrick and Thost, Veronika and Turhan, Anni-Yasmin}, year={2020}, pages={543–550} }
LibreCat | DOI
 
[79]
2020 | Conference Paper | LibreCat-ID: 56490
@inproceedings{Hieke_Turhan_2020, series={CEUR Workshop Proceedings}, title={Towards Model Transformation in Description Logics - Investigating the Case of Transductions}, volume={2680}, booktitle={Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020}, publisher={CEUR-WS.org}, author={Hieke, Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}, year={2020}, pages={69–82}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[78]
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
 
[77]
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
 
[76]
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
 
[75]
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
 
[74]
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
 
[73]
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
 
[72]
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
 
[71]
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
 
[70]
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
 
[69]
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
 
[68]
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
 
[67]
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
 
[66]
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
 
[65]
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
 
[64]
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
 
[63]
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
 
[62]
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
 
[61]
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
 
[60]
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
 
[59]
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
 
[58]
2017 | Conference Paper | LibreCat-ID: 56511
@inproceedings{Baader_Koopmann_Turhan_2017, series={CEUR Workshop Proceedings}, title={Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)}, volume={1879}, booktitle={Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017}, publisher={CEUR-WS.org}, author={Baader, Franz and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Artale, Alessandro and Glimm, Birte and Kontchakov, Roman}, year={2017}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[57]
2017 | Conference (Editor) | LibreCat-ID: 56517
@book{Wang_Turhan_Wang_Zhang_2017, series={Lecture Notes in Computer Science}, title={Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings}, volume={10675}, DOI={10.1007/978-3-319-70682-5}, publisher={Springer}, year={2017}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[56]
2016 | Journal Article | LibreCat-ID: 52803
@article{Borgwardt_Mailis_Peñaloza_Turhan_2016, title={Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, volume={5}, DOI={10.1007/s13740-015-0055-y}, number={2}, journal={Journal on Data Semantics}, publisher={Springer Science and Business Media LLC}, author={Borgwardt, Stefan and Mailis, Theofilos and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2016}, pages={55–75} }
LibreCat | DOI
 
[55]
2016 | Conference Paper | LibreCat-ID: 52796
@inproceedings{Carapelle_Turhan_2016, title={Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property}, DOI={10.3233/978-1-61499-672-9-1440}, booktitle={Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016)}, author={Carapelle, Claudia and Turhan, Anni-Yasmin}, year={2016} }
LibreCat | DOI
 
[54]
2015 | Journal Article | LibreCat-ID: 56518
@article{Ecke_Peñaloza_Turhan_2015, title={Similarity-based relaxed instance queries}, volume={13}, DOI={10.1016/J.JAL.2015.01.002}, number={4}, journal={J. Appl. Log.}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2015}, pages={480–508} }
LibreCat | DOI
 
[53]
2015 | Conference Paper | LibreCat-ID: 56521
@inproceedings{Mailis_Turhan_Zenker_2015, series={CEUR Workshop Proceedings}, title={A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite}, volume={1350}, booktitle={Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, publisher={CEUR-WS.org}, author={Mailis, Theofilos P. and Turhan, Anni-Yasmin and Zenker, Erik}, editor={Calvanese, Diego and Konev, Boris}, year={2015}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[52]
2015 | Conference Paper | LibreCat-ID: 56519
@inproceedings{Borgwardt_Mailis_Peñaloza_Turhan_2015, series={CEUR Workshop Proceedings}, title={Conjunctive Query Answering with Finitely Many Truth Degrees}, volume={1350}, booktitle={Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, publisher={CEUR-WS.org}, author={Borgwardt, Stefan and Mailis, Theofilos P. and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Konev, Boris}, year={2015}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[51]
2015 | Conference Paper | LibreCat-ID: 56520
@inproceedings{Ecke_Pensel_Turhan_2015, series={CEUR Workshop Proceedings}, title={Elastiq: Answering Similarity-threshold Instance Queries in EL}, volume={1350}, booktitle={Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Konev, Boris}, year={2015}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[50]
2015 | Conference Paper | LibreCat-ID: 56522
@inproceedings{Turhan_Zenker_2015, series={CEUR Workshop Proceedings}, title={Towards Temporal Fuzzy Query Answering on Stream-based Data}, volume={1447}, booktitle={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}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Zenker, Erik}, editor={Nicklas, Daniela and Lütfü Özçep, zgür}, year={2015}, pages={56–69}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[49]
2014 | Conference Paper | LibreCat-ID: 56526
@inproceedings{Mailis_Turhan_2014, series={Lecture Notes in Computer Science}, title={Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering}, volume={8943}, DOI={10.1007/978-3-319-15615-6_5}, booktitle={Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers}, publisher={Springer}, author={Mailis, Theofilos P. and Turhan, Anni-Yasmin}, editor={Supnithi, Thepchai and Yamaguchi, Takahira and Pan, Jeff Z. and Wuwongse, Vilas and Buranarach, Marut}, year={2014}, pages={63–78}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[48]
2014 | Conference Paper | LibreCat-ID: 56525
@inproceedings{Peñaloza_Thost_Turhan_2014, series={CEUR Workshop Proceedings}, title={Certain Answers in a Rough World}, volume={1193}, booktitle={Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Thost, Veronika and Turhan, Anni-Yasmin}, editor={Bienvenu, Meghyn and Ortiz, Magdalena and Rosati, Riccardo and Simkus, Mantas}, year={2014}, pages={709–712}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[47]
2014 | Conference Paper | LibreCat-ID: 56524
@inproceedings{Ecke_Peñaloza_Turhan_2014, series={CEUR Workshop Proceedings}, title={Mary, What’s Like All Cats?}, volume={1193}, booktitle={Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Bienvenu, Meghyn and Ortiz, Magdalena and Rosati, Riccardo and Simkus, Mantas}, year={2014}, pages={526–529}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[46]
2014 | Journal Article | LibreCat-ID: 56523
@article{Ecke_Peñaloza_Turhan_2014, title={Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities}, volume={55}, DOI={10.1016/J.IJAR.2014.03.001}, number={9}, journal={Int. J. Approx. Reason.}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2014}, pages={1939–1970} }
LibreCat | DOI
 
[45]
2014 | Conference Paper | LibreCat-ID: 56530
@inproceedings{Mailis_Peñaloza_Turhan_2014, series={Lecture Notes in Computer Science}, title={Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics}, volume={8741}, DOI={10.1007/978-3-319-11113-1_9}, booktitle={Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings}, publisher={Springer}, author={Mailis, Theofilos P. and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Kontchakov, Roman and Mugnier, Marie-Laure}, year={2014}, pages={124–139}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[44]
2014 | Conference Paper | LibreCat-ID: 56527
@inproceedings{Merz_Peñaloza_Turhan_2014, series={Lecture Notes in Computer Science}, title={Reasoning in \emphALC with Fuzzy Concrete Domains}, volume={8736}, DOI={10.1007/978-3-319-11206-0_17}, booktitle={KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings}, publisher={Springer}, author={Merz, Dorian and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Lutz, Carsten and Thielscher, Michael}, year={2014}, pages={171–182}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[43]
2014 | Conference Paper | LibreCat-ID: 56529
@inproceedings{Hähnel_Mendez_Thost_Turhan_2014, title={Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling}, DOI={10.1145/2677017.2677020}, booktitle={Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2014, Bordeaux, France, December 8-12, 2014}, publisher={ACM}, author={Hähnel, Marcus and Mendez, Julian and Thost, Veronika and Turhan, Anni-Yasmin}, editor={Costa, Fábio M. and Andersen, Anders}, year={2014}, pages={3:1–3:6} }
LibreCat | DOI
 
[42]
2014 | Conference (Editor) | LibreCat-ID: 56531
@book{Lukasiewicz_Peñaloza_Turhan_2014, series={CEUR Workshop Proceedings}, title={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}, volume={1205}, publisher={CEUR-WS.org}, year={2014}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[41]
2014 | Conference Paper | LibreCat-ID: 56528
@inproceedings{Ecke_Peñaloza_Turhan_2014, title={Answering Instance Queries Relaxed by Concept Similarity}, booktitle={Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014}, publisher={AAAI Press}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Baral, Chitta and Giacomo, Giuseppe De and Eiter, Thomas}, year={2014} }
LibreCat
 
[40]
2013 | Conference Paper | LibreCat-ID: 56534
@inproceedings{Ecke_Peñaloza_Turhan_2013, series={CEUR Workshop Proceedings}, title={Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals}, volume={1014}, booktitle={Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Eiter, Thomas and Glimm, Birte and Kazakov, Yevgeny and Krötzsch, Markus}, year={2013}, pages={670–688}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[39]
2013 | Conference Paper | LibreCat-ID: 56532
@inproceedings{Turhan_Zarrieß_2013, series={CEUR Workshop Proceedings}, title={Computing the lcs w.r.t. General EL+-TBoxes}, volume={1014}, booktitle={Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Zarrieß, Benjamin}, editor={Eiter, Thomas and Glimm, Birte and Kazakov, Yevgeny and Krötzsch, Markus}, year={2013}, pages={477–488}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[38]
2013 | Conference Paper | LibreCat-ID: 56542
@inproceedings{Peñaloza_Turhan_2013, series={Lecture Notes in Computer Science}, title={Instance-Based Non-standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities}, volume={7123}, DOI={10.1007/978-3-642-35975-0_5}, booktitle={Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers}, publisher={Springer}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Bobillo, Fernando and da Costa, Paulo Cesar G. and d’Amato, Claudia and Fanizzi, Nicola and Laskey, Kathryn B. and Laskey, Kenneth J. and Lukasiewicz, Thomas and Nickles, Matthias and Pool, Michael}, year={2013}, pages={80–98}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[37]
2013 | Conference Paper | LibreCat-ID: 56541
@inproceedings{Turhan_2013, series={Lecture Notes in Computer Science}, title={Introductions to Description Logics - A Guided Tour}, volume={8067}, DOI={10.1007/978-3-642-39784-4_3}, booktitle={Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings}, publisher={Springer}, author={Turhan, Anni-Yasmin}, editor={Rudolph, Sebastian and Gottlob, Georg and Horrocks, Ian and van Harmelen, Frank}, year={2013}, pages={150–161}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[36]
2013 | Conference Paper | LibreCat-ID: 56538
@inproceedings{Ecke_Peñaloza_Turhan_2013, series={Lecture Notes in Computer Science}, title={Computing Role-Depth Bounded Generalizations in the Description Logic}, volume={8077}, DOI={10.1007/978-3-642-40942-4_5}, booktitle={KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings}, publisher={Springer}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Timm, Ingo J. and Thimm, Matthias}, year={2013}, pages={49–60}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[35]
2013 | Conference Paper | LibreCat-ID: 56540
@inproceedings{Dargie_Mendez_Möbius_Rybina_Thost_Turhan_2013, title={Situation recognition for service management systems using OWL 2 reasoners}, DOI={10.1109/PERCOMW.2013.6529452}, booktitle={2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013}, publisher={IEEE Computer Society}, author={Dargie, Waltenegus and Mendez, Julian and Möbius, Christoph and Rybina, Kateryna and Thost, Veronika and Turhan, Anni-Yasmin}, year={2013}, pages={31–36} }
LibreCat | DOI
 
[34]
2013 | Conference Paper | LibreCat-ID: 56539
@inproceedings{Goetz_Mendez_Thost_Turhan_2013, series={CEUR Workshop Proceedings}, title={OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context}, volume={1080}, booktitle={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}, publisher={CEUR-WS.org}, author={Goetz, Sebastian and Mendez, Julian and Thost, Veronika and Turhan, Anni-Yasmin}, editor={Rodriguez-Muro, Mariano and Jupp, Simon and Srinivas, Kavitha}, year={2013}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[33]
2013 | Conference Paper | LibreCat-ID: 56536
@inproceedings{Zarrieß_Turhan_2013, title={Most Specific Generalizations w.r.t. General EL-TBoxes}, booktitle={IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, publisher={IJCAI/AAAI}, author={Zarrieß, Benjamin and Turhan, Anni-Yasmin}, editor={Rossi, Francesca}, year={2013}, pages={1191–1197} }
LibreCat
 
[32]
2012 | Conference Paper | LibreCat-ID: 56544
@inproceedings{Lehmann_Turhan_2012, series={Lecture Notes in Computer Science}, title={A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts}, volume={7519}, DOI={10.1007/978-3-642-33353-8_24}, booktitle={Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings}, publisher={Springer}, author={Lehmann, Karsten and Turhan, Anni-Yasmin}, editor={del Cerro, Luis Fariñas and Herzig, Andreas and Mengin, Jérôme}, year={2012}, pages={307–319}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[31]
2012 | Conference Paper | LibreCat-ID: 56551
@inproceedings{Ecke_Turhan_2012, series={CEUR Workshop Proceedings}, title={Role-depth Bounded Least Common Subsumers for EL+ and ELI}, volume={846}, booktitle={Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Turhan, Anni-Yasmin}, editor={Kazakov, Yevgeny and Lembo, Domenico and Wolter, Frank}, year={2012}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[30]
2012 | Conference Paper | LibreCat-ID: 56545
@inproceedings{Ecke_Turhan_2012, series={CEUR Workshop Proceedings}, title={Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+}, volume={849}, booktitle={Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Turhan, Anni-Yasmin}, editor={Klinov, Pavel and Horridge, Matthew}, year={2012}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[29]
2011 | Conference Paper | LibreCat-ID: 56546
@inproceedings{Mendez_Ecke_Turhan_2011, series={CEUR Workshop Proceedings}, title={Implementing Completion-Based Inferences for the EL-family}, volume={745}, booktitle={Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011}, publisher={CEUR-WS.org}, author={Mendez, Julian and Ecke, Andreas and Turhan, Anni-Yasmin}, editor={Rosati, Riccardo and Rudolph, Sebastian and Zakharyaschev, Michael}, year={2011}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[28]
2011 | Conference Paper | LibreCat-ID: 56548
@inproceedings{Turhan_2011, title={Description logic reasoning for semantic web ontologies}, DOI={10.1145/1988688.1988696}, booktitle={Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011}, publisher={ACM}, author={Turhan, Anni-Yasmin}, editor={Akerkar, Rajendra}, year={2011}, pages={6} }
LibreCat | DOI
 
[27]
2011 | Conference Paper | LibreCat-ID: 56547
@inproceedings{Peñaloza_Turhan_2011, series={Lecture Notes in Computer Science}, title={A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL}, volume={6643}, DOI={10.1007/978-3-642-21034-1_28}, booktitle={The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I}, publisher={Springer}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Antoniou, Grigoris and Grobelnik, Marko and Simperl, Elena and Parsia, Bijan and Plexousakis, Dimitris and Leenheer, Pieter De and Pan, Jeff Z.}, year={2011}, pages={410–423}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[26]
2010 | Conference Paper | LibreCat-ID: 56550
@inproceedings{Peñaloza_Turhan_2010, series={CEUR Workshop Proceedings}, title={Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities}, volume={613}, booktitle={Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Lukasiewicz, Thomas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2010}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[25]
2010 | Journal Article | LibreCat-ID: 56549
@article{Baader_Lutz_Turhan_2010, title={Small is Again Beautiful in Description Logics}, volume={24}, DOI={10.1007/S13218-010-0004-8}, number={1}, journal={Künstliche Intell.}, author={Baader, Franz and Lutz, Carsten and Turhan, Anni-Yasmin}, year={2010}, pages={25–33} }
LibreCat | DOI
 
[24]
2010 | Conference (Editor) | LibreCat-ID: 56553
@book{Lukasiewicz_Peñaloza_Turhan_2010, series={CEUR Workshop Proceedings}, title={Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010}, volume={613}, publisher={CEUR-WS.org}, year={2010}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[23]
2010 | Conference Paper | LibreCat-ID: 56552
@inproceedings{Turhan_2010, series={Lecture Notes in Computer Science}, title={Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics}, volume={6325}, DOI={10.1007/978-3-642-15543-7_1}, booktitle={Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures}, publisher={Springer}, author={Turhan, Anni-Yasmin}, editor={Aßmann, Uwe and Bartho, Andreas and Wende, Christian}, year={2010}, pages={1–27}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[22]
2009 | Journal Article | LibreCat-ID: 56554
@article{Springer_Turhan_2009, title={Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations}, volume={1}, DOI={10.3233/AIS-2009-0032}, number={3}, journal={J. Ambient Intell. Smart Environ.}, author={Springer, Thomas and Turhan, Anni-Yasmin}, year={2009}, pages={235–259} }
LibreCat | DOI
 
[21]
2007 | Dissertation | LibreCat-ID: 56555
@book{Turhan_2007, title={On the computation of common subsumers in description logics}, publisher={Dresden University of Technology, Germany}, author={Turhan, Anni-Yasmin}, year={2007} }
LibreCat
 
[20]
2007 | Conference Paper | LibreCat-ID: 56557
@inproceedings{Turhan_Bong_2007, series={CEUR Workshop Proceedings}, title={Speeding up Approximation with Nicer Concepts}, volume={250}, booktitle={Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Bong, Yusri}, editor={Calvanese, Diego and Franconi, Enrico and Haarslev, Volker and Lembo, Domenico and Motik, Boris and Turhan, Anni-Yasmin and Tessaris, Sergio}, year={2007}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[19]
2007 | Conference (Editor) | LibreCat-ID: 56558
@book{Calvanese_Franconi_Haarslev_Lembo_Motik_Turhan_Tessaris_2007, series={CEUR Workshop Proceedings}, title={Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, volume={250}, publisher={CEUR-WS.org}, year={2007}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[18]
2007 | Journal Article | LibreCat-ID: 56556
@article{Baader_Sertkaya_Turhan_2007, title={Computing the least common subsumer w.r.t. a background terminology}, volume={5}, DOI={10.1016/J.JAL.2006.03.002}, number={3}, journal={J. Appl. Log.}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, year={2007}, pages={392–420} }
LibreCat | DOI
 
[17]
2006 | Conference Paper | LibreCat-ID: 56559
@inproceedings{Bechhofer_Liebig_Luther_Noppens_Patel-Schneider_Suntisrivaraporn_Turhan_Weithöner_2006, series={CEUR Workshop Proceedings}, title={DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners}, volume={216}, booktitle={Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006}, publisher={CEUR-WS.org}, author={Bechhofer, Sean and Liebig, Thorsten and Luther, Marko and Noppens, Olaf and Patel-Schneider, Peter F. and Suntisrivaraporn, Boontawee and Turhan, Anni-Yasmin and Weithöner, Timo}, editor={Grau, Bernardo Cuenca and Hitzler, Pascal and Shankey, Conor and Wallace, Evan}, year={2006}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[16]
2004 | Conference Paper | LibreCat-ID: 56564
@inproceedings{Baader_Sertkaya_Turhan_2004, series={Lecture Notes in Computer Science}, title={Computing the Least Common Subsumer w.r.t. a Background Terminology}, volume={3229}, DOI={10.1007/978-3-540-30227-8_34}, booktitle={Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, publisher={Springer}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Alferes, José Júlio and Leite, João Alexandre}, year={2004}, pages={400–412}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[15]
2004 | Conference Paper | LibreCat-ID: 56561
@inproceedings{Turhan_Kissig_2004, series={Lecture Notes in Computer Science}, title={Sonic - Non-standard Inferences Go OilEd}, volume={3097}, DOI={10.1007/978-3-540-25984-8_22}, booktitle={Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, publisher={Springer}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Basin, David A. and Rusinowitch, Michaël}, year={2004}, pages={321–325}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[14]
2004 | Conference Paper | LibreCat-ID: 56562
@inproceedings{Baader_Sertkaya_Turhan_2004, series={CEUR Workshop Proceedings}, title={Computing the Least Common Subsumer w.r.t. a Background Terminology}, volume={104}, booktitle={Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Haarslev, Volker and Möller, Ralf}, year={2004}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[13]
2004 | Conference Paper | LibreCat-ID: 56563
@inproceedings{Turhan_Kissig_2004, series={CEUR Workshop Proceedings}, title={Sonic: System Description}, volume={104}, booktitle={Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Haarslev, Volker and Möller, Ralf}, year={2004}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[12]
2003 | Conference Paper | LibreCat-ID: 56567
@inproceedings{Brandt_Turhan_Küsters_2003, series={Lecture Notes in Computer Science}, title={Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles}, volume={2850}, DOI={10.1007/978-3-540-39813-4_8}, booktitle={Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings}, publisher={Springer}, author={Brandt, Sebastian and Turhan, Anni-Yasmin and Küsters, Ralf}, editor={Vardi, Moshe Y. and Voronkov, Andrei}, year={2003}, pages={122–136}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[11]
2003 | Conference Paper | LibreCat-ID: 56566
@inproceedings{Brandt_Turhan_2003, series={CEUR Workshop Proceedings}, title={Computing Least Common Subsumers for FLE\(^\mbox+\)}, volume={81}, booktitle={Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003}, publisher={CEUR-WS.org}, author={Brandt, Sebastian and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Giacomo, Giuseppe De and Franconi, Enrico}, year={2003}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[10]
2002 | Conference Paper | LibreCat-ID: 56569
@inproceedings{Baader_Turhan_2002, series={Lecture Notes in Computer Science}, title={On the Problem of Computing Small Representations of Least Common Subsumers}, volume={2479}, DOI={10.1007/3-540-45751-8_7}, booktitle={KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings}, publisher={Springer}, author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Jarke, Matthias and Koehler, Jana and Lakemeyer, Gerhard}, year={2002}, pages={99–113}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[9]
2002 | Conference Paper | LibreCat-ID: 56568
@inproceedings{Brandt_Küsters_Turhan_2002, series={CEUR Workshop Proceedings}, title={Approximating ALCN-Concept Descriptions}, volume={53}, booktitle={Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002}, publisher={CEUR-WS.org}, author={Brandt, Sebastian and Küsters, Ralf and Turhan, Anni-Yasmin}, editor={Horrocks, Ian and Tessaris, Sergio}, year={2002}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[8]
2002 | Conference Paper | LibreCat-ID: 56570
@inproceedings{Brandt_Küsters_Turhan_2002, title={Approximation and Difference in Description Logics}, booktitle={Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002}, publisher={Morgan Kaufmann}, author={Brandt, Sebastian and Küsters, Ralf and Turhan, Anni-Yasmin}, editor={Fensel, Dieter and Giunchiglia, Fausto and McGuinness, Deborah L. and Williams, Mary-Anne}, year={2002}, pages={203–214} }
LibreCat
 
[7]
2001 | Conference Paper | LibreCat-ID: 56571
@inproceedings{Haarslev_Möller_Turhan_2001, series={Lecture Notes in Computer Science}, title={Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics}, volume={2083}, DOI={10.1007/3-540-45744-5_6}, booktitle={Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings}, publisher={Springer}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias}, year={2001}, pages={61–75}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[6]
2001 | Conference Paper | LibreCat-ID: 56572
@inproceedings{Baader_Turhan_2001, series={CEUR Workshop Proceedings}, title={TBoxes do not Yield a Compact Representation of Least Common Subsumers}, volume={49}, booktitle={Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[5]
2001 | Conference Paper | LibreCat-ID: 56573
@inproceedings{Turhan_Molitor_2001, series={CEUR Workshop Proceedings}, title={Using Lazy Unfolding for the Computation of Least Common Subsumers}, volume={49}, booktitle={Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Molitor, Ralf}, editor={Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[4]
2000 | Conference Paper | LibreCat-ID: 56574
@inproceedings{Turhan_Haarslev_2000, series={CEUR Workshop Proceedings}, title={Adapting Optimization Techniques to Description Logics with Concrete Domains}, volume={33}, booktitle={Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Haarslev, Volker}, editor={Baader, Franz and Sattler, Ulrike}, year={2000}, pages={247–256}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[3]
1999 | Conference Paper | LibreCat-ID: 56575
@inproceedings{Haarslev_Möller_Turhan_Wessel_1999, series={CEUR Workshop Proceedings}, title={On Terminological Default Reasoning about Spatial Information: Extended Abstract}, volume={22}, booktitle={Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin and Wessel, Michael}, editor={Lambrix, Patrick and Borgida, Alexander and Lenzerini, Maurizio and Möller, Ralf and Patel-Schneider, Peter F.}, year={1999}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[2]
1998 | Conference Paper | LibreCat-ID: 56577
@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={Implementing an ALCRP(D) ABox Reasoner - Progress Report}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[1]
1998 | Conference Paper | LibreCat-ID: 56576
@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={HAM-ALC}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed

98 Publications

Mark all

[98]
2024 | Conference Paper | LibreCat-ID: 56488
@inproceedings{Peñaloza_Turhan_2024, series={Lecture Notes in Computer Science}, title={Reasoning in Rough Description Logics with Multiple Indiscernibility Relations}, volume={15183}, DOI={10.1007/978-3-031-72407-7_11}, booktitle={Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings}, publisher={Springer}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Kirrane, Sabrina and Simkus, Mantas and Soylu, Ahmet and Roman, Dumitru}, year={2024}, pages={142–158}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[97]
2024 | Conference Paper | LibreCat-ID: 56158
@inproceedings{Gil_Patrizi_Perelli_Turhan_2024, series={CEUR Workshop Proceedings}, title={Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)}, volume={3739}, booktitle={Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024}, publisher={CEUR-WS.org}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, editor={Giordano, Laura and Jung, Jean Christoph and Ozaki, Ana}, year={2024}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[96]
2024 | Conference Paper | LibreCat-ID: 56159
@inproceedings{Peñaloza_Turhan_2024, series={CEUR Workshop Proceedings}, title={Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations}, volume={3739}, booktitle={Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Giordano, Laura and Jung, Jean Christoph and Ozaki, Ana}, year={2024}, collection={CEUR Workshop Proceedings} }
LibreCat | Files available
 
[95]
2023 | Journal Article | LibreCat-ID: 52861
@article{Gil_Patrizi_Perelli_Turhan_2023, title={Optimal Alignment of Temporal Knowledge Bases}, volume={abs/2307.15439}, DOI={10.48550/ARXIV.2307.15439}, journal={CoRR}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, year={2023} }
LibreCat | DOI
 
[94]
2023 | Conference Paper | LibreCat-ID: 52913
@inproceedings{Turhan_2023, series={CEUR Workshop Proceedings}, title={Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)}, volume={3515}, booktitle={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}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin}, editor={Kutz, Oliver and Lutz, Carsten and Ozaki, Ana}, year={2023}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[93]
2023 | Conference Paper | LibreCat-ID: 56096
@inproceedings{Gil_Patrizi_Perelli_Turhan_2023, series={Frontiers in Artificial Intelligence and Applications}, title={Optimal Alignment of Temporal Knowledge Bases}, volume={372}, DOI={10.3233/FAIA230335}, booktitle={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)}, publisher={IOS Press}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}, editor={Gal, Kobi and Nowé, Ann and Nalepa, Grzegorz J. and Fairstein, Roy and Radulescu, Roxana}, year={2023}, pages={708–715}, collection={Frontiers in Artificial Intelligence and Applications} }
LibreCat | DOI
 
[92]
2023 | Book Chapter | LibreCat-ID: 52859
@inbook{de Camargo e Souza Câmara_Turhan_2023, place={Cham}, title={Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models}, DOI={10.1007/978-3-031-43619-2_36}, booktitle={Logics in Artificial Intelligence}, publisher={Springer Nature Switzerland}, author={de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin}, year={2023} }
LibreCat | DOI
 
[91]
2022 | Journal Article | LibreCat-ID: 52862
@article{Turhan_2022, title={A Double Take at Conferences: The Hybrid Format}, volume={36}, DOI={10.1007/s13218-022-00758-6}, number={1}, journal={KI - Künstliche Intelligenz}, publisher={Springer Science and Business Media LLC}, author={Turhan, Anni-Yasmin}, year={2022}, pages={1–4} }
LibreCat | DOI
 
[90]
2022 | Conference Paper | LibreCat-ID: 52923
@inproceedings{de Camargo e Souza Câmara_Turhan_2022, series={CEUR Workshop Proceedings}, title={Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\)}, volume={3197}, booktitle={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}, publisher={CEUR-WS.org}, author={de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin}, editor={Arieli, Ofer and Casini, Giovanni and Giordano, Laura}, year={2022}, pages={159–162}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[89]
2022 | Conference (Editor) | LibreCat-ID: 52925
@book{Governatori_Turhan_2022, series={Lecture Notes in Computer Science}, title={Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings}, volume={13752}, DOI={10.1007/978-3-031-21541-4}, publisher={Springer}, year={2022}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[88]
2022 | Conference Paper | LibreCat-ID: 52924
@inproceedings{Tirtarasa_Turhan_2022, title={Computing generalizations of temporal ϵL concepts with next and global}, DOI={10.1145/3477314.3507136}, booktitle={SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022}, publisher={ACM}, author={Tirtarasa, Satyadharma and Turhan, Anni-Yasmin}, editor={Hong, Jiman and Bures, Miroslav and Park, Juw Won and Cerný, Tomás}, year={2022}, pages={903–910} }
LibreCat | DOI
 
[87]
2022 | Journal Article | LibreCat-ID: 52918
@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner}, volume={22}, DOI={10.1017/S1471068421000466}, number={2}, journal={Theory Pract. Log. Program.}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, year={2022}, pages={162–192} }
LibreCat | DOI
 
[86]
2022 | Conference Paper | LibreCat-ID: 52920
@inproceedings{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, series={CEUR Workshop Proceedings}, title={Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)}, volume={3263}, booktitle={Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, publisher={CEUR-WS.org}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, editor={Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}, year={2022}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[85]
2022 | Conference Paper | LibreCat-ID: 52921
@inproceedings{Tirtarasa_Turhan_2022, series={CEUR Workshop Proceedings}, title={A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)}, volume={3263}, booktitle={Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, publisher={CEUR-WS.org}, author={Tirtarasa, Satyadharma and Turhan, Anni-Yasmin}, editor={Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}, year={2022}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[84]
2022 | Conference Paper | LibreCat-ID: 52922
@inproceedings{Peñaloza_Turhan_2022, series={CEUR Workshop Proceedings}, title={User-aware Explications of Ontology Consequences: Levelling Technicality}, volume={3242}, booktitle={Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Sauerwald, Kai and Thimm, Matthias}, year={2022}, pages={90–101}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[83]
2021 | Conference Paper | LibreCat-ID: 52927
@inproceedings{Gil_Turhan_2021, title={Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics}, DOI={10.1609/AAAI.V35I7.16787}, booktitle={Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}, publisher={AAAI Press}, author={Gil, Oliver Fernández and Turhan, Anni-Yasmin}, year={2021}, pages={6340–6348} }
LibreCat | DOI
 
[82]
2021 | Journal Article | LibreCat-ID: 52926
@article{Dubslaff_Koopmann_Turhan_2021, title={Enhancing Probabilistic Model Checking with Ontologies}, volume={33}, DOI={10.1007/S00165-021-00549-0}, number={6}, journal={Formal Aspects Comput.}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, year={2021}, pages={885–921} }
LibreCat | DOI
 
[81]
2021 | Conference Paper | LibreCat-ID: 52928
@inproceedings{Alrabbaa_Hieke_Turhan_2021, series={CEUR Workshop Proceedings}, title={Counter Model Transformation for Explaining Non-Subsumption in EL}, volume={2961}, booktitle={Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021}, publisher={CEUR-WS.org}, author={Alrabbaa, Christian and Hieke, Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}, year={2021}, pages={9–22}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[80]
2020 | Journal Article | LibreCat-ID: 52930
@article{Baader_Borgwardt_Koopmann_Thost_Turhan_2020, title={Semantic Technologies for Situation Awareness}, volume={34}, DOI={10.1007/S13218-020-00694-3}, number={4}, journal={Künstliche Intell.}, author={Baader, Franz and Borgwardt, Stefan and Koopmann, Patrick and Thost, Veronika and Turhan, Anni-Yasmin}, year={2020}, pages={543–550} }
LibreCat | DOI
 
[79]
2020 | Conference Paper | LibreCat-ID: 56490
@inproceedings{Hieke_Turhan_2020, series={CEUR Workshop Proceedings}, title={Towards Model Transformation in Description Logics - Investigating the Case of Transductions}, volume={2680}, booktitle={Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020}, publisher={CEUR-WS.org}, author={Hieke, Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}, year={2020}, pages={69–82}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[78]
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
 
[77]
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
 
[76]
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
 
[75]
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
 
[74]
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
 
[73]
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
 
[72]
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
 
[71]
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
 
[70]
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
 
[69]
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
 
[68]
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
 
[67]
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
 
[66]
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
 
[65]
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
 
[64]
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
 
[63]
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
 
[62]
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
 
[61]
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
 
[60]
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
 
[59]
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
 
[58]
2017 | Conference Paper | LibreCat-ID: 56511
@inproceedings{Baader_Koopmann_Turhan_2017, series={CEUR Workshop Proceedings}, title={Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)}, volume={1879}, booktitle={Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017}, publisher={CEUR-WS.org}, author={Baader, Franz and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Artale, Alessandro and Glimm, Birte and Kontchakov, Roman}, year={2017}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[57]
2017 | Conference (Editor) | LibreCat-ID: 56517
@book{Wang_Turhan_Wang_Zhang_2017, series={Lecture Notes in Computer Science}, title={Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings}, volume={10675}, DOI={10.1007/978-3-319-70682-5}, publisher={Springer}, year={2017}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[56]
2016 | Journal Article | LibreCat-ID: 52803
@article{Borgwardt_Mailis_Peñaloza_Turhan_2016, title={Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, volume={5}, DOI={10.1007/s13740-015-0055-y}, number={2}, journal={Journal on Data Semantics}, publisher={Springer Science and Business Media LLC}, author={Borgwardt, Stefan and Mailis, Theofilos and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2016}, pages={55–75} }
LibreCat | DOI
 
[55]
2016 | Conference Paper | LibreCat-ID: 52796
@inproceedings{Carapelle_Turhan_2016, title={Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property}, DOI={10.3233/978-1-61499-672-9-1440}, booktitle={Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016)}, author={Carapelle, Claudia and Turhan, Anni-Yasmin}, year={2016} }
LibreCat | DOI
 
[54]
2015 | Journal Article | LibreCat-ID: 56518
@article{Ecke_Peñaloza_Turhan_2015, title={Similarity-based relaxed instance queries}, volume={13}, DOI={10.1016/J.JAL.2015.01.002}, number={4}, journal={J. Appl. Log.}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2015}, pages={480–508} }
LibreCat | DOI
 
[53]
2015 | Conference Paper | LibreCat-ID: 56521
@inproceedings{Mailis_Turhan_Zenker_2015, series={CEUR Workshop Proceedings}, title={A pragmatic approach to answering CQs over fuzzy DL-Lite-ontologies - introducing FLite}, volume={1350}, booktitle={Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, publisher={CEUR-WS.org}, author={Mailis, Theofilos P. and Turhan, Anni-Yasmin and Zenker, Erik}, editor={Calvanese, Diego and Konev, Boris}, year={2015}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[52]
2015 | Conference Paper | LibreCat-ID: 56519
@inproceedings{Borgwardt_Mailis_Peñaloza_Turhan_2015, series={CEUR Workshop Proceedings}, title={Conjunctive Query Answering with Finitely Many Truth Degrees}, volume={1350}, booktitle={Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, publisher={CEUR-WS.org}, author={Borgwardt, Stefan and Mailis, Theofilos P. and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Konev, Boris}, year={2015}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[51]
2015 | Conference Paper | LibreCat-ID: 56520
@inproceedings{Ecke_Pensel_Turhan_2015, series={CEUR Workshop Proceedings}, title={Elastiq: Answering Similarity-threshold Instance Queries in EL}, volume={1350}, booktitle={Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Konev, Boris}, year={2015}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[50]
2015 | Conference Paper | LibreCat-ID: 56522
@inproceedings{Turhan_Zenker_2015, series={CEUR Workshop Proceedings}, title={Towards Temporal Fuzzy Query Answering on Stream-based Data}, volume={1447}, booktitle={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}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Zenker, Erik}, editor={Nicklas, Daniela and Lütfü Özçep, zgür}, year={2015}, pages={56–69}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[49]
2014 | Conference Paper | LibreCat-ID: 56526
@inproceedings{Mailis_Turhan_2014, series={Lecture Notes in Computer Science}, title={Employing DL\textbackslashtext -Lite_R -Reasoners for Fuzzy Query Answering}, volume={8943}, DOI={10.1007/978-3-319-15615-6_5}, booktitle={Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers}, publisher={Springer}, author={Mailis, Theofilos P. and Turhan, Anni-Yasmin}, editor={Supnithi, Thepchai and Yamaguchi, Takahira and Pan, Jeff Z. and Wuwongse, Vilas and Buranarach, Marut}, year={2014}, pages={63–78}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[48]
2014 | Conference Paper | LibreCat-ID: 56525
@inproceedings{Peñaloza_Thost_Turhan_2014, series={CEUR Workshop Proceedings}, title={Certain Answers in a Rough World}, volume={1193}, booktitle={Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Thost, Veronika and Turhan, Anni-Yasmin}, editor={Bienvenu, Meghyn and Ortiz, Magdalena and Rosati, Riccardo and Simkus, Mantas}, year={2014}, pages={709–712}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[47]
2014 | Conference Paper | LibreCat-ID: 56524
@inproceedings{Ecke_Peñaloza_Turhan_2014, series={CEUR Workshop Proceedings}, title={Mary, What’s Like All Cats?}, volume={1193}, booktitle={Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Bienvenu, Meghyn and Ortiz, Magdalena and Rosati, Riccardo and Simkus, Mantas}, year={2014}, pages={526–529}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[46]
2014 | Journal Article | LibreCat-ID: 56523
@article{Ecke_Peñaloza_Turhan_2014, title={Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities}, volume={55}, DOI={10.1016/J.IJAR.2014.03.001}, number={9}, journal={Int. J. Approx. Reason.}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2014}, pages={1939–1970} }
LibreCat | DOI
 
[45]
2014 | Conference Paper | LibreCat-ID: 56530
@inproceedings{Mailis_Peñaloza_Turhan_2014, series={Lecture Notes in Computer Science}, title={Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics}, volume={8741}, DOI={10.1007/978-3-319-11113-1_9}, booktitle={Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings}, publisher={Springer}, author={Mailis, Theofilos P. and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Kontchakov, Roman and Mugnier, Marie-Laure}, year={2014}, pages={124–139}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[44]
2014 | Conference Paper | LibreCat-ID: 56527
@inproceedings{Merz_Peñaloza_Turhan_2014, series={Lecture Notes in Computer Science}, title={Reasoning in \emphALC with Fuzzy Concrete Domains}, volume={8736}, DOI={10.1007/978-3-319-11206-0_17}, booktitle={KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings}, publisher={Springer}, author={Merz, Dorian and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Lutz, Carsten and Thielscher, Michael}, year={2014}, pages={171–182}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[43]
2014 | Conference Paper | LibreCat-ID: 56529
@inproceedings{Hähnel_Mendez_Thost_Turhan_2014, title={Bridging the application knowledge gap: using ontology-based situation recognition to support energy-aware resource scheduling}, DOI={10.1145/2677017.2677020}, booktitle={Proceedings of the 13th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2014, Bordeaux, France, December 8-12, 2014}, publisher={ACM}, author={Hähnel, Marcus and Mendez, Julian and Thost, Veronika and Turhan, Anni-Yasmin}, editor={Costa, Fábio M. and Andersen, Anders}, year={2014}, pages={3:1–3:6} }
LibreCat | DOI
 
[42]
2014 | Conference (Editor) | LibreCat-ID: 56531
@book{Lukasiewicz_Peñaloza_Turhan_2014, series={CEUR Workshop Proceedings}, title={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}, volume={1205}, publisher={CEUR-WS.org}, year={2014}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[41]
2014 | Conference Paper | LibreCat-ID: 56528
@inproceedings{Ecke_Peñaloza_Turhan_2014, title={Answering Instance Queries Relaxed by Concept Similarity}, booktitle={Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014}, publisher={AAAI Press}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Baral, Chitta and Giacomo, Giuseppe De and Eiter, Thomas}, year={2014} }
LibreCat
 
[40]
2013 | Conference Paper | LibreCat-ID: 56534
@inproceedings{Ecke_Peñaloza_Turhan_2013, series={CEUR Workshop Proceedings}, title={Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals}, volume={1014}, booktitle={Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Eiter, Thomas and Glimm, Birte and Kazakov, Yevgeny and Krötzsch, Markus}, year={2013}, pages={670–688}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[39]
2013 | Conference Paper | LibreCat-ID: 56532
@inproceedings{Turhan_Zarrieß_2013, series={CEUR Workshop Proceedings}, title={Computing the lcs w.r.t. General EL+-TBoxes}, volume={1014}, booktitle={Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Zarrieß, Benjamin}, editor={Eiter, Thomas and Glimm, Birte and Kazakov, Yevgeny and Krötzsch, Markus}, year={2013}, pages={477–488}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[38]
2013 | Conference Paper | LibreCat-ID: 56542
@inproceedings{Peñaloza_Turhan_2013, series={Lecture Notes in Computer Science}, title={Instance-Based Non-standard Inferences in \textdollar\textbackslashmathcalEL\textdollar with Subjective Probabilities}, volume={7123}, DOI={10.1007/978-3-642-35975-0_5}, booktitle={Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers}, publisher={Springer}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Bobillo, Fernando and da Costa, Paulo Cesar G. and d’Amato, Claudia and Fanizzi, Nicola and Laskey, Kathryn B. and Laskey, Kenneth J. and Lukasiewicz, Thomas and Nickles, Matthias and Pool, Michael}, year={2013}, pages={80–98}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[37]
2013 | Conference Paper | LibreCat-ID: 56541
@inproceedings{Turhan_2013, series={Lecture Notes in Computer Science}, title={Introductions to Description Logics - A Guided Tour}, volume={8067}, DOI={10.1007/978-3-642-39784-4_3}, booktitle={Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings}, publisher={Springer}, author={Turhan, Anni-Yasmin}, editor={Rudolph, Sebastian and Gottlob, Georg and Horrocks, Ian and van Harmelen, Frank}, year={2013}, pages={150–161}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[36]
2013 | Conference Paper | LibreCat-ID: 56538
@inproceedings{Ecke_Peñaloza_Turhan_2013, series={Lecture Notes in Computer Science}, title={Computing Role-Depth Bounded Generalizations in the Description Logic}, volume={8077}, DOI={10.1007/978-3-642-40942-4_5}, booktitle={KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings}, publisher={Springer}, author={Ecke, Andreas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Timm, Ingo J. and Thimm, Matthias}, year={2013}, pages={49–60}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[35]
2013 | Conference Paper | LibreCat-ID: 56540
@inproceedings{Dargie_Mendez_Möbius_Rybina_Thost_Turhan_2013, title={Situation recognition for service management systems using OWL 2 reasoners}, DOI={10.1109/PERCOMW.2013.6529452}, booktitle={2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM 2013 Workshops, San Diego, CA, USA, March 18-22, 2013}, publisher={IEEE Computer Society}, author={Dargie, Waltenegus and Mendez, Julian and Möbius, Christoph and Rybina, Kateryna and Thost, Veronika and Turhan, Anni-Yasmin}, year={2013}, pages={31–36} }
LibreCat | DOI
 
[34]
2013 | Conference Paper | LibreCat-ID: 56539
@inproceedings{Goetz_Mendez_Thost_Turhan_2013, series={CEUR Workshop Proceedings}, title={OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context}, volume={1080}, booktitle={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}, publisher={CEUR-WS.org}, author={Goetz, Sebastian and Mendez, Julian and Thost, Veronika and Turhan, Anni-Yasmin}, editor={Rodriguez-Muro, Mariano and Jupp, Simon and Srinivas, Kavitha}, year={2013}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[33]
2013 | Conference Paper | LibreCat-ID: 56536
@inproceedings{Zarrieß_Turhan_2013, title={Most Specific Generalizations w.r.t. General EL-TBoxes}, booktitle={IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, publisher={IJCAI/AAAI}, author={Zarrieß, Benjamin and Turhan, Anni-Yasmin}, editor={Rossi, Francesca}, year={2013}, pages={1191–1197} }
LibreCat
 
[32]
2012 | Conference Paper | LibreCat-ID: 56544
@inproceedings{Lehmann_Turhan_2012, series={Lecture Notes in Computer Science}, title={A Framework for Semantic-Based Similarity Measures for \textdollar\textbackslashmathcalELH\textdollar -Concepts}, volume={7519}, DOI={10.1007/978-3-642-33353-8_24}, booktitle={Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings}, publisher={Springer}, author={Lehmann, Karsten and Turhan, Anni-Yasmin}, editor={del Cerro, Luis Fariñas and Herzig, Andreas and Mengin, Jérôme}, year={2012}, pages={307–319}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[31]
2012 | Conference Paper | LibreCat-ID: 56551
@inproceedings{Ecke_Turhan_2012, series={CEUR Workshop Proceedings}, title={Role-depth Bounded Least Common Subsumers for EL+ and ELI}, volume={846}, booktitle={Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Turhan, Anni-Yasmin}, editor={Kazakov, Yevgeny and Lembo, Domenico and Wolter, Frank}, year={2012}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[30]
2012 | Conference Paper | LibreCat-ID: 56545
@inproceedings{Ecke_Turhan_2012, series={CEUR Workshop Proceedings}, title={Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+}, volume={849}, booktitle={Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012}, publisher={CEUR-WS.org}, author={Ecke, Andreas and Turhan, Anni-Yasmin}, editor={Klinov, Pavel and Horridge, Matthew}, year={2012}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[29]
2011 | Conference Paper | LibreCat-ID: 56546
@inproceedings{Mendez_Ecke_Turhan_2011, series={CEUR Workshop Proceedings}, title={Implementing Completion-Based Inferences for the EL-family}, volume={745}, booktitle={Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011}, publisher={CEUR-WS.org}, author={Mendez, Julian and Ecke, Andreas and Turhan, Anni-Yasmin}, editor={Rosati, Riccardo and Rudolph, Sebastian and Zakharyaschev, Michael}, year={2011}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[28]
2011 | Conference Paper | LibreCat-ID: 56548
@inproceedings{Turhan_2011, title={Description logic reasoning for semantic web ontologies}, DOI={10.1145/1988688.1988696}, booktitle={Proceedings of the International Conference on Web Intelligence, Mining and Semantics, WIMS 2011, Sogndal, Norway, May 25 - 27, 2011}, publisher={ACM}, author={Turhan, Anni-Yasmin}, editor={Akerkar, Rajendra}, year={2011}, pages={6} }
LibreCat | DOI
 
[27]
2011 | Conference Paper | LibreCat-ID: 56547
@inproceedings{Peñaloza_Turhan_2011, series={Lecture Notes in Computer Science}, title={A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL}, volume={6643}, DOI={10.1007/978-3-642-21034-1_28}, booktitle={The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I}, publisher={Springer}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Antoniou, Grigoris and Grobelnik, Marko and Simperl, Elena and Parsia, Bijan and Plexousakis, Dimitris and Leenheer, Pieter De and Pan, Jeff Z.}, year={2011}, pages={410–423}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[26]
2010 | Conference Paper | LibreCat-ID: 56550
@inproceedings{Peñaloza_Turhan_2010, series={CEUR Workshop Proceedings}, title={Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities}, volume={613}, booktitle={Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Lukasiewicz, Thomas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2010}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[25]
2010 | Journal Article | LibreCat-ID: 56549
@article{Baader_Lutz_Turhan_2010, title={Small is Again Beautiful in Description Logics}, volume={24}, DOI={10.1007/S13218-010-0004-8}, number={1}, journal={Künstliche Intell.}, author={Baader, Franz and Lutz, Carsten and Turhan, Anni-Yasmin}, year={2010}, pages={25–33} }
LibreCat | DOI
 
[24]
2010 | Conference (Editor) | LibreCat-ID: 56553
@book{Lukasiewicz_Peñaloza_Turhan_2010, series={CEUR Workshop Proceedings}, title={Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010}, volume={613}, publisher={CEUR-WS.org}, year={2010}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[23]
2010 | Conference Paper | LibreCat-ID: 56552
@inproceedings{Turhan_2010, series={Lecture Notes in Computer Science}, title={Reasoning and Explanation in 𝓔𝓛 and in Expressive Description Logics}, volume={6325}, DOI={10.1007/978-3-642-15543-7_1}, booktitle={Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures}, publisher={Springer}, author={Turhan, Anni-Yasmin}, editor={Aßmann, Uwe and Bartho, Andreas and Wende, Christian}, year={2010}, pages={1–27}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[22]
2009 | Journal Article | LibreCat-ID: 56554
@article{Springer_Turhan_2009, title={Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations}, volume={1}, DOI={10.3233/AIS-2009-0032}, number={3}, journal={J. Ambient Intell. Smart Environ.}, author={Springer, Thomas and Turhan, Anni-Yasmin}, year={2009}, pages={235–259} }
LibreCat | DOI
 
[21]
2007 | Dissertation | LibreCat-ID: 56555
@book{Turhan_2007, title={On the computation of common subsumers in description logics}, publisher={Dresden University of Technology, Germany}, author={Turhan, Anni-Yasmin}, year={2007} }
LibreCat
 
[20]
2007 | Conference Paper | LibreCat-ID: 56557
@inproceedings{Turhan_Bong_2007, series={CEUR Workshop Proceedings}, title={Speeding up Approximation with Nicer Concepts}, volume={250}, booktitle={Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Bong, Yusri}, editor={Calvanese, Diego and Franconi, Enrico and Haarslev, Volker and Lembo, Domenico and Motik, Boris and Turhan, Anni-Yasmin and Tessaris, Sergio}, year={2007}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[19]
2007 | Conference (Editor) | LibreCat-ID: 56558
@book{Calvanese_Franconi_Haarslev_Lembo_Motik_Turhan_Tessaris_2007, series={CEUR Workshop Proceedings}, title={Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, volume={250}, publisher={CEUR-WS.org}, year={2007}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[18]
2007 | Journal Article | LibreCat-ID: 56556
@article{Baader_Sertkaya_Turhan_2007, title={Computing the least common subsumer w.r.t. a background terminology}, volume={5}, DOI={10.1016/J.JAL.2006.03.002}, number={3}, journal={J. Appl. Log.}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, year={2007}, pages={392–420} }
LibreCat | DOI
 
[17]
2006 | Conference Paper | LibreCat-ID: 56559
@inproceedings{Bechhofer_Liebig_Luther_Noppens_Patel-Schneider_Suntisrivaraporn_Turhan_Weithöner_2006, series={CEUR Workshop Proceedings}, title={DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners}, volume={216}, booktitle={Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006}, publisher={CEUR-WS.org}, author={Bechhofer, Sean and Liebig, Thorsten and Luther, Marko and Noppens, Olaf and Patel-Schneider, Peter F. and Suntisrivaraporn, Boontawee and Turhan, Anni-Yasmin and Weithöner, Timo}, editor={Grau, Bernardo Cuenca and Hitzler, Pascal and Shankey, Conor and Wallace, Evan}, year={2006}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[16]
2004 | Conference Paper | LibreCat-ID: 56564
@inproceedings{Baader_Sertkaya_Turhan_2004, series={Lecture Notes in Computer Science}, title={Computing the Least Common Subsumer w.r.t. a Background Terminology}, volume={3229}, DOI={10.1007/978-3-540-30227-8_34}, booktitle={Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, publisher={Springer}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Alferes, José Júlio and Leite, João Alexandre}, year={2004}, pages={400–412}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[15]
2004 | Conference Paper | LibreCat-ID: 56561
@inproceedings{Turhan_Kissig_2004, series={Lecture Notes in Computer Science}, title={Sonic - Non-standard Inferences Go OilEd}, volume={3097}, DOI={10.1007/978-3-540-25984-8_22}, booktitle={Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, publisher={Springer}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Basin, David A. and Rusinowitch, Michaël}, year={2004}, pages={321–325}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[14]
2004 | Conference Paper | LibreCat-ID: 56562
@inproceedings{Baader_Sertkaya_Turhan_2004, series={CEUR Workshop Proceedings}, title={Computing the Least Common Subsumer w.r.t. a Background Terminology}, volume={104}, booktitle={Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org}, author={Baader, Franz and Sertkaya, Baris and Turhan, Anni-Yasmin}, editor={Haarslev, Volker and Möller, Ralf}, year={2004}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[13]
2004 | Conference Paper | LibreCat-ID: 56563
@inproceedings{Turhan_Kissig_2004, series={CEUR Workshop Proceedings}, title={Sonic: System Description}, volume={104}, booktitle={Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Haarslev, Volker and Möller, Ralf}, year={2004}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[12]
2003 | Conference Paper | LibreCat-ID: 56567
@inproceedings{Brandt_Turhan_Küsters_2003, series={Lecture Notes in Computer Science}, title={Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles}, volume={2850}, DOI={10.1007/978-3-540-39813-4_8}, booktitle={Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings}, publisher={Springer}, author={Brandt, Sebastian and Turhan, Anni-Yasmin and Küsters, Ralf}, editor={Vardi, Moshe Y. and Voronkov, Andrei}, year={2003}, pages={122–136}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[11]
2003 | Conference Paper | LibreCat-ID: 56566
@inproceedings{Brandt_Turhan_2003, series={CEUR Workshop Proceedings}, title={Computing Least Common Subsumers for FLE\(^\mbox+\)}, volume={81}, booktitle={Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003}, publisher={CEUR-WS.org}, author={Brandt, Sebastian and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Giacomo, Giuseppe De and Franconi, Enrico}, year={2003}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[10]
2002 | Conference Paper | LibreCat-ID: 56569
@inproceedings{Baader_Turhan_2002, series={Lecture Notes in Computer Science}, title={On the Problem of Computing Small Representations of Least Common Subsumers}, volume={2479}, DOI={10.1007/3-540-45751-8_7}, booktitle={KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings}, publisher={Springer}, author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Jarke, Matthias and Koehler, Jana and Lakemeyer, Gerhard}, year={2002}, pages={99–113}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[9]
2002 | Conference Paper | LibreCat-ID: 56568
@inproceedings{Brandt_Küsters_Turhan_2002, series={CEUR Workshop Proceedings}, title={Approximating ALCN-Concept Descriptions}, volume={53}, booktitle={Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002}, publisher={CEUR-WS.org}, author={Brandt, Sebastian and Küsters, Ralf and Turhan, Anni-Yasmin}, editor={Horrocks, Ian and Tessaris, Sergio}, year={2002}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[8]
2002 | Conference Paper | LibreCat-ID: 56570
@inproceedings{Brandt_Küsters_Turhan_2002, title={Approximation and Difference in Description Logics}, booktitle={Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002}, publisher={Morgan Kaufmann}, author={Brandt, Sebastian and Küsters, Ralf and Turhan, Anni-Yasmin}, editor={Fensel, Dieter and Giunchiglia, Fausto and McGuinness, Deborah L. and Williams, Mary-Anne}, year={2002}, pages={203–214} }
LibreCat
 
[7]
2001 | Conference Paper | LibreCat-ID: 56571
@inproceedings{Haarslev_Möller_Turhan_2001, series={Lecture Notes in Computer Science}, title={Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics}, volume={2083}, DOI={10.1007/3-540-45744-5_6}, booktitle={Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings}, publisher={Springer}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias}, year={2001}, pages={61–75}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 
[6]
2001 | Conference Paper | LibreCat-ID: 56572
@inproceedings{Baader_Turhan_2001, series={CEUR Workshop Proceedings}, title={TBoxes do not Yield a Compact Representation of Least Common Subsumers}, volume={49}, booktitle={Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Baader, Franz and Turhan, Anni-Yasmin}, editor={Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[5]
2001 | Conference Paper | LibreCat-ID: 56573
@inproceedings{Turhan_Molitor_2001, series={CEUR Workshop Proceedings}, title={Using Lazy Unfolding for the Computation of Least Common Subsumers}, volume={49}, booktitle={Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Molitor, Ralf}, editor={Goble, Carole A. and McGuinness, Deborah L. and Möller, Ralf and Patel-Schneider, Peter F.}, year={2001}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[4]
2000 | Conference Paper | LibreCat-ID: 56574
@inproceedings{Turhan_Haarslev_2000, series={CEUR Workshop Proceedings}, title={Adapting Optimization Techniques to Description Logics with Concrete Domains}, volume={33}, booktitle={Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000}, publisher={CEUR-WS.org}, author={Turhan, Anni-Yasmin and Haarslev, Volker}, editor={Baader, Franz and Sattler, Ulrike}, year={2000}, pages={247–256}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[3]
1999 | Conference Paper | LibreCat-ID: 56575
@inproceedings{Haarslev_Möller_Turhan_Wessel_1999, series={CEUR Workshop Proceedings}, title={On Terminological Default Reasoning about Spatial Information: Extended Abstract}, volume={22}, booktitle={Proceedings of the 1999 International Workshop on Description Logics (DL’99), Linköping, Sweden, July 30 - August 1, 1999}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin and Wessel, Michael}, editor={Lambrix, Patrick and Borgida, Alexander and Lenzerini, Maurizio and Möller, Ralf and Patel-Schneider, Peter F.}, year={1999}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[2]
1998 | Conference Paper | LibreCat-ID: 56577
@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={Implementing an ALCRP(D) ABox Reasoner - Progress Report}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }
LibreCat
 
[1]
1998 | Conference Paper | LibreCat-ID: 56576
@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={HAM-ALC}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed