---
_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'
...
---
_id: '52930'
author:
- first_name: Franz
  full_name: Baader, Franz
  last_name: Baader
- first_name: Stefan
  full_name: Borgwardt, Stefan
  last_name: Borgwardt
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Veronika
  full_name: Thost, Veronika
  last_name: Thost
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: Baader F, Borgwardt S, Koopmann P, Thost V, Turhan A-Y. Semantic Technologies
    for Situation Awareness. <i>Künstliche Intell</i>. 2020;34(4):543–550. doi:<a
    href="https://doi.org/10.1007/S13218-020-00694-3">10.1007/S13218-020-00694-3</a>
  apa: Baader, F., Borgwardt, S., Koopmann, P., Thost, V., &#38; Turhan, A.-Y. (2020).
    Semantic Technologies for Situation Awareness. <i>Künstliche Intell.</i>, <i>34</i>(4),
    543–550. <a href="https://doi.org/10.1007/S13218-020-00694-3">https://doi.org/10.1007/S13218-020-00694-3</a>
  bibtex: '@article{Baader_Borgwardt_Koopmann_Thost_Turhan_2020, title={Semantic Technologies
    for Situation Awareness}, volume={34}, DOI={<a href="https://doi.org/10.1007/S13218-020-00694-3">10.1007/S13218-020-00694-3</a>},
    number={4}, journal={Künstliche Intell.}, author={Baader, Franz and Borgwardt,
    Stefan and Koopmann, Patrick and Thost, Veronika and Turhan, Anni-Yasmin}, year={2020},
    pages={543–550} }'
  chicago: 'Baader, Franz, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, and
    Anni-Yasmin Turhan. “Semantic Technologies for Situation Awareness.” <i>Künstliche
    Intell.</i> 34, no. 4 (2020): 543–550. <a href="https://doi.org/10.1007/S13218-020-00694-3">https://doi.org/10.1007/S13218-020-00694-3</a>.'
  ieee: 'F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A.-Y. Turhan, “Semantic
    Technologies for Situation Awareness,” <i>Künstliche Intell.</i>, vol. 34, no.
    4, pp. 543–550, 2020, doi: <a href="https://doi.org/10.1007/S13218-020-00694-3">10.1007/S13218-020-00694-3</a>.'
  mla: Baader, Franz, et al. “Semantic Technologies for Situation Awareness.” <i>Künstliche
    Intell.</i>, vol. 34, no. 4, 2020, pp. 543–550, doi:<a href="https://doi.org/10.1007/S13218-020-00694-3">10.1007/S13218-020-00694-3</a>.
  short: F. Baader, S. Borgwardt, P. Koopmann, V. Thost, A.-Y. Turhan, Künstliche
    Intell. 34 (2020) 543–550.
date_created: 2024-03-26T10:55:50Z
date_updated: 2024-03-26T10:56:01Z
department:
- _id: '888'
doi: 10.1007/S13218-020-00694-3
intvolume: '        34'
issue: '4'
language:
- iso: eng
page: 543–550
publication: Künstliche Intell.
status: public
title: Semantic Technologies for Situation Awareness
type: journal_article
user_id: '9503'
volume: 34
year: '2020'
...
---
_id: '52936'
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. Give Inconsistency a Chance: Semantics
    for Ontology-Mediated Verification. In: Borgwardt S, Meyer T, eds. <i>Proceedings
    of the 33rd International Workshop on Description Logics (DL 2020) Co-Located
    with the 17th International Conference on Principles of Knowledge Representation
    and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th,
    2020</i>. Vol 2663. CEUR Workshop Proceedings. CEUR-WS.org; 2020.'
  apa: 'Dubslaff, C., Koopmann, P., &#38; Turhan, A.-Y. (2020). Give Inconsistency
    a Chance: Semantics for Ontology-Mediated Verification. In S. Borgwardt &#38;
    T. Meyer (Eds.), <i>Proceedings of the 33rd International Workshop on Description
    Logics (DL 2020) co-located with the 17th International Conference on Principles
    of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece],
    September 12th to 14th, 2020</i> (Vol. 2663). CEUR-WS.org.'
  bibtex: '@inproceedings{Dubslaff_Koopmann_Turhan_2020, series={CEUR Workshop Proceedings},
    title={Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification},
    volume={2663}, booktitle={Proceedings of the 33rd International Workshop on Description
    Logics (DL 2020) co-located with the 17th International Conference on Principles
    of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece],
    September 12th to 14th, 2020}, publisher={CEUR-WS.org}, author={Dubslaff, Clemens
    and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Borgwardt, Stefan and
    Meyer, Thomas}, year={2020}, collection={CEUR Workshop Proceedings} }'
  chicago: 'Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Give Inconsistency
    a Chance: Semantics for Ontology-Mediated Verification.” In <i>Proceedings of
    the 33rd International Workshop on Description Logics (DL 2020) Co-Located with
    the 17th International Conference on Principles of Knowledge Representation and
    Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>,
    edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings.
    CEUR-WS.org, 2020.'
  ieee: 'C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Give Inconsistency a Chance:
    Semantics for Ontology-Mediated Verification,” in <i>Proceedings of the 33rd International
    Workshop on Description Logics (DL 2020) co-located with the 17th International
    Conference on Principles of Knowledge Representation and Reasoning (KR 2020),
    Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>, 2020, vol. 2663.'
  mla: 'Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated
    Verification.” <i>Proceedings of the 33rd International Workshop on Description
    Logics (DL 2020) Co-Located with the 17th International Conference on Principles
    of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece],
    September 12th to 14th, 2020</i>, edited by Stefan Borgwardt and Thomas Meyer,
    vol. 2663, CEUR-WS.org, 2020.'
  short: 'C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.),
    Proceedings of the 33rd International Workshop on Description Logics (DL 2020)
    Co-Located with the 17th International Conference on Principles of Knowledge Representation
    and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th,
    2020, CEUR-WS.org, 2020.'
