---
_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: '55479'
author:
- first_name: Rafael
  full_name: Peñaloza, Rafael
  last_name: Peñaloza
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  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 - Eighth International Joint Conference, RuleML+RR 2024, Proceedings</i>.
    LNCS. Springer; 2024. 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 - Eighth International Joint Conference,
    RuleML+RR 2024, Proceedings</i>. 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={LNCS}, title={Reasoning in
    Rough Description Logics with Multiple Indiscernibility Relations}, 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 - Eighth International Joint Conference, RuleML+RR
    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}, collection={LNCS} }'
  chicago: Peñaloza, Rafael, and Anni-Yasmin Turhan. “Reasoning in Rough Description
    Logics with Multiple Indiscernibility Relations.” In <i>Rules and Reasoning -
    Eighth International Joint Conference, RuleML+RR 2024, Proceedings</i>, edited
    by Sabrina Kirrane, Mantas Simkus, Ahmet Soylu, and Dumitru Roman. LNCS. 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 - Eighth International
    Joint Conference, RuleML+RR 2024, Proceedings</i>, 2024, 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 - Eighth International
    Joint Conference, RuleML+RR 2024, Proceedings</i>, edited by Sabrina Kirrane et
    al., Springer, 2024, 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 - Eighth International Joint Conference, RuleML+RR
    2024, Proceedings, Springer, 2024.'
date_created: 2024-08-01T12:30:48Z
date_updated: 2024-10-11T08:42:39Z
department:
- _id: '888'
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
language:
- iso: eng
publication: Rules and Reasoning - Eighth International Joint Conference, RuleML+RR
  2024, Proceedings
publisher: Springer
series_title: LNCS
status: public
title: Reasoning in Rough Description Logics with Multiple Indiscernibility Relations
type: conference
user_id: '104470'
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: '54997'
author:
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  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-07-03T09:09:00Z
date_updated: 2024-08-01T11:17:17Z
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'
...
---
_id: '52922'
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. User-aware Explications of Ontology Consequences:
    Levelling Technicality. In: Beierle C, Ragni M, Stolzenburg F, Sauerwald K, Thimm
    M, eds. <i>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</i>. Vol 3242. CEUR Workshop Proceedings.
    CEUR-WS.org; 2022:90–101.'
  apa: 'Peñaloza, R., &#38; Turhan, A.-Y. (2022). User-aware Explications of Ontology
    Consequences: Levelling Technicality. In C. Beierle, M. Ragni, F. Stolzenburg,
    K. Sauerwald, &#38; M. Thimm (Eds.), <i>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</i>
    (Vol. 3242, pp. 90–101). CEUR-WS.org.'
  bibtex: '@inproceedings{Peñaloza_Turhan_2022, series={CEUR Workshop Proceedings},
    title={User-aware Explications of Ontology Consequences: Levelling Technicality},
    volume={3242}, booktitle={Proceedings of the 8th Workshop on Formal and Cognitive
    Reasoning co-located with the 45th German Conference on Artificial Intelligence
    (KI 2022), Virtual Event, Trier, Germany, September 19, 2022}, publisher={CEUR-WS.org},
    author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Beierle, Christoph
    and Ragni, Marco and Stolzenburg, Frieder and Sauerwald, Kai and Thimm, Matthias},
    year={2022}, pages={90–101}, collection={CEUR Workshop Proceedings} }'
  chicago: 'Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of
    Ontology Consequences: Levelling Technicality.” In <i>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</i>, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald,
    and Matthias Thimm, 3242:90–101. CEUR Workshop Proceedings. CEUR-WS.org, 2022.'
  ieee: 'R. Peñaloza and A.-Y. Turhan, “User-aware Explications of Ontology Consequences:
    Levelling Technicality,” in <i>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</i>, 2022, vol. 3242,
    pp. 90–101.'
  mla: 'Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology
    Consequences: Levelling Technicality.” <i>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</i>,
    edited by Christoph Beierle et al., vol. 3242, CEUR-WS.org, 2022, pp. 90–101.'
  short: 'R. Peñaloza, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, K.
    Sauerwald, M. Thimm (Eds.), 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, CEUR-WS.org, 2022,
    pp. 90–101.'
date_created: 2024-03-26T10:53:53Z
date_updated: 2024-10-14T08:04:50Z
department:
- _id: '888'
editor:
- first_name: Christoph
  full_name: Beierle, Christoph
  last_name: Beierle
- first_name: Marco
  full_name: Ragni, Marco
  last_name: Ragni
- first_name: Frieder
  full_name: Stolzenburg, Frieder
  last_name: Stolzenburg
- first_name: Kai
  full_name: Sauerwald, Kai
  last_name: Sauerwald
