20 Publications
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models.” Logics in Artificial Intelligence, Springer Nature Switzerland, 2023, doi:10.1007/978-3-031-43619-2_36.
LibreCat
| DOI
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
2022 | Conference Paper | LibreCat-ID: 52797
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal ΕL Concepts with next and Global.” Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, ACM, 2022, doi:10.1145/3477314.3507136.
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 Paper | LibreCat-ID: 52924
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal \emph\(Ε\)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 | 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: 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: 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
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 | Journal Article | LibreCat-ID: 52918
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” Theory Pract. Log. Program., vol. 22, no. 2, 2022, pp. 162–192, doi:10.1017/S1471068421000466.
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
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 | Journal Article | LibreCat-ID: 52929
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” CoRR, vol. abs/2107.12877, 2021.
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: 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
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
20 Publications
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models.” Logics in Artificial Intelligence, Springer Nature Switzerland, 2023, doi:10.1007/978-3-031-43619-2_36.
LibreCat
| DOI
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
2022 | Conference Paper | LibreCat-ID: 52797
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal ΕL Concepts with next and Global.” Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, ACM, 2022, doi:10.1145/3477314.3507136.
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 Paper | LibreCat-ID: 52924
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal \emph\(Ε\)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 | 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: 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: 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
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 | Journal Article | LibreCat-ID: 52918
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” Theory Pract. Log. Program., vol. 22, no. 2, 2022, pp. 162–192, doi:10.1017/S1471068421000466.
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
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 | Journal Article | LibreCat-ID: 52929
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” CoRR, vol. abs/2107.12877, 2021.
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: 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
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