date_created: 2024-03-26T11:22:26Z
date_updated: 2024-10-14T08:06:21Z
department:
- _id: '888'
editor:
- first_name: Stefan
  full_name: Borgwardt, Stefan
  last_name: Borgwardt
- first_name: Thomas
  full_name: Meyer, Thomas
  last_name: Meyer
intvolume: '      2663'
language:
- iso: eng
publication: Proceedings of the 33rd International Workshop on Description Logics
  (DL 2020) co-located with the 17th International Conference on Principles of Knowledge
  Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September
  12th to 14th, 2020
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: 'Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification'
type: conference
user_id: '15504'
volume: 2663
year: '2020'
...
---
_id: '52803'
author:
- first_name: Stefan
  full_name: Borgwardt, Stefan
  last_name: Borgwardt
- first_name: Theofilos
  full_name: Mailis, Theofilos
  last_name: Mailis
- 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: Borgwardt S, Mailis T, Peñaloza R, Turhan A-Y. Answering Fuzzy Conjunctive
    Queries Over Finitely Valued Fuzzy Ontologies. <i>Journal on Data Semantics</i>.
    2016;5(2):55-75. doi:<a href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>
  apa: Borgwardt, S., Mailis, T., Peñaloza, R., &#38; Turhan, A.-Y. (2016). Answering
    Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. <i>Journal on
    Data Semantics</i>, <i>5</i>(2), 55–75. <a href="https://doi.org/10.1007/s13740-015-0055-y">https://doi.org/10.1007/s13740-015-0055-y</a>
  bibtex: '@article{Borgwardt_Mailis_Peñaloza_Turhan_2016, title={Answering Fuzzy
    Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, volume={5}, DOI={<a
    href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>},
    number={2}, journal={Journal on Data Semantics}, publisher={Springer Science and
    Business Media LLC}, author={Borgwardt, Stefan and Mailis, Theofilos and Peñaloza,
    Rafael and Turhan, Anni-Yasmin}, year={2016}, pages={55–75} }'
  chicago: 'Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin
    Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.”
    <i>Journal on Data Semantics</i> 5, no. 2 (2016): 55–75. <a href="https://doi.org/10.1007/s13740-015-0055-y">https://doi.org/10.1007/s13740-015-0055-y</a>.'
  ieee: 'S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy
    Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” <i>Journal on Data
    Semantics</i>, vol. 5, no. 2, pp. 55–75, 2016, doi: <a href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>.'
  mla: Borgwardt, Stefan, et al. “Answering Fuzzy Conjunctive Queries Over Finitely
    Valued Fuzzy Ontologies.” <i>Journal on Data Semantics</i>, vol. 5, no. 2, Springer
    Science and Business Media LLC, 2016, pp. 55–75, doi:<a href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>.
  short: S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics
    5 (2016) 55–75.
date_created: 2024-03-25T09:23:39Z
date_updated: 2024-03-25T13:50:33Z
department:
- _id: '888'
doi: 10.1007/s13740-015-0055-y
intvolume: '         5'
issue: '2'
keyword:
- Artificial Intelligence
- Computer Networks and Communications
- Information Systems
language:
- iso: eng
page: 55-75
publication: Journal on Data Semantics
publication_identifier:
  issn:
  - 1861-2032
  - 1861-2040
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
type: journal_article
user_id: '9503'
volume: 5
year: '2016'
...