- first_name: Matthias
  full_name: Thimm, Matthias
  last_name: Thimm
intvolume: '      3242'
language:
- iso: eng
page: 90–101
publication: Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located
  with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event,
  Trier, Germany, September 19, 2022
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: 'User-aware Explications of Ontology Consequences: Levelling Technicality'
type: conference
user_id: '15504'
volume: 3242
year: '2022'
...
---
_id: '52927'
author:
- first_name: Oliver Fernández
  full_name: Gil, Oliver Fernández
  last_name: Gil
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Gil OF, Turhan A-Y. Answering Regular Path Queries Under Approximate Semantics
    in Lightweight Description Logics. In: <i>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</i>.
    AAAI Press; 2021:6340–6348. doi:<a href="https://doi.org/10.1609/AAAI.V35I7.16787">10.1609/AAAI.V35I7.16787</a>'
  apa: Gil, O. F., &#38; Turhan, A.-Y. (2021). Answering Regular Path Queries Under
    Approximate Semantics in Lightweight Description Logics. <i>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</i>, 6340–6348. <a href="https://doi.org/10.1609/AAAI.V35I7.16787">https://doi.org/10.1609/AAAI.V35I7.16787</a>
  bibtex: '@inproceedings{Gil_Turhan_2021, title={Answering Regular Path Queries Under
    Approximate Semantics in Lightweight Description Logics}, DOI={<a href="https://doi.org/10.1609/AAAI.V35I7.16787">10.1609/AAAI.V35I7.16787</a>},
    booktitle={Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021,
    Thirty-Third Conference on Innovative Applications of Artificial Intelligence,
    IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence,
    EAAI 2021, Virtual Event, February 2-9, 2021}, publisher={AAAI Press}, author={Gil,
    Oliver Fernández and Turhan, Anni-Yasmin}, year={2021}, pages={6340–6348} }'
  chicago: Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path
    Queries Under Approximate Semantics in Lightweight Description Logics.” In <i>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</i>, 6340–6348. AAAI Press, 2021. <a href="https://doi.org/10.1609/AAAI.V35I7.16787">https://doi.org/10.1609/AAAI.V35I7.16787</a>.
  ieee: 'O. F. Gil and A.-Y. Turhan, “Answering Regular Path Queries Under Approximate
    Semantics in Lightweight Description Logics,” in <i>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</i>,
    2021, pp. 6340–6348, doi: <a href="https://doi.org/10.1609/AAAI.V35I7.16787">10.1609/AAAI.V35I7.16787</a>.'
  mla: Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries
    Under Approximate Semantics in Lightweight Description Logics.” <i>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</i>, AAAI Press, 2021, pp. 6340–6348, doi:<a href="https://doi.org/10.1609/AAAI.V35I7.16787">10.1609/AAAI.V35I7.16787</a>.
  short: 'O.F. Gil, A.-Y. Turhan, in: Thirty-Fifth AAAI Conference on Artificial Intelligence,
    AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence,
    IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence,
    EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348.'
date_created: 2024-03-26T10:55:06Z
date_updated: 2024-03-26T10:56:06Z
department:
- _id: '888'
doi: 10.1609/AAAI.V35I7.16787
language:
- iso: eng
page: 6340–6348
publication: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third
  Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The
  Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021,
  Virtual Event, February 2-9, 2021
publisher: AAAI Press
status: public
title: Answering Regular Path Queries Under Approximate Semantics in Lightweight Description
  Logics
type: conference
user_id: '9503'
year: '2021'
...
---
_id: '52926'
author:
- first_name: Clemens
  full_name: Dubslaff, Clemens
  last_name: Dubslaff
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: Dubslaff C, Koopmann P, Turhan A-Y. Enhancing Probabilistic Model Checking
    with Ontologies. <i>Formal Aspects Comput</i>. 2021;33(6):885–921. doi:<a href="https://doi.org/10.1007/S00165-021-00549-0">10.1007/S00165-021-00549-0</a>
  apa: Dubslaff, C., Koopmann, P., &#38; Turhan, A.-Y. (2021). Enhancing Probabilistic
    Model Checking with Ontologies. <i>Formal Aspects Comput.</i>, <i>33</i>(6), 885–921.
    <a href="https://doi.org/10.1007/S00165-021-00549-0">https://doi.org/10.1007/S00165-021-00549-0</a>
  bibtex: '@article{Dubslaff_Koopmann_Turhan_2021, title={Enhancing Probabilistic
    Model Checking with Ontologies}, volume={33}, DOI={<a href="https://doi.org/10.1007/S00165-021-00549-0">10.1007/S00165-021-00549-0</a>},
    number={6}, journal={Formal Aspects Comput.}, author={Dubslaff, Clemens and Koopmann,
    Patrick and Turhan, Anni-Yasmin}, year={2021}, pages={885–921} }'
  chicago: 'Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing
    Probabilistic Model Checking with Ontologies.” <i>Formal Aspects Comput.</i> 33,
    no. 6 (2021): 885–921. <a href="https://doi.org/10.1007/S00165-021-00549-0">https://doi.org/10.1007/S00165-021-00549-0</a>.'
  ieee: 'C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model
    Checking with Ontologies,” <i>Formal Aspects Comput.</i>, vol. 33, no. 6, pp.
    885–921, 2021, doi: <a href="https://doi.org/10.1007/S00165-021-00549-0">10.1007/S00165-021-00549-0</a>.'
  mla: Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.”
    <i>Formal Aspects Comput.</i>, vol. 33, no. 6, 2021, pp. 885–921, doi:<a href="https://doi.org/10.1007/S00165-021-00549-0">10.1007/S00165-021-00549-0</a>.
  short: C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021)
    885–921.
