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