---
_id: '63860'
citation:
  ama: Hogan A, Satoh K, Dag H, Turhan A-Y, Roman D, Soylu A, eds. <i>Rules and Reasoning
    - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September
    22-24, 2025, Proceedings</i>. Vol 16144. Springer; 2026. doi:<a href="https://doi.org/10.1007/978-3-032-08887-1">10.1007/978-3-032-08887-1</a>
  apa: Hogan, A., Satoh, K., Dag, H., Turhan, A.-Y., Roman, D., &#38; Soylu, A. (Eds.).
    (2026). <i>Rules and Reasoning - 9th International Joint Conference, RuleML+RR
    2025, Istanbul, Turkey, September 22-24, 2025, Proceedings</i> (Vol. 16144). Springer.
    <a href="https://doi.org/10.1007/978-3-032-08887-1">https://doi.org/10.1007/978-3-032-08887-1</a>
  bibtex: '@book{Hogan_Satoh_Dag_Turhan_Roman_Soylu_2026, series={Lecture Notes in
    Computer Science}, title={Rules and Reasoning - 9th International Joint Conference,
    RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings}, volume={16144},
    DOI={<a href="https://doi.org/10.1007/978-3-032-08887-1">10.1007/978-3-032-08887-1</a>},
    publisher={Springer}, year={2026}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Hogan, Aidan, Ken Satoh, Hasan Dag, Anni-Yasmin Turhan, Dumitru Roman,
    and Ahmet Soylu, eds. <i>Rules and Reasoning - 9th International Joint Conference,
    RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings</i>. Vol.
    16144. Lecture Notes in Computer Science. Springer, 2026. <a href="https://doi.org/10.1007/978-3-032-08887-1">https://doi.org/10.1007/978-3-032-08887-1</a>.
  ieee: A. Hogan, K. Satoh, H. Dag, A.-Y. Turhan, D. Roman, and A. Soylu, Eds., <i>Rules
    and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul,
    Turkey, September 22-24, 2025, Proceedings</i>, vol. 16144. Springer, 2026.
  mla: Hogan, Aidan, et al., editors. <i>Rules and Reasoning - 9th International Joint
    Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings</i>.
    Springer, 2026, doi:<a href="https://doi.org/10.1007/978-3-032-08887-1">10.1007/978-3-032-08887-1</a>.
  short: A. Hogan, K. Satoh, H. Dag, A.-Y. Turhan, D. Roman, A. Soylu, eds., Rules
    and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul,
    Turkey, September 22-24, 2025, Proceedings, Springer, 2026.
date_created: 2026-02-04T07:12:48Z
date_updated: 2026-02-04T07:13:38Z
doi: 10.1007/978-3-032-08887-1
editor:
- first_name: Aidan
  full_name: Hogan, Aidan
  last_name: Hogan
- first_name: Ken
  full_name: Satoh, Ken
  last_name: Satoh
- first_name: Hasan
  full_name: Dag, Hasan
  last_name: Dag
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
- first_name: Dumitru
  full_name: Roman, Dumitru
  last_name: Roman
- first_name: Ahmet
  full_name: Soylu, Ahmet
  last_name: Soylu
intvolume: '     16144'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-032-08886-4
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul,
  Turkey, September 22-24, 2025, Proceedings
type: conference_editor
user_id: '117185'
volume: 16144
year: '2026'
...
---
_id: '65566'
author:
- first_name: Anselm
  full_name: Haak, Anselm
  id: '109969'
  last_name: Haak
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Yasir
  full_name: Mahmood, Yasir
  id: '99353'
  last_name: Mahmood
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Haak A, Koopmann P, Mahmood Y, Turhan A-Y. ABox Abduction for Inconsistent
    Knowledge Bases under Repair Semantics. In: Haak A, ed. ; 2026.'
  apa: Haak, A., Koopmann, P., Mahmood, Y., &#38; Turhan, A.-Y. (2026). <i>ABox Abduction
    for Inconsistent Knowledge Bases under Repair Semantics</i> (A. Haak, Ed.).
  bibtex: '@inproceedings{Haak_Koopmann_Mahmood_Turhan_2026, title={ABox Abduction
    for Inconsistent Knowledge Bases under Repair Semantics}, author={Haak, Anselm
    and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, editor={Haak,
    Anselm}, year={2026} }'
  chicago: Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan.
    “ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics.” edited
    by Anselm Haak, 2026.
  ieee: A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “ABox Abduction for Inconsistent
    Knowledge Bases under Repair Semantics,” Lisbon, 2026.
  mla: Haak, Anselm, et al. <i>ABox Abduction for Inconsistent Knowledge Bases under
    Repair Semantics</i>. Edited by Anselm Haak, 2026.
  short: 'A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: A. Haak (Ed.), 2026.'
conference:
  end_date: 2026-07-23
  location: Lisbon
  name: 23rd International Conference on Principles of Knowledge Representation and
    Reasoning
  start_date: 2026-07-20
date_created: 2026-05-05T14:29:38Z
date_updated: 2026-05-05T14:32:03Z
department:
- _id: '888'
- _id: '574'
editor:
- first_name: Anselm
  full_name: Haak, Anselm
  last_name: Haak
language:
- iso: eng
status: public
title: ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
type: conference
user_id: '109969'
year: '2026'
...
---
_id: '63857'
author:
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: Turhan A-Y. Think Globally, Attend Locally. <i>Künstliche Intell</i>. 2025;39(4):271–272.
    doi:<a href="https://doi.org/10.1007/S13218-025-00894-9">10.1007/S13218-025-00894-9</a>
  apa: Turhan, A.-Y. (2025). Think Globally, Attend Locally. <i>Künstliche Intell.</i>,
    <i>39</i>(4), 271–272. <a href="https://doi.org/10.1007/S13218-025-00894-9">https://doi.org/10.1007/S13218-025-00894-9</a>
  bibtex: '@article{Turhan_2025, title={Think Globally, Attend Locally}, volume={39},
    DOI={<a href="https://doi.org/10.1007/S13218-025-00894-9">10.1007/S13218-025-00894-9</a>},
    number={4}, journal={Künstliche Intell.}, author={Turhan, Anni-Yasmin}, year={2025},
    pages={271–272} }'
  chicago: 'Turhan, Anni-Yasmin. “Think Globally, Attend Locally.” <i>Künstliche Intell.</i>
    39, no. 4 (2025): 271–272. <a href="https://doi.org/10.1007/S13218-025-00894-9">https://doi.org/10.1007/S13218-025-00894-9</a>.'
  ieee: 'A.-Y. Turhan, “Think Globally, Attend Locally,” <i>Künstliche Intell.</i>,
    vol. 39, no. 4, pp. 271–272, 2025, doi: <a href="https://doi.org/10.1007/S13218-025-00894-9">10.1007/S13218-025-00894-9</a>.'
  mla: Turhan, Anni-Yasmin. “Think Globally, Attend Locally.” <i>Künstliche Intell.</i>,
    vol. 39, no. 4, 2025, pp. 271–272, doi:<a href="https://doi.org/10.1007/S13218-025-00894-9">10.1007/S13218-025-00894-9</a>.
  short: A.-Y. Turhan, Künstliche Intell. 39 (2025) 271–272.