date_created: 2024-03-26T10:54:48Z
date_updated: 2024-03-26T10:56:09Z
department:
- _id: '888'
doi: 10.1007/S00165-021-00549-0
intvolume: '        33'
issue: '6'
language:
- iso: eng
page: 885–921
publication: Formal Aspects Comput.
status: public
title: Enhancing Probabilistic Model Checking with Ontologies
type: journal_article
user_id: '9503'
volume: 33
year: '2021'
...
---
_id: '52928'
author:
- first_name: Christian
  full_name: Alrabbaa, Christian
  last_name: Alrabbaa
- first_name: Willi
  full_name: Hieke, Willi
  last_name: Hieke
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Alrabbaa C, Hieke W, Turhan A-Y. Counter Model Transformation for Explaining
    Non-Subsumption in EL. In: Beierle C, Ragni M, Stolzenburg F, Thimm M, eds. <i>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</i>.
    Vol 2961. CEUR Workshop Proceedings. CEUR-WS.org; 2021:9–22.'
  apa: Alrabbaa, C., Hieke, W., &#38; Turhan, A.-Y. (2021). Counter Model Transformation
    for Explaining Non-Subsumption in EL. In C. Beierle, M. Ragni, F. Stolzenburg,
    &#38; M. Thimm (Eds.), <i>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</i> (Vol. 2961, pp. 9–22). CEUR-WS.org.
  bibtex: '@inproceedings{Alrabbaa_Hieke_Turhan_2021, series={CEUR Workshop Proceedings},
    title={Counter Model Transformation for Explaining Non-Subsumption in EL}, volume={2961},
    booktitle={Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located
    with the 44th German Conference on Artificial Intelligence (KI 2021), September
    28, 2021}, publisher={CEUR-WS.org}, author={Alrabbaa, Christian and Hieke, Willi
    and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg,
    Frieder and Thimm, Matthias}, year={2021}, pages={9–22}, collection={CEUR Workshop
    Proceedings} }'
  chicago: Alrabbaa, Christian, Willi Hieke, and Anni-Yasmin Turhan. “Counter Model
    Transformation for Explaining Non-Subsumption in EL.” In <i>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</i>, edited
    by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2961:9–22.
    CEUR Workshop Proceedings. CEUR-WS.org, 2021.
  ieee: C. Alrabbaa, W. Hieke, and A.-Y. Turhan, “Counter Model Transformation for
    Explaining Non-Subsumption in EL,” in <i>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</i>, 2021, vol. 2961, pp. 9–22.
  mla: Alrabbaa, Christian, et al. “Counter Model Transformation for Explaining Non-Subsumption
    in EL.” <i>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</i>, edited by Christoph Beierle et al., vol. 2961, CEUR-WS.org, 2021,
    pp. 9–22.
  short: 'C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg,
    M. Thimm (Eds.), 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, CEUR-WS.org, 2021, pp. 9–22.'
date_created: 2024-03-26T10:55:22Z
date_updated: 2024-10-14T08:05:31Z
department:
- _id: '888'
editor:
- first_name: Christoph
  full_name: Beierle, Christoph
  last_name: Beierle
- first_name: Marco
  full_name: Ragni, Marco
  last_name: Ragni
- first_name: Frieder
  full_name: Stolzenburg, Frieder
  last_name: Stolzenburg
- first_name: Matthias
  full_name: Thimm, Matthias
  last_name: Thimm
intvolume: '      2961'
language:
- iso: eng
page: 9–22
publication: Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located
  with the 44th German Conference on Artificial Intelligence (KI 2021), September
  28, 2021
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Counter Model Transformation for Explaining Non-Subsumption in EL
type: conference
user_id: '15504'
volume: 2961
year: '2021'
...