date_created: 2026-02-04T07:01:02Z
date_updated: 2026-02-04T07:02:52Z
doi: 10.1007/S13218-025-00894-9
intvolume: '        39'
issue: '4'
language:
- iso: eng
page: 271–272
publication: Künstliche Intell.
status: public
title: Think Globally, Attend Locally
type: journal_article
user_id: '117185'
volume: 39
year: '2025'
...
---
_id: '61065'
abstract:
- lang: eng
  text: Abduction is the task of computing a sufficient extension of a knowledge base
    (KB) that entails a conclusion not entailed by the original KB. It serves to compute
    explanations, or hypotheses, for such missing entailments. While this task has
    been intensively investigated for perfect data and under classical semantics,
    less is known about abduction when erroneous data results in inconsistent KBs.
    In this paper we define a suitable notion of abduction under repair semantics
    and propose a set of minimality criteria that guides abduction towards `useful'
    hypotheses. We provide initial complexity results on deciding existence of and
    verifying abductive solutions with these criteria, under different repair semantics
    and for the description logics DL-Lite and EL_bot.
author:
- first_name: Anselm
  full_name: Haak, Anselm
  id: '109969'
  last_name: Haak
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Yasir
  full_name: Mahmood, Yasir
  id: '99353'
  last_name: Mahmood
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: Haak A, Koopmann P, Mahmood Y, Turhan A-Y. Why not? Developing ABox Abduction
    beyond Repairs. <i>arXiv:250721955</i>. Published online 2025.
  apa: Haak, A., Koopmann, P., Mahmood, Y., &#38; Turhan, A.-Y. (2025). Why not? Developing
    ABox Abduction beyond Repairs. In <i>arXiv:2507.21955</i>.
  bibtex: '@article{Haak_Koopmann_Mahmood_Turhan_2025, title={Why not? Developing
    ABox Abduction beyond Repairs}, journal={arXiv:2507.21955}, author={Haak, Anselm
    and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, year={2025}
    }'
  chicago: Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan.
    “Why Not? Developing ABox Abduction beyond Repairs.” <i>ArXiv:2507.21955</i>,
    2025.
  ieee: A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox
    Abduction beyond Repairs,” <i>arXiv:2507.21955</i>. 2025.
  mla: Haak, Anselm, et al. “Why Not? Developing ABox Abduction beyond Repairs.” <i>ArXiv:2507.21955</i>,
    2025.
  short: A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
date_created: 2025-08-29T07:58:08Z
date_updated: 2026-02-05T13:55:48Z
department:
- _id: '574'
- _id: '888'
external_id:
  arxiv:
  - '2507.21955'
language:
- iso: eng
project:
- _id: '121'
  name: 'TRR 318; TP B01: Ein dialogbasierter Ansatz zur Erklärung von Modellen des
    maschinellen Lernens'
publication: arXiv:2507.21955
status: public
title: Why not? Developing ABox Abduction beyond Repairs
type: preprint
user_id: '109969'
year: '2025'
...
---
_id: '63888'
author:
- first_name: Anselm
  full_name: Haak, Anselm
  id: '109969'
  last_name: Haak
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Yasir
  full_name: Mahmood, Yasir
  id: '99353'
  last_name: Mahmood
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Haak A, Koopmann P, Mahmood Y, Turhan A-Y. Why not? Developing ABox Abduction
    beyond Repairs. In: Tendera L, Ibanez Garcia Y, Koopmann P, eds. <i>Proceedings
    of the 38th International Workshop on Description Logics - DL 2025</i>. ; 2025.'
  apa: Haak, A., Koopmann, P., Mahmood, Y., &#38; Turhan, A.-Y. (2025). Why not? Developing
    ABox Abduction beyond Repairs. In L. Tendera, Y. Ibanez Garcia, &#38; P. Koopmann
    (Eds.), <i>Proceedings of the 38th International Workshop on Description Logics
    - DL 2025</i>.
  bibtex: '@inproceedings{Haak_Koopmann_Mahmood_Turhan_2025, title={Why not? Developing
    ABox Abduction beyond Repairs}, booktitle={Proceedings of the 38th International
    Workshop on Description Logics - DL 2025}, author={Haak, Anselm and Koopmann,
    Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, editor={Tendera, Lidia and
    Ibanez Garcia, Yazmin and Koopmann, Patrick}, year={2025} }'
  chicago: Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan.
    “Why Not? Developing ABox Abduction beyond Repairs.” In <i>Proceedings of the
    38th International Workshop on Description Logics - DL 2025</i>, edited by Lidia
    Tendera, Yazmin Ibanez Garcia, and Patrick Koopmann, 2025.
  ieee: A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox
    Abduction beyond Repairs,” in <i>Proceedings of the 38th International Workshop
    on Description Logics - DL 2025</i>, Opole, Poland, 2025.
  mla: Haak, Anselm, et al. “Why Not? Developing ABox Abduction beyond Repairs.” <i>Proceedings
    of the 38th International Workshop on Description Logics - DL 2025</i>, edited
    by Lidia Tendera et al., 2025.
  short: 'A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: L. Tendera, Y. Ibanez
    Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on
    Description Logics - DL 2025, 2025.'
conference:
  end_date: 2025-09-06
  location: Opole, Poland
  name: Description Logics 2025
  start_date: 2025-09-03
date_created: 2026-02-05T13:54:08Z
date_updated: 2026-02-05T13:55:27Z
department:
- _id: '888'
- _id: '574'
editor:
- first_name: Lidia
  full_name: Tendera, Lidia
  last_name: Tendera
- first_name: Yazmin
  full_name: Ibanez Garcia, Yazmin
  last_name: Ibanez Garcia
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
language:
- iso: eng
main_file_link:
- url: https://ceur-ws.org/Vol-4091/paper25.pdf
publication: Proceedings of the 38th International Workshop on Description Logics
  - DL 2025
status: public
title: Why not? Developing ABox Abduction beyond Repairs
type: conference
user_id: '109969'
year: '2025'
...
---
_id: '61471'
author:
- first_name: Guido
  full_name: Governatori, Guido
  last_name: Governatori
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Governatori G, Turhan A-Y. Introduction to the Special Issue on Logic Rules
    and Reasoning: Selected Papers From the 6th International Joint Conference on
    Rules and Reasoning (RuleML+RR 2022). <i>Theory Pract Log Program</i>. 2025;25(2):132–133.
    doi:<a href="https://doi.org/10.1017/S1471068425000079">10.1017/S1471068425000079</a>'
  apa: 'Governatori, G., &#38; Turhan, A.-Y. (2025). Introduction to the Special Issue
    on Logic Rules and Reasoning: Selected Papers From the 6th International Joint
    Conference on Rules and Reasoning (RuleML+RR 2022). <i>Theory Pract. Log. Program.</i>,
    <i>25</i>(2), 132–133. <a href="https://doi.org/10.1017/S1471068425000079">https://doi.org/10.1017/S1471068425000079</a>'
  bibtex: '@article{Governatori_Turhan_2025, title={Introduction to the Special Issue
    on Logic Rules and Reasoning: Selected Papers From the 6th International Joint
    Conference on Rules and Reasoning (RuleML+RR 2022)}, volume={25}, DOI={<a href="https://doi.org/10.1017/S1471068425000079">10.1017/S1471068425000079</a>},
    number={2}, journal={Theory Pract. Log. Program.}, author={Governatori, Guido
    and Turhan, Anni-Yasmin}, year={2025}, pages={132–133} }'
  chicago: 'Governatori, Guido, and Anni-Yasmin Turhan. “Introduction to the Special
    Issue on Logic Rules and Reasoning: Selected Papers From the 6th International
    Joint Conference on Rules and Reasoning (RuleML+RR 2022).” <i>Theory Pract. Log.
    Program.</i> 25, no. 2 (2025): 132–133. <a href="https://doi.org/10.1017/S1471068425000079">https://doi.org/10.1017/S1471068425000079</a>.'
  ieee: 'G. Governatori and A.-Y. Turhan, “Introduction to the Special Issue on Logic
    Rules and Reasoning: Selected Papers From the 6th International Joint Conference
    on Rules and Reasoning (RuleML+RR 2022),” <i>Theory Pract. Log. Program.</i>,
    vol. 25, no. 2, pp. 132–133, 2025, doi: <a href="https://doi.org/10.1017/S1471068425000079">10.1017/S1471068425000079</a>.'
  mla: 'Governatori, Guido, and Anni-Yasmin Turhan. “Introduction to the Special Issue
    on Logic Rules and Reasoning: Selected Papers From the 6th International Joint
    Conference on Rules and Reasoning (RuleML+RR 2022).” <i>Theory Pract. Log. Program.</i>,
    vol. 25, no. 2, 2025, pp. 132–133, doi:<a href="https://doi.org/10.1017/S1471068425000079">10.1017/S1471068425000079</a>.'
  short: G. Governatori, A.-Y. Turhan, Theory Pract. Log. Program. 25 (2025) 132–133.
date_created: 2025-09-30T07:58:55Z
date_updated: 2025-09-30T08:02:13Z
department:
- _id: '888'
doi: 10.1017/S1471068425000079
intvolume: '        25'
issue: '2'
language:
- iso: eng
page: 132–133
publication: Theory Pract. Log. Program.
status: public
title: 'Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers
  From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022)'
type: journal_article
user_id: '117185'
volume: 25
year: '2025'
...
---
_id: '56488'
author:
- first_name: Rafael
  full_name: Peñaloza, Rafael
  last_name: Peñaloza
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Peñaloza R, Turhan A-Y. Reasoning in Rough Description Logics with Multiple
    Indiscernibility Relations. In: Kirrane S, Simkus M, Soylu A, Roman D, eds. <i>Rules
    and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest,
    Romania, September 16-18, 2024, Proceedings</i>. Vol 15183. Lecture Notes in Computer
    Science. Springer; 2024:142–158. doi:<a href="https://doi.org/10.1007/978-3-031-72407-7_11">10.1007/978-3-031-72407-7_11</a>'
  apa: Peñaloza, R., &#38; Turhan, A.-Y. (2024). Reasoning in Rough Description Logics
    with Multiple Indiscernibility Relations. In S. Kirrane, M. Simkus, A. Soylu,
    &#38; D. Roman (Eds.), <i>Rules and Reasoning - 8th International Joint Conference,
    RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings</i> (Vol.
    15183, pp. 142–158). Springer. <a href="https://doi.org/10.1007/978-3-031-72407-7_11">https://doi.org/10.1007/978-3-031-72407-7_11</a>
  bibtex: '@inproceedings{Peñaloza_Turhan_2024, series={Lecture Notes in Computer
    Science}, title={Reasoning in Rough Description Logics with Multiple Indiscernibility
    Relations}, volume={15183}, DOI={<a href="https://doi.org/10.1007/978-3-031-72407-7_11">10.1007/978-3-031-72407-7_11</a>},
    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} }'
  chicago: Peñaloza, Rafael, and Anni-Yasmin Turhan. “Reasoning in Rough Description
    Logics with Multiple Indiscernibility Relations.” In <i>Rules and Reasoning -
    8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September
    16-18, 2024, Proceedings</i>, edited by Sabrina Kirrane, Mantas Simkus, Ahmet
    Soylu, and Dumitru Roman, 15183:142–158. Lecture Notes in Computer Science. Springer,
    2024. <a href="https://doi.org/10.1007/978-3-031-72407-7_11">https://doi.org/10.1007/978-3-031-72407-7_11</a>.
  ieee: 'R. Peñaloza and A.-Y. Turhan, “Reasoning in Rough Description Logics with
    Multiple Indiscernibility Relations,” in <i>Rules and Reasoning - 8th International
    Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings</i>,
    2024, vol. 15183, pp. 142–158, doi: <a href="https://doi.org/10.1007/978-3-031-72407-7_11">10.1007/978-3-031-72407-7_11</a>.'
  mla: Peñaloza, Rafael, and Anni-Yasmin Turhan. “Reasoning in Rough Description Logics
    with Multiple Indiscernibility Relations.” <i>Rules and Reasoning - 8th International
    Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings</i>,
    edited by Sabrina Kirrane et al., vol. 15183, Springer, 2024, pp. 142–158, doi:<a
    href="https://doi.org/10.1007/978-3-031-72407-7_11">10.1007/978-3-031-72407-7_11</a>.
  short: 'R. Peñaloza, A.-Y. Turhan, in: S. Kirrane, M. Simkus, A. Soylu, D. Roman
    (Eds.), Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024,
    Bucharest, Romania, September 16-18, 2024, Proceedings, Springer, 2024, pp. 142–158.'
date_created: 2024-10-10T12:17:55Z
date_updated: 2024-10-10T12:18:29Z
doi: 10.1007/978-3-031-72407-7_11
editor:
- first_name: Sabrina
  full_name: Kirrane, Sabrina
  last_name: Kirrane
- first_name: Mantas
  full_name: Simkus, Mantas
  last_name: Simkus
- first_name: Ahmet
  full_name: Soylu, Ahmet
  last_name: Soylu
- first_name: Dumitru
  full_name: Roman, Dumitru
  last_name: Roman
intvolume: '     15183'
language:
- iso: eng
page: 142–158
publication: Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024,
  Bucharest, Romania, September 16-18, 2024, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Reasoning in Rough Description Logics with Multiple Indiscernibility Relations
type: conference
user_id: '15504'
volume: 15183
year: '2024'
...
---
_id: '56158'
author:
- first_name: Oliver Fernández
  full_name: Gil, Oliver Fernández
  last_name: Gil
- first_name: Fabio
  full_name: Patrizi, Fabio
  last_name: Patrizi
- first_name: Giuseppe
  full_name: Perelli, Giuseppe
  last_name: Perelli
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge
    Bases (Extended Abstract). In: Giordano L, Jung JC, Ozaki A, eds. <i>Proceedings
    of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway,
    June 18-21, 2024</i>. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.'
  apa: Gil, O. F., Patrizi, F., Perelli, G., &#38; Turhan, A.-Y. (2024). Optimal Alignment
    of Temporal Knowledge Bases (Extended Abstract). In L. Giordano, J. C. Jung, &#38;
    A. Ozaki (Eds.), <i>Proceedings of the 37th International Workshop on Description
    Logics (DL 2024), Bergen, Norway, June 18-21, 2024</i> (Vol. 3739). CEUR-WS.org.
  bibtex: '@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} }'
  chicago: Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin
    Turhan. “Optimal Alignment of Temporal Knowledge Bases (Extended Abstract).” In
    <i>Proceedings of the 37th International Workshop on Description Logics (DL 2024),
    Bergen, Norway, June 18-21, 2024</i>, edited by Laura Giordano, Jean Christoph
    Jung, and Ana Ozaki, Vol. 3739. CEUR Workshop Proceedings. CEUR-WS.org, 2024.
  ieee: O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of
    Temporal Knowledge Bases (Extended Abstract),” in <i>Proceedings of the 37th International
    Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024</i>,
    2024, vol. 3739.
  mla: Gil, Oliver Fernández, et al. “Optimal Alignment of Temporal Knowledge Bases
    (Extended Abstract).” <i>Proceedings of the 37th International Workshop on Description
    Logics (DL 2024), Bergen, Norway, June 18-21, 2024</i>, edited by Laura Giordano
    et al., vol. 3739, CEUR-WS.org, 2024.
  short: 'O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, in: L. Giordano, J.C. Jung,
    A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description
    Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.'
date_created: 2024-09-17T08:45:01Z
date_updated: 2024-10-14T08:03:03Z
department:
- _id: '888'
editor:
- first_name: Laura
  full_name: Giordano, Laura
  last_name: Giordano
- first_name: Jean Christoph
  full_name: Jung, Jean Christoph
  last_name: Jung
- first_name: Ana
  full_name: Ozaki, Ana
  last_name: Ozaki
intvolume: '      3739'
language:
- iso: eng
publication: Proceedings of the 37th International Workshop on Description Logics
  (DL 2024), Bergen, Norway, June 18-21, 2024
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)
type: conference
user_id: '15504'
volume: 3739
year: '2024'
...
---
_id: '56159'
author:
- first_name: Rafael
  full_name: Peñaloza, Rafael
  last_name: Peñaloza
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Peñaloza R, Turhan A-Y. Rough, Rougher, Roughest: Extending EL with a Hierarchy
    of Indiscernibility Relations. In: Giordano L, Jung JC, Ozaki A, eds. <i>Proceedings
    of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway,
    June 18-21, 2024</i>. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.'
  apa: 'Peñaloza, R., &#38; Turhan, A.-Y. (2024). Rough, Rougher, Roughest: Extending
    EL with a Hierarchy of Indiscernibility Relations. In L. Giordano, J. C. Jung,
    &#38; A. Ozaki (Eds.), <i>Proceedings of the 37th International Workshop on Description
    Logics (DL 2024), Bergen, Norway, June 18-21, 2024</i> (Vol. 3739). CEUR-WS.org.'
  bibtex: '@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}
    }'
  chicago: 'Peñaloza, Rafael, and Anni-Yasmin Turhan. “Rough, Rougher, Roughest: Extending
    EL with a Hierarchy of Indiscernibility Relations.” In <i>Proceedings of the 37th
    International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21,
    2024</i>, edited by Laura Giordano, Jean Christoph Jung, and Ana Ozaki, Vol. 3739.
    CEUR Workshop Proceedings. CEUR-WS.org, 2024.'
  ieee: 'R. Peñaloza and A.-Y. Turhan, “Rough, Rougher, Roughest: Extending EL with
    a Hierarchy of Indiscernibility Relations,” in <i>Proceedings of the 37th International
    Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024</i>,
    2024, vol. 3739.'
  mla: 'Peñaloza, Rafael, and Anni-Yasmin Turhan. “Rough, Rougher, Roughest: Extending
    EL with a Hierarchy of Indiscernibility Relations.” <i>Proceedings of the 37th
    International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21,
    2024</i>, edited by Laura Giordano et al., vol. 3739, CEUR-WS.org, 2024.'
  short: 'R. Peñaloza, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.),
    Proceedings of the 37th International Workshop on Description Logics (DL 2024),
    Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.'
date_created: 2024-09-17T08:46:26Z
date_updated: 2025-05-28T06:50:50Z
department:
- _id: '888'
editor:
- first_name: Laura
  full_name: Giordano, Laura
  last_name: Giordano
- first_name: Jean Christoph
  full_name: Jung, Jean Christoph
  last_name: Jung
- first_name: Ana
  full_name: Ozaki, Ana
  last_name: Ozaki
intvolume: '      3739'
language:
- iso: eng
publication: Proceedings of the 37th International Workshop on Description Logics
  (DL 2024), Bergen, Norway, June 18-21, 2024
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: 'Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility
  Relations'
type: conference
user_id: '117185'
volume: 3739
year: '2024'
...
---
_id: '52861'
author:
- first_name: Oliver Fernández
  full_name: Gil, Oliver Fernández
  last_name: Gil
- first_name: Fabio
  full_name: Patrizi, Fabio
  last_name: Patrizi
- first_name: Giuseppe
  full_name: Perelli, Giuseppe
  last_name: Perelli
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge
    Bases. <i>CoRR</i>. 2023;abs/2307.15439. doi:<a href="https://doi.org/10.48550/ARXIV.2307.15439">10.48550/ARXIV.2307.15439</a>
  apa: Gil, O. F., Patrizi, F., Perelli, G., &#38; Turhan, A.-Y. (2023). Optimal Alignment
    of Temporal Knowledge Bases. <i>CoRR</i>, <i>abs/2307.15439</i>. <a href="https://doi.org/10.48550/ARXIV.2307.15439">https://doi.org/10.48550/ARXIV.2307.15439</a>
  bibtex: '@article{Gil_Patrizi_Perelli_Turhan_2023, title={Optimal Alignment of Temporal
    Knowledge Bases}, volume={abs/2307.15439}, DOI={<a href="https://doi.org/10.48550/ARXIV.2307.15439">10.48550/ARXIV.2307.15439</a>},
    journal={CoRR}, author={Gil, Oliver Fernández and Patrizi, Fabio and Perelli,
    Giuseppe and Turhan, Anni-Yasmin}, year={2023} }'
  chicago: Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin
    Turhan. “Optimal Alignment of Temporal Knowledge Bases.” <i>CoRR</i> abs/2307.15439
    (2023). <a href="https://doi.org/10.48550/ARXIV.2307.15439">https://doi.org/10.48550/ARXIV.2307.15439</a>.
  ieee: 'O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of
    Temporal Knowledge Bases,” <i>CoRR</i>, vol. abs/2307.15439, 2023, doi: <a href="https://doi.org/10.48550/ARXIV.2307.15439">10.48550/ARXIV.2307.15439</a>.'
  mla: Gil, Oliver Fernández, et al. “Optimal Alignment of Temporal Knowledge Bases.”
    <i>CoRR</i>, vol. abs/2307.15439, 2023, doi:<a href="https://doi.org/10.48550/ARXIV.2307.15439">10.48550/ARXIV.2307.15439</a>.
  short: O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
date_created: 2024-03-25T13:58:27Z
date_updated: 2024-03-25T13:59:45Z
department:
- _id: '888'
doi: 10.48550/ARXIV.2307.15439
language:
- iso: eng
publication: CoRR
status: public
title: Optimal Alignment of Temporal Knowledge Bases
type: journal_article
user_id: '9503'
volume: abs/2307.15439
year: '2023'
...
---
_id: '52913'
author:
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Turhan A-Y. Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint
    DL+NMR Invited Talk). In: Kutz O, Lutz C, Ozaki A, eds. <i>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</i>. Vol 3515. CEUR Workshop
    Proceedings. CEUR-WS.org; 2023.'
  apa: Turhan, A.-Y. (2023). Brushing-up DLs to Cope with Imperfect Data (Abstract
    of Joint DL+NMR Invited Talk). In O. Kutz, C. Lutz, &#38; A. Ozaki (Eds.), <i>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</i> (Vol. 3515). CEUR-WS.org.
  bibtex: '@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}
    }'
  chicago: Turhan, Anni-Yasmin. “Brushing-up DLs to Cope with Imperfect Data (Abstract
    of Joint DL+NMR Invited Talk).” In <i>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</i>, edited by Oliver Kutz, Carsten Lutz, and Ana Ozaki, Vol.
    3515. CEUR Workshop Proceedings. CEUR-WS.org, 2023.
  ieee: A.-Y. Turhan, “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint
    DL+NMR Invited Talk),” in <i>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</i>, 2023, vol. 3515.
  mla: Turhan, Anni-Yasmin. “Brushing-up DLs to Cope with Imperfect Data (Abstract
    of Joint DL+NMR Invited Talk).” <i>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</i>, edited by Oliver Kutz et al., vol. 3515, CEUR-WS.org,
    2023.
  short: 'A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), 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, CEUR-WS.org, 2023.'
date_created: 2024-03-26T10:50:16Z
date_updated: 2024-03-26T10:50:47Z
department:
- _id: '888'
editor:
- first_name: Oliver
  full_name: Kutz, Oliver
  last_name: Kutz
- first_name: Carsten
  full_name: Lutz, Carsten
  last_name: Lutz
- first_name: Ana
  full_name: Ozaki, Ana
  last_name: Ozaki
intvolume: '      3515'
language:
- iso: eng
publication: 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
series_title: CEUR Workshop Proceedings
status: public
title: Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited
  Talk)
type: conference
user_id: '9503'
volume: 3515
year: '2023'
...
---
_id: '56096'
author:
- first_name: Oliver Fernández
  full_name: Gil, Oliver Fernández
  last_name: Gil
- first_name: Fabio
  full_name: Patrizi, Fabio
  last_name: Patrizi
- first_name: Giuseppe
  full_name: Perelli, Giuseppe
  last_name: Perelli
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge
    Bases. In: Gal K, Nowé A, Nalepa GJ, Fairstein R, Radulescu R, eds. <i>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)</i>. Vol 372. Frontiers in Artificial Intelligence
    and Applications. IOS Press; 2023:708–715. doi:<a href="https://doi.org/10.3233/FAIA230335">10.3233/FAIA230335</a>'
  apa: Gil, O. F., Patrizi, F., Perelli, G., &#38; Turhan, A.-Y. (2023). Optimal Alignment
    of Temporal Knowledge Bases. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, &#38;
    R. Radulescu (Eds.), <i>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)</i> (Vol. 372, pp.
    708–715). IOS Press. <a href="https://doi.org/10.3233/FAIA230335">https://doi.org/10.3233/FAIA230335</a>
  bibtex: '@inproceedings{Gil_Patrizi_Perelli_Turhan_2023, series={Frontiers in Artificial
    Intelligence and Applications}, title={Optimal Alignment of Temporal Knowledge
    Bases}, volume={372}, DOI={<a href="https://doi.org/10.3233/FAIA230335">10.3233/FAIA230335</a>},
    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} }'
  chicago: Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin
    Turhan. “Optimal Alignment of Temporal Knowledge Bases.” In <i>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)</i>, edited by Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy
    Fairstein, and Roxana Radulescu, 372:708–715. Frontiers in Artificial Intelligence
    and Applications. IOS Press, 2023. <a href="https://doi.org/10.3233/FAIA230335">https://doi.org/10.3233/FAIA230335</a>.
  ieee: 'O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of
    Temporal Knowledge Bases,” in <i>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)</i>,
    2023, vol. 372, pp. 708–715, doi: <a href="https://doi.org/10.3233/FAIA230335">10.3233/FAIA230335</a>.'
  mla: Gil, Oliver Fernández, et al. “Optimal Alignment of Temporal Knowledge Bases.”
    <i>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)</i>, edited by Kobi Gal et al.,
    vol. 372, IOS Press, 2023, pp. 708–715, doi:<a href="https://doi.org/10.3233/FAIA230335">10.3233/FAIA230335</a>.
  short: 'O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, in: K. Gal, A. Nowé, G.J.
    Nalepa, R. Fairstein, R. Radulescu (Eds.), 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),
    IOS Press, 2023, pp. 708–715.'
date_created: 2024-09-10T12:33:40Z
date_updated: 2024-09-25T09:25:40Z
department:
- _id: '888'
doi: 10.3233/FAIA230335
editor:
- first_name: Kobi
  full_name: Gal, Kobi
  last_name: Gal
- first_name: Ann
  full_name: Nowé, Ann
  last_name: Nowé
- first_name: Grzegorz J.
  full_name: Nalepa, Grzegorz J.
  last_name: Nalepa
- first_name: Roy
  full_name: Fairstein, Roy
  last_name: Fairstein
- first_name: Roxana
  full_name: Radulescu, Roxana
  last_name: Radulescu
intvolume: '       372'
language:
- iso: eng
page: 708–715
publication: 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
series_title: Frontiers in Artificial Intelligence and Applications
status: public
title: Optimal Alignment of Temporal Knowledge Bases
type: conference
user_id: '15504'
volume: 372
year: '2023'
...
---
_id: '52859'
author:
- first_name: Igor
  full_name: de Camargo e Souza Câmara, Igor
  last_name: de Camargo e Souza Câmara
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: "de Camargo e Souza Câmara I, Turhan A-Y. Deciding Subsumption in Defeasible
    \U0001D4D4\U0001D4DB\U0001D4D8⊥ with Typicality Models. In: <i>Logics in Artificial
    Intelligence</i>. Springer Nature Switzerland; 2023. doi:<a href=\"https://doi.org/10.1007/978-3-031-43619-2_36\">10.1007/978-3-031-43619-2_36</a>"
  apa: "de Camargo e Souza Câmara, I., &#38; Turhan, A.-Y. (2023). Deciding Subsumption
    in Defeasible \U0001D4D4\U0001D4DB\U0001D4D8⊥ with Typicality Models. In <i>Logics
    in Artificial Intelligence</i>. Springer Nature Switzerland. <a href=\"https://doi.org/10.1007/978-3-031-43619-2_36\">https://doi.org/10.1007/978-3-031-43619-2_36</a>"
  bibtex: "@inbook{de Camargo e Souza Câmara_Turhan_2023, place={Cham}, title={Deciding
    Subsumption in Defeasible \U0001D4D4\U0001D4DB\U0001D4D8⊥ with Typicality Models},
    DOI={<a href=\"https://doi.org/10.1007/978-3-031-43619-2_36\">10.1007/978-3-031-43619-2_36</a>},
    booktitle={Logics in Artificial Intelligence}, publisher={Springer Nature Switzerland},
    author={de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin}, year={2023}
    }"
  chicago: "Camargo e Souza Câmara, Igor de, and Anni-Yasmin Turhan. “Deciding Subsumption
    in Defeasible \U0001D4D4\U0001D4DB\U0001D4D8⊥ with Typicality Models.” In <i>Logics
    in Artificial Intelligence</i>. Cham: Springer Nature Switzerland, 2023. <a href=\"https://doi.org/10.1007/978-3-031-43619-2_36\">https://doi.org/10.1007/978-3-031-43619-2_36</a>."
  ieee: "I. de Camargo e Souza Câmara and A.-Y. Turhan, “Deciding Subsumption in Defeasible
    \U0001D4D4\U0001D4DB\U0001D4D8⊥ with Typicality Models,” in <i>Logics in Artificial
    Intelligence</i>, Cham: Springer Nature Switzerland, 2023."
  mla: "de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Deciding Subsumption
    in Defeasible \U0001D4D4\U0001D4DB\U0001D4D8⊥ with Typicality Models.” <i>Logics
    in Artificial Intelligence</i>, Springer Nature Switzerland, 2023, doi:<a href=\"https://doi.org/10.1007/978-3-031-43619-2_36\">10.1007/978-3-031-43619-2_36</a>."
  short: 'I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence,
    Springer Nature Switzerland, Cham, 2023.'
date_created: 2024-03-25T13:56:30Z
date_updated: 2024-12-11T13:57:36Z
department:
- _id: '888'
doi: 10.1007/978-3-031-43619-2_36
language:
- iso: eng
place: Cham
publication: Logics in Artificial Intelligence
publication_identifier:
  isbn:
  - '9783031436185'
  - '9783031436192'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Nature Switzerland
status: public
title: "Deciding Subsumption in Defeasible \U0001D4D4\U0001D4DB\U0001D4D8⊥ with Typicality
  Models"
type: book_chapter
user_id: '15504'
year: '2023'
...
---
_id: '52862'
author:
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Turhan A-Y. A Double Take at Conferences: The Hybrid Format. <i>KI - Künstliche
    Intelligenz</i>. 2022;36(1):1-4. doi:<a href="https://doi.org/10.1007/s13218-022-00758-6">10.1007/s13218-022-00758-6</a>'
  apa: 'Turhan, A.-Y. (2022). A Double Take at Conferences: The Hybrid Format. <i>KI
    - Künstliche Intelligenz</i>, <i>36</i>(1), 1–4. <a href="https://doi.org/10.1007/s13218-022-00758-6">https://doi.org/10.1007/s13218-022-00758-6</a>'
  bibtex: '@article{Turhan_2022, title={A Double Take at Conferences: The Hybrid Format},
    volume={36}, DOI={<a href="https://doi.org/10.1007/s13218-022-00758-6">10.1007/s13218-022-00758-6</a>},
    number={1}, journal={KI - Künstliche Intelligenz}, publisher={Springer Science
    and Business Media LLC}, author={Turhan, Anni-Yasmin}, year={2022}, pages={1–4}
    }'
  chicago: 'Turhan, Anni-Yasmin. “A Double Take at Conferences: The Hybrid Format.”
    <i>KI - Künstliche Intelligenz</i> 36, no. 1 (2022): 1–4. <a href="https://doi.org/10.1007/s13218-022-00758-6">https://doi.org/10.1007/s13218-022-00758-6</a>.'
  ieee: 'A.-Y. Turhan, “A Double Take at Conferences: The Hybrid Format,” <i>KI -
    Künstliche Intelligenz</i>, vol. 36, no. 1, pp. 1–4, 2022, doi: <a href="https://doi.org/10.1007/s13218-022-00758-6">10.1007/s13218-022-00758-6</a>.'
  mla: 'Turhan, Anni-Yasmin. “A Double Take at Conferences: The Hybrid Format.” <i>KI
    - Künstliche Intelligenz</i>, vol. 36, no. 1, Springer Science and Business Media
    LLC, 2022, pp. 1–4, doi:<a href="https://doi.org/10.1007/s13218-022-00758-6">10.1007/s13218-022-00758-6</a>.'
  short: A.-Y. Turhan, KI - Künstliche Intelligenz 36 (2022) 1–4.
date_created: 2024-03-25T14:00:30Z
date_updated: 2024-03-26T10:52:36Z
department:
- _id: '888'
doi: 10.1007/s13218-022-00758-6
intvolume: '        36'
issue: '1'
keyword:
- Artificial Intelligence
language:
- iso: eng
page: 1-4
publication: KI - Künstliche Intelligenz
publication_identifier:
  issn:
  - 0933-1875
  - 1610-1987
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: 'A Double Take at Conferences: The Hybrid Format'
type: journal_article
user_id: '9503'
volume: 36
year: '2022'
...
---
_id: '52923'
author:
- first_name: Igor
  full_name: de Camargo e Souza Câmara, Igor
  last_name: de Camargo e Souza Câmara
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'de Camargo e Souza Câmara I, Turhan A-Y. Rational Defeasible Subsumption in
    DLs with Nested Quantifiers: the Case of ELI\(\perp\). In: Arieli O, Casini G,
    Giordano L, eds. <i>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</i>. Vol 3197. CEUR Workshop Proceedings. CEUR-WS.org;
    2022:159–162.'
  apa: 'de Camargo e Souza Câmara, I., &#38; Turhan, A.-Y. (2022). Rational Defeasible
    Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\). In O. Arieli,
    G. Casini, &#38; L. Giordano (Eds.), <i>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</i> (Vol. 3197, pp. 159–162). CEUR-WS.org.'
  bibtex: '@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} }'
  chicago: 'Camargo e Souza Câmara, Igor de, and Anni-Yasmin Turhan. “Rational Defeasible
    Subsumption in DLs with Nested Quantifiers: The Case of ELI\(\perp\).” In <i>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</i>,
    edited by Ofer Arieli, Giovanni Casini, and Laura Giordano, 3197:159–162. CEUR
    Workshop Proceedings. CEUR-WS.org, 2022.'
  ieee: 'I. de Camargo e Souza Câmara and A.-Y. Turhan, “Rational Defeasible Subsumption
    in DLs with Nested Quantifiers: the Case of ELI\(\perp\),” in <i>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</i>,
    2022, vol. 3197, pp. 159–162.'
  mla: 'de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Rational Defeasible
    Subsumption in DLs with Nested Quantifiers: The Case of ELI\(\perp\).” <i>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</i>,
    edited by Ofer Arieli et al., vol. 3197, CEUR-WS.org, 2022, pp. 159–162.'
  short: 'I. de Camargo e Souza Câmara, A.-Y. Turhan, in: O. Arieli, G. Casini, L.
    Giordano (Eds.), 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, CEUR-WS.org, 2022, pp. 159–162.'
date_created: 2024-03-26T10:54:06Z
date_updated: 2024-03-26T10:56:19Z
department:
- _id: '888'
editor:
- first_name: Ofer
  full_name: Arieli, Ofer
  last_name: Arieli
- first_name: Giovanni
  full_name: Casini, Giovanni
  last_name: Casini
- first_name: Laura
  full_name: Giordano, Laura
  last_name: Giordano
intvolume: '      3197'
language:
- iso: eng
page: 159–162
publication: 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
series_title: CEUR Workshop Proceedings
status: public
title: 'Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of
  ELI\(\perp\)'
type: conference
user_id: '9503'
volume: 3197
year: '2022'
...
---
_id: '52925'
citation:
  ama: Governatori G, Turhan A-Y, eds. <i>Rules and Reasoning - 6th International
    Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September
    26-28, 2022, Proceedings</i>. Vol 13752. Springer; 2022. doi:<a href="https://doi.org/10.1007/978-3-031-21541-4">10.1007/978-3-031-21541-4</a>
  apa: Governatori, G., &#38; Turhan, A.-Y. (Eds.). (2022). <i>Rules and Reasoning
    - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin,
    Germany, September 26-28, 2022, Proceedings</i> (Vol. 13752). Springer. <a href="https://doi.org/10.1007/978-3-031-21541-4">https://doi.org/10.1007/978-3-031-21541-4</a>
  bibtex: '@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={<a href="https://doi.org/10.1007/978-3-031-21541-4">10.1007/978-3-031-21541-4</a>},
    publisher={Springer}, year={2022}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Governatori, Guido, and Anni-Yasmin Turhan, eds. <i>Rules and Reasoning
    - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin,
    Germany, September 26-28, 2022, Proceedings</i>. Vol. 13752. Lecture Notes in
    Computer Science. Springer, 2022. <a href="https://doi.org/10.1007/978-3-031-21541-4">https://doi.org/10.1007/978-3-031-21541-4</a>.
  ieee: G. Governatori and A.-Y. Turhan, Eds., <i>Rules and Reasoning - 6th International
    Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September
    26-28, 2022, Proceedings</i>, vol. 13752. Springer, 2022.
  mla: Governatori, Guido, and Anni-Yasmin Turhan, editors. <i>Rules and Reasoning
    - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin,
    Germany, September 26-28, 2022, Proceedings</i>. Springer, 2022, doi:<a href="https://doi.org/10.1007/978-3-031-21541-4">10.1007/978-3-031-21541-4</a>.
  short: G. Governatori, A.-Y. Turhan, eds., Rules and Reasoning - 6th International
    Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September
    26-28, 2022, Proceedings, Springer, 2022.
date_created: 2024-03-26T10:54:33Z
date_updated: 2024-03-26T10:56:14Z
department:
- _id: '888'
doi: 10.1007/978-3-031-21541-4
editor:
- first_name: Guido
  full_name: Governatori, Guido
  last_name: Governatori
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
intvolume: '     13752'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-031-21540-7
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning,
  RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
type: conference_editor
user_id: '9503'
volume: 13752
year: '2022'
...
---
_id: '52924'
author:
- first_name: Satyadharma
  full_name: Tirtarasa, Satyadharma
  last_name: Tirtarasa
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Tirtarasa S, Turhan A-Y. Computing generalizations of temporal ϵL concepts
    with next and global. In: Hong J, Bures M, Park JW, Cerný T, eds. <i>SAC ’22:
    The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25
    - 29, 2022</i>. ACM; 2022:903–910. doi:<a href="https://doi.org/10.1145/3477314.3507136">10.1145/3477314.3507136</a>'
  apa: 'Tirtarasa, S., &#38; Turhan, A.-Y. (2022). Computing generalizations of temporal
    ϵL concepts with next and global. In J. Hong, M. Bures, J. W. Park, &#38; T. Cerný
    (Eds.), <i>SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
    Event, April 25 - 29, 2022</i> (pp. 903–910). ACM. <a href="https://doi.org/10.1145/3477314.3507136">https://doi.org/10.1145/3477314.3507136</a>'
  bibtex: '@inproceedings{Tirtarasa_Turhan_2022, title={Computing generalizations
    of temporal ϵL concepts with next and global}, DOI={<a href="https://doi.org/10.1145/3477314.3507136">10.1145/3477314.3507136</a>},
    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} }'
  chicago: 'Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations
    of Temporal ΕL Concepts with next and Global.” In <i>SAC ’22: The 37th {ACM/SIGAPP}
    Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022</i>, edited
    by Jiman Hong, Miroslav Bures, Juw Won Park, and Tomás Cerný, 903–910. ACM, 2022.
    <a href="https://doi.org/10.1145/3477314.3507136">https://doi.org/10.1145/3477314.3507136</a>.'
  ieee: 'S. Tirtarasa and A.-Y. Turhan, “Computing generalizations of temporal ϵL
    concepts with next and global,” in <i>SAC ’22: The 37th {ACM/SIGAPP} Symposium
    on Applied Computing, Virtual Event, April 25 - 29, 2022</i>, 2022, pp. 903–910,
    doi: <a href="https://doi.org/10.1145/3477314.3507136">10.1145/3477314.3507136</a>.'
  mla: 'Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations
    of Temporal ΕL Concepts with next and Global.” <i>SAC ’22: The 37th {ACM/SIGAPP}
    Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022</i>, edited
    by Jiman Hong et al., ACM, 2022, pp. 903–910, doi:<a href="https://doi.org/10.1145/3477314.3507136">10.1145/3477314.3507136</a>.'
  short: 'S. Tirtarasa, A.-Y. Turhan, in: J. Hong, M. Bures, J.W. Park, T. Cerný (Eds.),
    SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event,
    April 25 - 29, 2022, ACM, 2022, pp. 903–910.'
date_created: 2024-03-26T10:54:20Z
date_updated: 2024-06-03T08:07:35Z
department:
- _id: '888'
doi: 10.1145/3477314.3507136
editor:
- first_name: Jiman
  full_name: Hong, Jiman
  last_name: Hong
- first_name: Miroslav
  full_name: Bures, Miroslav
  last_name: Bures
- first_name: Juw Won
  full_name: Park, Juw Won
  last_name: Park
- first_name: Tomás
  full_name: Cerný, Tomás
  last_name: Cerný
language:
- iso: eng
page: 903–910
publication: 'SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
  Event, April 25 - 29, 2022'
publisher: ACM
status: public
title: Computing generalizations of temporal ϵL concepts with next and global
type: conference
user_id: '9503'
year: '2022'
...
---
_id: '52918'
author:
- first_name: Franz
  full_name: Baader, Franz
  last_name: Baader
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Friedrich
  full_name: Michel, Friedrich
  last_name: Michel
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
- first_name: Benjamin
  full_name: Zarrieß, Benjamin
  last_name: Zarrieß
citation:
  ama: Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning
    with Value Restrictions using the Flower Reasoner. <i>Theory Pract Log Program</i>.
    2022;22(2):162–192. doi:<a href="https://doi.org/10.1017/S1471068421000466">10.1017/S1471068421000466</a>
  apa: Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2022).
    Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. <i>Theory
    Pract. Log. Program.</i>, <i>22</i>(2), 162–192. <a href="https://doi.org/10.1017/S1471068421000466">https://doi.org/10.1017/S1471068421000466</a>
  bibtex: '@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox
    Reasoning with Value Restrictions using the Flower Reasoner}, volume={22}, DOI={<a
    href="https://doi.org/10.1017/S1471068421000466">10.1017/S1471068421000466</a>},
    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} }'
  chicago: 'Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan,
    and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using
    the Flower Reasoner.” <i>Theory Pract. Log. Program.</i> 22, no. 2 (2022): 162–192.
    <a href="https://doi.org/10.1017/S1471068421000466">https://doi.org/10.1017/S1471068421000466</a>.'
  ieee: 'F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient
    TBox Reasoning with Value Restrictions using the Flower Reasoner,” <i>Theory Pract.
    Log. Program.</i>, vol. 22, no. 2, pp. 162–192, 2022, doi: <a href="https://doi.org/10.1017/S1471068421000466">10.1017/S1471068421000466</a>.'
  mla: Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using
    the Flower Reasoner.” <i>Theory Pract. Log. Program.</i>, vol. 22, no. 2, 2022,
    pp. 162–192, doi:<a href="https://doi.org/10.1017/S1471068421000466">10.1017/S1471068421000466</a>.
  short: F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract.
    Log. Program. 22 (2022) 162–192.
date_created: 2024-03-26T10:53:00Z
date_updated: 2024-06-03T08:25:12Z
department:
- _id: '888'
doi: 10.1017/S1471068421000466
intvolume: '        22'
issue: '2'
language:
- iso: eng
page: 162–192
publication: Theory Pract. Log. Program.
status: public
title: Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner
type: journal_article
user_id: '9503'
volume: 22
year: '2022'
...
---
_id: '52920'
author:
- first_name: Franz
  full_name: Baader, Franz
  last_name: Baader
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Friedrich
  full_name: Michel, Friedrich
  last_name: Michel
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
- first_name: Benjamin
  full_name: Zarrieß, Benjamin
  last_name: Zarrieß
citation:
  ama: 'Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning
    with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In: Arieli
    O, Homola M, Jung JC, Mugnier M-L, eds. <i>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</i>. Vol 3263. CEUR Workshop
    Proceedings. CEUR-WS.org; 2022.'
  apa: Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2022).
    Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended
    Abstract). In O. Arieli, M. Homola, J. C. Jung, &#38; M.-L. Mugnier (Eds.), <i>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</i> (Vol. 3263). CEUR-WS.org.
  bibtex: '@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} }'
  chicago: Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan,
    and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using
    the FL0wer Reasoner (Extended Abstract).” In <i>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</i>, edited by Ofer Arieli,
    Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop
    Proceedings. CEUR-WS.org, 2022.
  ieee: F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient
    TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract),”
    in <i>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</i>, 2022, vol. 3263.
  mla: Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using
    the FL0wer Reasoner (Extended Abstract).” <i>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</i>, edited by Ofer Arieli
    et al., vol. 3263, CEUR-WS.org, 2022.
  short: 'F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, in: O. Arieli,
    M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), 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, CEUR-WS.org, 2022.'
date_created: 2024-03-26T10:53:20Z
date_updated: 2024-10-14T08:04:11Z
department:
- _id: '888'
editor:
- first_name: Ofer
  full_name: Arieli, Ofer
  last_name: Arieli
- first_name: Martin
  full_name: Homola, Martin
  last_name: Homola
- first_name: Jean Christoph
  full_name: Jung, Jean Christoph
  last_name: Jung
- first_name: Marie-Laure
  full_name: Mugnier, Marie-Laure
  last_name: Mugnier
intvolume: '      3263'
language:
- iso: eng
publication: 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
series_title: CEUR Workshop Proceedings
status: public
title: Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner
  (Extended Abstract)
type: conference
user_id: '15504'
volume: 3263
year: '2022'
...
---
_id: '52921'
author:
- first_name: Satyadharma
  full_name: Tirtarasa, Satyadharma
  last_name: Tirtarasa
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Tirtarasa S, Turhan A-Y. A New Dimension to Generalization: Computing Temporal
    EL Concepts from Positive Examples (Extended Abstract). In: Arieli O, Homola M,
    Jung JC, Mugnier M-L, eds. <i>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</i>. Vol 3263. CEUR Workshop Proceedings.
    CEUR-WS.org; 2022.'
  apa: 'Tirtarasa, S., &#38; Turhan, A.-Y. (2022). A New Dimension to Generalization:
    Computing Temporal EL Concepts from Positive Examples (Extended Abstract). In
    O. Arieli, M. Homola, J. C. Jung, &#38; M.-L. Mugnier (Eds.), <i>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</i>
    (Vol. 3263). CEUR-WS.org.'
  bibtex: '@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} }'
  chicago: 'Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization:
    Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” In
    <i>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</i>, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung,
    and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.'
  ieee: 'S. Tirtarasa and A.-Y. Turhan, “A New Dimension to Generalization: Computing
    Temporal EL Concepts from Positive Examples (Extended Abstract),” in <i>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</i>, 2022, vol. 3263.'
  mla: 'Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization:
    Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” <i>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</i>, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.'
  short: 'S. Tirtarasa, A.-Y. Turhan, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier
    (Eds.), 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, CEUR-WS.org, 2022.'
date_created: 2024-03-26T10:53:35Z
date_updated: 2024-10-14T08:02:28Z
department:
- _id: '888'
editor:
- first_name: Ofer
  full_name: Arieli, Ofer
  last_name: Arieli
- first_name: Martin
  full_name: Homola, Martin
  last_name: Homola
- first_name: Jean Christoph
  full_name: Jung, Jean Christoph
  last_name: Jung
- first_name: Marie-Laure
  full_name: Mugnier, Marie-Laure
  last_name: Mugnier
intvolume: '      3263'
language:
- iso: eng
publication: 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
series_title: CEUR Workshop Proceedings
status: public
title: 'A New Dimension to Generalization: Computing Temporal EL Concepts from Positive
  Examples (Extended Abstract)'
type: conference
user_id: '15504'
volume: 3263
year: '2022'
...