---
_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: '56490'
author:
- 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: 'Hieke W, Turhan A-Y. Towards Model Transformation in Description Logics -
    Investigating the Case of Transductions. In: Beierle C, Ragni M, Stolzenburg F,
    Thimm M, eds. <i>Proceedings of the 6th Workshop on Formal and Cognitive Reasoning
    Co-Located with 43rd German Conference on Artificial Intelligence (KI-2020), Online
    / Bamberg, Germany, September 22, 2020</i>. Vol 2680. CEUR Workshop Proceedings.
    CEUR-WS.org; 2020:69–82.'
  apa: Hieke, W., &#38; Turhan, A.-Y. (2020). Towards Model Transformation in Description
    Logics - Investigating the Case of Transductions. In C. Beierle, M. Ragni, F.
    Stolzenburg, &#38; M. Thimm (Eds.), <i>Proceedings of the 6th Workshop on Formal
    and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence
    (KI-2020), Online / Bamberg, Germany, September 22, 2020</i> (Vol. 2680, pp. 69–82).
    CEUR-WS.org.
  bibtex: '@inproceedings{Hieke_Turhan_2020, series={CEUR Workshop Proceedings}, title={Towards
    Model Transformation in Description Logics - Investigating the Case of Transductions},
    volume={2680}, booktitle={Proceedings of the 6th Workshop on Formal and Cognitive
    Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020),
    Online / Bamberg, Germany, September 22, 2020}, publisher={CEUR-WS.org}, author={Hieke,
    Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and
    Stolzenburg, Frieder and Thimm, Matthias}, year={2020}, pages={69–82}, collection={CEUR
    Workshop Proceedings} }'
  chicago: Hieke, Willi, and Anni-Yasmin Turhan. “Towards Model Transformation in
    Description Logics - Investigating the Case of Transductions.” In <i>Proceedings
    of the 6th Workshop on Formal and Cognitive Reasoning Co-Located with 43rd German
    Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September
    22, 2020</i>, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and
    Matthias Thimm, 2680:69–82. CEUR Workshop Proceedings. CEUR-WS.org, 2020.
  ieee: W. Hieke and A.-Y. Turhan, “Towards Model Transformation in Description Logics
    - Investigating the Case of Transductions,” in <i>Proceedings of the 6th Workshop
    on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial
    Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020</i>, 2020,
    vol. 2680, pp. 69–82.
  mla: Hieke, Willi, and Anni-Yasmin Turhan. “Towards Model Transformation in Description
    Logics - Investigating the Case of Transductions.” <i>Proceedings of the 6th Workshop
    on Formal and Cognitive Reasoning Co-Located with 43rd German Conference on Artificial
    Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020</i>, edited
    by Christoph Beierle et al., vol. 2680, CEUR-WS.org, 2020, pp. 69–82.
  short: 'W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm
    (Eds.), Proceedings of the 6th Workshop on Formal and Cognitive Reasoning Co-Located
    with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg,
    Germany, September 22, 2020, CEUR-WS.org, 2020, pp. 69–82.'
date_created: 2024-10-10T12:21:18Z
date_updated: 2024-10-10T12:21:54Z
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: '      2680'
language:
- iso: eng
page: 69–82
publication: Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located
  with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg,
  Germany, September 22, 2020
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Towards Model Transformation in Description Logics - Investigating the Case
  of Transductions
type: conference
user_id: '15504'
volume: 2680
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: '56489'
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. Relaxed Regular Path Queries in Lightweight DLs (Extended
    Abstract). 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: Gil, O. F., &#38; Turhan, A.-Y. (2020). Relaxed Regular Path Queries in Lightweight
    DLs (Extended Abstract). 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{Gil_Turhan_2020, series={CEUR Workshop Proceedings}, title={Relaxed
    Regular Path Queries in Lightweight DLs (Extended Abstract)}, 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={Gil, Oliver Fernández and Turhan, Anni-Yasmin},
    editor={Borgwardt, Stefan and Meyer, Thomas}, year={2020}, collection={CEUR Workshop
    Proceedings} }'
  chicago: Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Relaxed Regular Path Queries
    in Lightweight DLs (Extended Abstract).” 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: O. F. Gil and A.-Y. Turhan, “Relaxed Regular Path Queries in Lightweight DLs
    (Extended Abstract),” 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: Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Relaxed Regular Path Queries
    in Lightweight DLs (Extended Abstract).” <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: 'O.F. Gil, 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-10-10T12:19:43Z
date_updated: 2024-10-14T08:06:57Z
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: Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)
type: conference
user_id: '15504'
volume: 2663
year: '2020'
...
---
_id: '56491'
author:
- first_name: Camille
  full_name: Bourgaux, Camille
  last_name: Bourgaux
- 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: Bourgaux C, Koopmann P, Turhan A-Y. Ontology-mediated query answering over
    temporal and inconsistent data. <i>Semantic Web</i>. 2019;10(3):475–521. doi:<a
    href="https://doi.org/10.3233/SW-180337">10.3233/SW-180337</a>
  apa: Bourgaux, C., Koopmann, P., &#38; Turhan, A.-Y. (2019). Ontology-mediated query
    answering over temporal and inconsistent data. <i>Semantic Web</i>, <i>10</i>(3),
    475–521. <a href="https://doi.org/10.3233/SW-180337">https://doi.org/10.3233/SW-180337</a>
  bibtex: '@article{Bourgaux_Koopmann_Turhan_2019, title={Ontology-mediated query
    answering over temporal and inconsistent data}, volume={10}, DOI={<a href="https://doi.org/10.3233/SW-180337">10.3233/SW-180337</a>},
    number={3}, journal={Semantic Web}, author={Bourgaux, Camille and Koopmann, Patrick
    and Turhan, Anni-Yasmin}, year={2019}, pages={475–521} }'
  chicago: 'Bourgaux, Camille, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated
    Query Answering over Temporal and Inconsistent Data.” <i>Semantic Web</i> 10,
    no. 3 (2019): 475–521. <a href="https://doi.org/10.3233/SW-180337">https://doi.org/10.3233/SW-180337</a>.'
  ieee: 'C. Bourgaux, P. Koopmann, and A.-Y. Turhan, “Ontology-mediated query answering
    over temporal and inconsistent data,” <i>Semantic Web</i>, vol. 10, no. 3, pp.
    475–521, 2019, doi: <a href="https://doi.org/10.3233/SW-180337">10.3233/SW-180337</a>.'
  mla: Bourgaux, Camille, et al. “Ontology-Mediated Query Answering over Temporal
    and Inconsistent Data.” <i>Semantic Web</i>, vol. 10, no. 3, 2019, pp. 475–521,
    doi:<a href="https://doi.org/10.3233/SW-180337">10.3233/SW-180337</a>.
  short: C. Bourgaux, P. Koopmann, A.-Y. Turhan, Semantic Web 10 (2019) 475–521.
date_created: 2024-10-10T12:22:53Z
date_updated: 2024-10-10T12:23:22Z
doi: 10.3233/SW-180337
intvolume: '        10'
issue: '3'
language:
- iso: eng
page: 475–521
publication: Semantic Web
status: public
title: Ontology-mediated query answering over temporal and inconsistent data
type: journal_article
user_id: '15504'
volume: 10
year: '2019'
...
---
_id: '56493'
author:
- first_name: Carsten
  full_name: Lutz, Carsten
  last_name: Lutz
- first_name: Uli
  full_name: Sattler, Uli
  last_name: Sattler
- first_name: Cesare
  full_name: Tinelli, Cesare
  last_name: Tinelli
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
- first_name: Frank
  full_name: Wolter, Frank
  last_name: Wolter
citation:
  ama: 'Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F. A Tour of Franz Baader’s
    Contributions to Knowledge Representation and Automated Deduction. In: Lutz C,
    Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. <i>Description Logic, Theory
    Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of
    His 60th Birthday</i>. Vol 11560. Lecture Notes in Computer Science. Springer;
    2019:1–14. doi:<a href="https://doi.org/10.1007/978-3-030-22102-7_1">10.1007/978-3-030-22102-7_1</a>'
  apa: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., &#38; Wolter, F. (2019).
    A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated
    Deduction. In C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, &#38; F. Wolter (Eds.),
    <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz
    Baader on the Occasion of His 60th Birthday</i> (Vol. 11560, pp. 1–14). Springer.
    <a href="https://doi.org/10.1007/978-3-030-22102-7_1">https://doi.org/10.1007/978-3-030-22102-7_1</a>
  bibtex: '@inproceedings{Lutz_Sattler_Tinelli_Turhan_Wolter_2019, series={Lecture
    Notes in Computer Science}, title={A Tour of Franz Baader’s Contributions to Knowledge
    Representation and Automated Deduction}, volume={11560}, DOI={<a href="https://doi.org/10.1007/978-3-030-22102-7_1">10.1007/978-3-030-22102-7_1</a>},
    booktitle={Description Logic, Theory Combination, and All That - Essays Dedicated
    to Franz Baader on the Occasion of His 60th Birthday}, publisher={Springer}, author={Lutz,
    Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter,
    Frank}, editor={Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan,
    Anni-Yasmin and Wolter, Frank}, year={2019}, pages={1–14}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank
    Wolter. “A Tour of Franz Baader’s Contributions to Knowledge Representation and
    Automated Deduction.” In <i>Description Logic, Theory Combination, and All That
    - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>, edited
    by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter,
    11560:1–14. Lecture Notes in Computer Science. Springer, 2019. <a href="https://doi.org/10.1007/978-3-030-22102-7_1">https://doi.org/10.1007/978-3-030-22102-7_1</a>.
  ieee: 'C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, “A Tour of
    Franz Baader’s Contributions to Knowledge Representation and Automated Deduction,”
    in <i>Description Logic, Theory Combination, and All That - Essays Dedicated to
    Franz Baader on the Occasion of His 60th Birthday</i>, 2019, vol. 11560, pp. 1–14,
    doi: <a href="https://doi.org/10.1007/978-3-030-22102-7_1">10.1007/978-3-030-22102-7_1</a>.'
  mla: Lutz, Carsten, et al. “A Tour of Franz Baader’s Contributions to Knowledge
    Representation and Automated Deduction.” <i>Description Logic, Theory Combination,
    and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>,
    edited by Carsten Lutz et al., vol. 11560, Springer, 2019, pp. 1–14, doi:<a href="https://doi.org/10.1007/978-3-030-22102-7_1">10.1007/978-3-030-22102-7_1</a>.
  short: 'C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, in: C. Lutz, U.
    Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter (Eds.), Description Logic, Theory
    Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of
    His 60th Birthday, Springer, 2019, pp. 1–14.'
date_created: 2024-10-10T12:25:17Z
date_updated: 2024-10-10T12:25:41Z
doi: 10.1007/978-3-030-22102-7_1
editor:
- first_name: Carsten
  full_name: Lutz, Carsten
  last_name: Lutz
- first_name: Uli
  full_name: Sattler, Uli
  last_name: Sattler
- first_name: Cesare
  full_name: Tinelli, Cesare
  last_name: Tinelli
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  last_name: Turhan
- first_name: Frank
  full_name: Wolter, Frank
  last_name: Wolter
intvolume: '     11560'
language:
- iso: eng
page: 1–14
publication: Description Logic, Theory Combination, and All That - Essays Dedicated
  to Franz Baader on the Occasion of His 60th Birthday
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated
  Deduction
type: conference
user_id: '15504'
volume: 11560
year: '2019'
...
---
_id: '56498'
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. Ontology-Mediated Probabilistic Model
    Checking. In: Ahrendt W, Tarifa SLT, eds. <i>Integrated Formal Methods - 15th
    International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i>.
    Vol 11918. Lecture Notes in Computer Science. Springer; 2019:194–211. doi:<a href="https://doi.org/10.1007/978-3-030-34968-4_11">10.1007/978-3-030-34968-4_11</a>'
  apa: Dubslaff, C., Koopmann, P., &#38; Turhan, A.-Y. (2019). Ontology-Mediated Probabilistic
    Model Checking. In W. Ahrendt &#38; S. L. T. Tarifa (Eds.), <i>Integrated Formal
    Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6,
    2019, Proceedings</i> (Vol. 11918, pp. 194–211). Springer. <a href="https://doi.org/10.1007/978-3-030-34968-4_11">https://doi.org/10.1007/978-3-030-34968-4_11</a>
  bibtex: '@inproceedings{Dubslaff_Koopmann_Turhan_2019, series={Lecture Notes in
    Computer Science}, title={Ontology-Mediated Probabilistic Model Checking}, volume={11918},
    DOI={<a href="https://doi.org/10.1007/978-3-030-34968-4_11">10.1007/978-3-030-34968-4_11</a>},
    booktitle={Integrated Formal Methods - 15th International Conference, IFM 2019,
    Bergen, Norway, December 2-6, 2019, Proceedings}, publisher={Springer}, author={Dubslaff,
    Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Ahrendt, Wolfgang
    and Tarifa, Silvia Lizeth Tapia}, year={2019}, pages={194–211}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated
    Probabilistic Model Checking.” In <i>Integrated Formal Methods - 15th International
    Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i>, edited
    by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, 11918:194–211. Lecture Notes
    in Computer Science. Springer, 2019. <a href="https://doi.org/10.1007/978-3-030-34968-4_11">https://doi.org/10.1007/978-3-030-34968-4_11</a>.
  ieee: 'C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Ontology-Mediated Probabilistic
    Model Checking,” in <i>Integrated Formal Methods - 15th International Conference,
    IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i>, 2019, vol. 11918,
    pp. 194–211, doi: <a href="https://doi.org/10.1007/978-3-030-34968-4_11">10.1007/978-3-030-34968-4_11</a>.'
  mla: Dubslaff, Clemens, et al. “Ontology-Mediated Probabilistic Model Checking.”
    <i>Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen,
    Norway, December 2-6, 2019, Proceedings</i>, edited by Wolfgang Ahrendt and Silvia
    Lizeth Tapia Tarifa, vol. 11918, Springer, 2019, pp. 194–211, doi:<a href="https://doi.org/10.1007/978-3-030-34968-4_11">10.1007/978-3-030-34968-4_11</a>.
  short: 'C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: W. Ahrendt, S.L.T. Tarifa (Eds.),
    Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway,
    December 2-6, 2019, Proceedings, Springer, 2019, pp. 194–211.'
date_created: 2024-10-10T12:27:40Z
date_updated: 2024-10-10T12:28:01Z
doi: 10.1007/978-3-030-34968-4_11
editor:
- first_name: Wolfgang
  full_name: Ahrendt, Wolfgang
  last_name: Ahrendt
- first_name: Silvia Lizeth Tapia
  full_name: Tarifa, Silvia Lizeth Tapia
  last_name: Tarifa
intvolume: '     11918'
language:
- iso: eng
page: 194–211
publication: Integrated Formal Methods - 15th International Conference, IFM 2019,
  Bergen, Norway, December 2-6, 2019, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Ontology-Mediated Probabilistic Model Checking
type: conference
user_id: '15504'
volume: 11918
year: '2019'
...
---
_id: '56496'
author:
- first_name: Christian
  full_name: Alrabbaa, Christian
  last_name: Alrabbaa
- 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: 'Alrabbaa C, Koopmann P, Turhan A-Y. Practical Query Rewriting for DL-Lite
    with Numerical Predicates. In: Calvanese D, Iocchi L, eds. <i>GCAI 2019. Proceedings
    of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy,
    17-19 September 2019</i>. Vol 65. EPiC Series in Computing. EasyChair; 2019:15–27.
    doi:<a href="https://doi.org/10.29007/GQLL">10.29007/GQLL</a>'
  apa: Alrabbaa, C., Koopmann, P., &#38; Turhan, A.-Y. (2019). Practical Query Rewriting
    for DL-Lite with Numerical Predicates. In D. Calvanese &#38; L. Iocchi (Eds.),
    <i>GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence,
    Bozen/Bolzano, Italy, 17-19 September 2019</i> (Vol. 65, pp. 15–27). EasyChair.
    <a href="https://doi.org/10.29007/GQLL">https://doi.org/10.29007/GQLL</a>
  bibtex: '@inproceedings{Alrabbaa_Koopmann_Turhan_2019, series={EPiC Series in Computing},
    title={Practical Query Rewriting for DL-Lite with Numerical Predicates}, volume={65},
    DOI={<a href="https://doi.org/10.29007/GQLL">10.29007/GQLL</a>}, booktitle={GCAI
    2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano,
    Italy, 17-19 September 2019}, publisher={EasyChair}, author={Alrabbaa, Christian
    and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Iocchi,
    Luca}, year={2019}, pages={15–27}, collection={EPiC Series in Computing} }'
  chicago: Alrabbaa, Christian, Patrick Koopmann, and Anni-Yasmin Turhan. “Practical
    Query Rewriting for DL-Lite with Numerical Predicates.” In <i>GCAI 2019. Proceedings
    of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy,
    17-19 September 2019</i>, edited by Diego Calvanese and Luca Iocchi, 65:15–27.
    EPiC Series in Computing. EasyChair, 2019. <a href="https://doi.org/10.29007/GQLL">https://doi.org/10.29007/GQLL</a>.
  ieee: 'C. Alrabbaa, P. Koopmann, and A.-Y. Turhan, “Practical Query Rewriting for
    DL-Lite with Numerical Predicates,” in <i>GCAI 2019. Proceedings of the 5th Global
    Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019</i>,
    2019, vol. 65, pp. 15–27, doi: <a href="https://doi.org/10.29007/GQLL">10.29007/GQLL</a>.'
  mla: Alrabbaa, Christian, et al. “Practical Query Rewriting for DL-Lite with Numerical
    Predicates.” <i>GCAI 2019. Proceedings of the 5th Global Conference on Artificial
    Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019</i>, edited by Diego
    Calvanese and Luca Iocchi, vol. 65, EasyChair, 2019, pp. 15–27, doi:<a href="https://doi.org/10.29007/GQLL">10.29007/GQLL</a>.
  short: 'C. Alrabbaa, P. Koopmann, A.-Y. Turhan, in: D. Calvanese, L. Iocchi (Eds.),
    GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence,
    Bozen/Bolzano, Italy, 17-19 September 2019, EasyChair, 2019, pp. 15–27.'
date_created: 2024-10-10T12:26:25Z
date_updated: 2024-10-10T12:26:48Z
doi: 10.29007/GQLL
editor:
- first_name: Diego
  full_name: Calvanese, Diego
  last_name: Calvanese
- first_name: Luca
  full_name: Iocchi, Luca
  last_name: Iocchi
intvolume: '        65'
language:
- iso: eng
page: 15–27
publication: GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence,
  Bozen/Bolzano, Italy, 17-19 September 2019
publisher: EasyChair
series_title: EPiC Series in Computing
status: public
title: Practical Query Rewriting for DL-Lite with Numerical Predicates
type: conference
user_id: '15504'
volume: 65
year: '2019'
...
---
_id: '56499'
author:
- first_name: Axel-Cyrille Ngonga
  full_name: Ngomo, Axel-Cyrille Ngonga
  last_name: Ngomo
- first_name: Felix
  full_name: Conrads, Felix
  last_name: Conrads
- first_name: Maximilian
  full_name: Pensel, Maximilian
  last_name: Pensel
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Ngomo A-CN, Conrads F, Pensel M, Turhan A-Y. Congenial Benchmarking of RDF
    Storage Solutions. In: Kejriwal M, Szekely PA, Troncy R, eds. <i>Proceedings of
    the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del
    Rey, CA, USA, November 19-21, 2019</i>. ACM; 2019:213–221. doi:<a href="https://doi.org/10.1145/3360901.3364429">10.1145/3360901.3364429</a>'
  apa: Ngomo, A.-C. N., Conrads, F., Pensel, M., &#38; Turhan, A.-Y. (2019). Congenial
    Benchmarking of RDF Storage Solutions. In M. Kejriwal, P. A. Szekely, &#38; R.
    Troncy (Eds.), <i>Proceedings of the 10th International Conference on Knowledge
    Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019</i> (pp.
    213–221). ACM. <a href="https://doi.org/10.1145/3360901.3364429">https://doi.org/10.1145/3360901.3364429</a>
  bibtex: '@inproceedings{Ngomo_Conrads_Pensel_Turhan_2019, title={Congenial Benchmarking
    of RDF Storage Solutions}, DOI={<a href="https://doi.org/10.1145/3360901.3364429">10.1145/3360901.3364429</a>},
    booktitle={Proceedings of the 10th International Conference on Knowledge Capture,
    (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019}, publisher={ACM},
    author={Ngomo, Axel-Cyrille Ngonga and Conrads, Felix and Pensel, Maximilian and
    Turhan, Anni-Yasmin}, editor={Kejriwal, Mayank and Szekely, Pedro A. and Troncy,
    Raphaël}, year={2019}, pages={213–221} }'
  chicago: Ngomo, Axel-Cyrille Ngonga, Felix Conrads, Maximilian Pensel, and Anni-Yasmin
    Turhan. “Congenial Benchmarking of RDF Storage Solutions.” In <i>Proceedings of
    the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del
    Rey, CA, USA, November 19-21, 2019</i>, edited by Mayank Kejriwal, Pedro A. Szekely,
    and Raphaël Troncy, 213–221. ACM, 2019. <a href="https://doi.org/10.1145/3360901.3364429">https://doi.org/10.1145/3360901.3364429</a>.
  ieee: 'A.-C. N. Ngomo, F. Conrads, M. Pensel, and A.-Y. Turhan, “Congenial Benchmarking
    of RDF Storage Solutions,” in <i>Proceedings of the 10th International Conference
    on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019</i>,
    2019, pp. 213–221, doi: <a href="https://doi.org/10.1145/3360901.3364429">10.1145/3360901.3364429</a>.'
  mla: Ngomo, Axel-Cyrille Ngonga, et al. “Congenial Benchmarking of RDF Storage Solutions.”
    <i>Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP)
    2019, Marina Del Rey, CA, USA, November 19-21, 2019</i>, edited by Mayank Kejriwal
    et al., ACM, 2019, pp. 213–221, doi:<a href="https://doi.org/10.1145/3360901.3364429">10.1145/3360901.3364429</a>.
  short: 'A.-C.N. Ngomo, F. Conrads, M. Pensel, A.-Y. Turhan, in: M. Kejriwal, P.A.
    Szekely, R. Troncy (Eds.), Proceedings of the 10th International Conference on
    Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019,
    ACM, 2019, pp. 213–221.'
date_created: 2024-10-10T12:28:33Z
date_updated: 2024-10-10T12:29:02Z
doi: 10.1145/3360901.3364429
editor:
- first_name: Mayank
  full_name: Kejriwal, Mayank
  last_name: Kejriwal
- first_name: Pedro A.
  full_name: Szekely, Pedro A.
  last_name: Szekely
- first_name: Raphaël
  full_name: Troncy, Raphaël
  last_name: Troncy
language:
- iso: eng
page: 213–221
publication: Proceedings of the 10th International Conference on Knowledge Capture,
  (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019
publisher: ACM
status: public
title: Congenial Benchmarking of RDF Storage Solutions
type: conference
user_id: '15504'
year: '2019'
...
---
_id: '56502'
citation:
  ama: Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. <i>Description Logic,
    Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion
    of His 60th Birthday</i>. Vol 11560. Springer; 2019. doi:<a href="https://doi.org/10.1007/978-3-030-22102-7">10.1007/978-3-030-22102-7</a>
  apa: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., &#38; Wolter, F. (Eds.).
    (2019). <i>Description Logic, Theory Combination, and All That - Essays Dedicated
    to Franz Baader on the Occasion of His 60th Birthday</i> (Vol. 11560). Springer.
    <a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a>
  bibtex: '@book{Lutz_Sattler_Tinelli_Turhan_Wolter_2019, series={Lecture Notes in
    Computer Science}, title={Description Logic, Theory Combination, and All That
    - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}, volume={11560},
    DOI={<a href="https://doi.org/10.1007/978-3-030-22102-7">10.1007/978-3-030-22102-7</a>},
    publisher={Springer}, year={2019}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank
    Wolter, eds. <i>Description Logic, Theory Combination, and All That - Essays Dedicated
    to Franz Baader on the Occasion of His 60th Birthday</i>. Vol. 11560. Lecture
    Notes in Computer Science. Springer, 2019. <a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a>.
  ieee: C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, Eds., <i>Description
    Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on
    the Occasion of His 60th Birthday</i>, vol. 11560. Springer, 2019.
  mla: Lutz, Carsten, et al., editors. <i>Description Logic, Theory Combination, and
    All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>.
    Springer, 2019, doi:<a href="https://doi.org/10.1007/978-3-030-22102-7">10.1007/978-3-030-22102-7</a>.
  short: C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, eds., Description
    Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on
    the Occasion of His 60th Birthday, Springer, 2019.
date_created: 2024-10-10T12:31:12Z
date_updated: 2024-10-10T12:31:39Z
doi: 10.1007/978-3-030-22102-7
editor:
- first_name: Carsten
  full_name: Lutz, Carsten
  last_name: Lutz
- first_name: Uli
  full_name: Sattler, Uli
  last_name: Sattler
- first_name: Cesare
  full_name: Tinelli, Cesare
  last_name: Tinelli
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
- first_name: Frank
  full_name: Wolter, Frank
  last_name: Wolter
intvolume: '     11560'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-030-22101-0
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz
  Baader on the Occasion of His 60th Birthday
type: conference_editor
user_id: '15504'
volume: 11560
year: '2019'
...
---
_id: '56500'
author:
- 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: 'Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions
    - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner. In: Fodor
    P, Montali M, Calvanese D, Roman D, eds. ; 2019.'
  apa: Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2019). <i>Efficient TBox Reasoning
    with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer
    Reasoner</i> (P. Fodor, M. Montali, D. Calvanese, &#38; D. Roman, Eds.).
  bibtex: '@inproceedings{Michel_Turhan_Zarrieß_2019, title={Efficient TBox Reasoning
    with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer
    Reasoner}, author={Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin},
    editor={Fodor, Paul and Montali, Marco and Calvanese, Diego and Roman, Dumitru},
    year={2019} }'
  chicago: Michel, Friedrich, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient
    TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer
    Reasoner.” edited by Paul Fodor, Marco Montali, Diego Calvanese, and Dumitru Roman,
    2019.
  ieee: F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value
    Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner,”
    2019.
  mla: Michel, Friedrich, et al. <i>Efficient TBox Reasoning with Value Restrictions
    - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner</i>. Edited
    by Paul Fodor et al., 2019.
  short: 'F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese,
    D. Roman (Eds.), 2019.'
date_created: 2024-10-10T12:29:32Z
date_updated: 2024-10-10T12:30:38Z
editor:
- first_name: Paul
  full_name: Fodor, Paul
  last_name: Fodor
- first_name: Marco
  full_name: Montali, Marco
  last_name: Montali
- first_name: Diego
  full_name: Calvanese, Diego
  last_name: Calvanese
- first_name: Dumitru
  full_name: Roman, Dumitru
  last_name: Roman
language:
- iso: eng
status: public
title: Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o
  \textbackslashtextitwer Reasoner
type: conference
user_id: '15504'
year: '2019'
...
---
_id: '56508'
citation:
  ama: Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. <i>Proceedings of the Second Workshop
    on Logics for Reasoning about Preferences, Uncertainty, and Vagueness Co-Located
    with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR
    2018, Oxford, UK, July 19th, 2018</i>. Vol 2157. CEUR-WS.org; 2018.
  apa: Lukasiewicz, T., Peñaloza, R., &#38; Turhan, A.-Y. (Eds.). (2018). <i>Proceedings
    of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty,
    and Vagueness co-located with the 9th International Joint Conference on Automated
    Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018</i> (Vol. 2157). CEUR-WS.org.
  bibtex: '@book{Lukasiewicz_Peñaloza_Turhan_2018, series={CEUR Workshop Proceedings},
    title={Proceedings of the Second Workshop on Logics for Reasoning about Preferences,
    Uncertainty, and Vagueness co-located with the 9th International Joint Conference
    on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018}, volume={2157},
    publisher={CEUR-WS.org}, year={2018}, collection={CEUR Workshop Proceedings} }'
  chicago: Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. <i>Proceedings
    of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty,
    and Vagueness Co-Located with the 9th International Joint Conference on Automated
    Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018</i>. Vol. 2157. CEUR Workshop
    Proceedings. CEUR-WS.org, 2018.
  ieee: T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., <i>Proceedings of the
    Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness
    co-located with the 9th International Joint Conference on Automated Reasoning,
    PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018</i>, vol. 2157. CEUR-WS.org, 2018.
  mla: Lukasiewicz, Thomas, et al., editors. <i>Proceedings of the Second Workshop
    on Logics for Reasoning about Preferences, Uncertainty, and Vagueness Co-Located
    with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR
    2018, Oxford, UK, July 19th, 2018</i>. CEUR-WS.org, 2018.
  short: T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, eds., Proceedings of the Second
    Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness
    Co-Located with the 9th International Joint Conference on Automated Reasoning,
    PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018, CEUR-WS.org, 2018.
date_created: 2024-10-10T12:36:14Z
date_updated: 2024-10-10T12:36:33Z
editor:
- first_name: Thomas
  full_name: Lukasiewicz, Thomas
  last_name: Lukasiewicz
- 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
intvolume: '      2157'
language:
- iso: eng
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Proceedings of the Second Workshop on Logics for Reasoning about Preferences,
  Uncertainty, and Vagueness co-located with the 9th International Joint Conference
  on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018
type: conference_editor
user_id: '15504'
volume: 2157
year: '2018'
...
---
_id: '56509'
citation:
  ama: 'Trollmann F, Turhan A-Y, eds. <i>KI 2018: Advances in Artificial Intelligence
    - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings</i>.
    Vol 11117. Springer; 2018. doi:<a href="https://doi.org/10.1007/978-3-030-00111-7">10.1007/978-3-030-00111-7</a>'
  apa: 'Trollmann, F., &#38; Turhan, A.-Y. (Eds.). (2018). <i>KI 2018: Advances in
    Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September
    24-28, 2018, Proceedings</i> (Vol. 11117). Springer. <a href="https://doi.org/10.1007/978-3-030-00111-7">https://doi.org/10.1007/978-3-030-00111-7</a>'
  bibtex: '@book{Trollmann_Turhan_2018, series={Lecture Notes in Computer Science},
    title={KI 2018: Advances in Artificial Intelligence - 41st German Conference on
    AI, Berlin, Germany, September 24-28, 2018, Proceedings}, volume={11117}, DOI={<a
    href="https://doi.org/10.1007/978-3-030-00111-7">10.1007/978-3-030-00111-7</a>},
    publisher={Springer}, year={2018}, collection={Lecture Notes in Computer Science}
    }'
  chicago: 'Trollmann, Frank, and Anni-Yasmin Turhan, eds. <i>KI 2018: Advances in
    Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September
    24-28, 2018, Proceedings</i>. Vol. 11117. Lecture Notes in Computer Science. Springer,
    2018. <a href="https://doi.org/10.1007/978-3-030-00111-7">https://doi.org/10.1007/978-3-030-00111-7</a>.'
  ieee: 'F. Trollmann and A.-Y. Turhan, Eds., <i>KI 2018: Advances in Artificial Intelligence
    - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings</i>,
    vol. 11117. Springer, 2018.'
  mla: 'Trollmann, Frank, and Anni-Yasmin Turhan, editors. <i>KI 2018: Advances in
    Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September
    24-28, 2018, Proceedings</i>. Springer, 2018, doi:<a href="https://doi.org/10.1007/978-3-030-00111-7">10.1007/978-3-030-00111-7</a>.'
  short: 'F. Trollmann, A.-Y. Turhan, eds., KI 2018: Advances in Artificial Intelligence
    - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings,
    Springer, 2018.'
date_created: 2024-10-10T12:44:49Z
date_updated: 2024-10-10T12:45:12Z
doi: 10.1007/978-3-030-00111-7
editor:
- first_name: Frank
  full_name: Trollmann, Frank
  last_name: Trollmann
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
intvolume: '     11117'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-030-00110-0
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI,
  Berlin, Germany, September 24-28, 2018, Proceedings'
type: conference_editor
user_id: '15504'
volume: 11117
year: '2018'
...
---
_id: '56507'
author:
- first_name: Rafael
  full_name: Peñaloza, Rafael
  last_name: Peñaloza
- 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: 'Peñaloza R, Thost V, Turhan A-Y. Query Answering for Rough EL Ontologies.
    In: Thielscher M, Toni F, Wolter F, eds. <i>Principles of Knowledge Representation
    and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018,
    Tempe, Arizona, 30 October - 2 November 2018</i>. AAAI Press; 2018:399–408.'
  apa: 'Peñaloza, R., Thost, V., &#38; Turhan, A.-Y. (2018). Query Answering for Rough
    EL Ontologies. In M. Thielscher, F. Toni, &#38; F. Wolter (Eds.), <i>Principles
    of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International
    Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018</i> (pp. 399–408).
    AAAI Press.'
  bibtex: '@inproceedings{Peñaloza_Thost_Turhan_2018, title={Query Answering for Rough
    EL Ontologies}, booktitle={Principles of Knowledge Representation and Reasoning:
    Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona,
    30 October - 2 November 2018}, publisher={AAAI Press}, author={Peñaloza, Rafael
    and Thost, Veronika and Turhan, Anni-Yasmin}, editor={Thielscher, Michael and
    Toni, Francesca and Wolter, Frank}, year={2018}, pages={399–408} }'
  chicago: 'Peñaloza, Rafael, Veronika Thost, and Anni-Yasmin Turhan. “Query Answering
    for Rough EL Ontologies.” In <i>Principles of Knowledge Representation and Reasoning:
    Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona,
    30 October - 2 November 2018</i>, edited by Michael Thielscher, Francesca Toni,
    and Frank Wolter, 399–408. AAAI Press, 2018.'
  ieee: 'R. Peñaloza, V. Thost, and A.-Y. Turhan, “Query Answering for Rough EL Ontologies,”
    in <i>Principles of Knowledge Representation and Reasoning: Proceedings of the
    Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November
    2018</i>, 2018, pp. 399–408.'
  mla: 'Peñaloza, Rafael, et al. “Query Answering for Rough EL Ontologies.” <i>Principles
    of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International
    Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018</i>, edited
    by Michael Thielscher et al., AAAI Press, 2018, pp. 399–408.'
  short: 'R. Peñaloza, V. Thost, A.-Y. Turhan, in: M. Thielscher, F. Toni, F. Wolter
    (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the
    Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November
    2018, AAAI Press, 2018, pp. 399–408.'
date_created: 2024-10-10T12:35:14Z
date_updated: 2024-10-10T12:35:30Z
editor:
- first_name: Michael
  full_name: Thielscher, Michael
  last_name: Thielscher
- first_name: Francesca
  full_name: Toni, Francesca
  last_name: Toni
- first_name: Frank
  full_name: Wolter, Frank
  last_name: Wolter
language:
- iso: eng
page: 399–408
publication: 'Principles of Knowledge Representation and Reasoning: Proceedings of
  the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2
  November 2018'
publisher: AAAI Press
status: public
title: Query Answering for Rough EL Ontologies
type: conference
user_id: '15504'
year: '2018'
...
---
_id: '56503'
author:
- first_name: Maximilian
  full_name: Pensel, Maximilian
  last_name: Pensel
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: Pensel M, Turhan A-Y. Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\)
    - computing standard inferences under rational and relevant semantics. <i>Int
    J Approx Reason</i>. 2018;103:28–70. doi:<a href="https://doi.org/10.1016/J.IJAR.2018.08.005">10.1016/J.IJAR.2018.08.005</a>
  apa: Pensel, M., &#38; Turhan, A.-Y. (2018). Reasoning in the Defeasible Description
    Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant
    semantics. <i>Int. J. Approx. Reason.</i>, <i>103</i>, 28–70. <a href="https://doi.org/10.1016/J.IJAR.2018.08.005">https://doi.org/10.1016/J.IJAR.2018.08.005</a>
  bibtex: '@article{Pensel_Turhan_2018, title={Reasoning in the Defeasible Description
    Logic \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant
    semantics}, volume={103}, DOI={<a href="https://doi.org/10.1016/J.IJAR.2018.08.005">10.1016/J.IJAR.2018.08.005</a>},
    journal={Int. J. Approx. Reason.}, author={Pensel, Maximilian and Turhan, Anni-Yasmin},
    year={2018}, pages={28–70} }'
  chicago: 'Pensel, Maximilian, and Anni-Yasmin Turhan. “Reasoning in the Defeasible
    Description Logic \(Ε\)\(\mathscrL\) - Computing Standard Inferences under Rational
    and Relevant Semantics.” <i>Int. J. Approx. Reason.</i> 103 (2018): 28–70. <a
    href="https://doi.org/10.1016/J.IJAR.2018.08.005">https://doi.org/10.1016/J.IJAR.2018.08.005</a>.'
  ieee: 'M. Pensel and A.-Y. Turhan, “Reasoning in the Defeasible Description Logic
    \(ϵ\)\(\mathscrL\) - computing standard inferences under rational and relevant
    semantics,” <i>Int. J. Approx. Reason.</i>, vol. 103, pp. 28–70, 2018, doi: <a
    href="https://doi.org/10.1016/J.IJAR.2018.08.005">10.1016/J.IJAR.2018.08.005</a>.'
  mla: Pensel, Maximilian, and Anni-Yasmin Turhan. “Reasoning in the Defeasible Description
    Logic \(Ε\)\(\mathscrL\) - Computing Standard Inferences under Rational and Relevant
    Semantics.” <i>Int. J. Approx. Reason.</i>, vol. 103, 2018, pp. 28–70, doi:<a
    href="https://doi.org/10.1016/J.IJAR.2018.08.005">10.1016/J.IJAR.2018.08.005</a>.
  short: M. Pensel, A.-Y. Turhan, Int. J. Approx. Reason. 103 (2018) 28–70.
date_created: 2024-10-10T12:32:12Z
date_updated: 2024-10-10T12:32:32Z
doi: 10.1016/J.IJAR.2018.08.005
intvolume: '       103'
language:
- iso: eng
page: 28–70
publication: Int. J. Approx. Reason.
status: public
title: Reasoning in the Defeasible Description Logic \(ϵ\)\(\mathscrL\) - computing
  standard inferences under rational and relevant semantics
type: journal_article
user_id: '15504'
volume: 103
year: '2018'
...
---
_id: '56504'
author:
- first_name: Maximilian
  full_name: Pensel, Maximilian
  last_name: Pensel
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Pensel M, Turhan A-Y. Computing Standard Inferences under Rational and Relevant
    Semantics in Defeasible EL_bot. In: Ortiz M, Schneider T, eds. <i>Proceedings
    of the 31st International Workshop on Description Logics Co-Located with 16th
    International Conference on Principles of Knowledge Representation and Reasoning
    (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018</i>. Vol 2211. CEUR
    Workshop Proceedings. CEUR-WS.org; 2018.'
  apa: Pensel, M., &#38; Turhan, A.-Y. (2018). Computing Standard Inferences under
    Rational and Relevant Semantics in Defeasible EL_bot. In M. Ortiz &#38; T. Schneider
    (Eds.), <i>Proceedings of the 31st International Workshop on Description Logics
    co-located with 16th International Conference on Principles of Knowledge Representation
    and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018</i>
    (Vol. 2211). CEUR-WS.org.
  bibtex: '@inproceedings{Pensel_Turhan_2018, series={CEUR Workshop Proceedings},
    title={Computing Standard Inferences under Rational and Relevant Semantics in
    Defeasible EL_bot}, volume={2211}, booktitle={Proceedings of the 31st International
    Workshop on Description Logics co-located with 16th International Conference on
    Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona,
    US, October 27th - to - 29th, 2018}, publisher={CEUR-WS.org}, author={Pensel,
    Maximilian and Turhan, Anni-Yasmin}, editor={Ortiz, Magdalena and Schneider, Thomas},
    year={2018}, collection={CEUR Workshop Proceedings} }'
  chicago: Pensel, Maximilian, and Anni-Yasmin Turhan. “Computing Standard Inferences
    under Rational and Relevant Semantics in Defeasible EL_bot.” In <i>Proceedings
    of the 31st International Workshop on Description Logics Co-Located with 16th
    International Conference on Principles of Knowledge Representation and Reasoning
    (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018</i>, edited by Magdalena
    Ortiz and Thomas Schneider, Vol. 2211. CEUR Workshop Proceedings. CEUR-WS.org,
    2018.
  ieee: M. Pensel and A.-Y. Turhan, “Computing Standard Inferences under Rational
    and Relevant Semantics in Defeasible EL_bot,” in <i>Proceedings of the 31st International
    Workshop on Description Logics co-located with 16th International Conference on
    Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona,
    US, October 27th - to - 29th, 2018</i>, 2018, vol. 2211.
  mla: Pensel, Maximilian, and Anni-Yasmin Turhan. “Computing Standard Inferences
    under Rational and Relevant Semantics in Defeasible EL_bot.” <i>Proceedings of
    the 31st International Workshop on Description Logics Co-Located with 16th International
    Conference on Principles of Knowledge Representation and Reasoning (KR 2018),
    Tempe, Arizona, US, October 27th - to - 29th, 2018</i>, edited by Magdalena Ortiz
    and Thomas Schneider, vol. 2211, CEUR-WS.org, 2018.
  short: 'M. Pensel, A.-Y. Turhan, in: M. Ortiz, T. Schneider (Eds.), Proceedings
    of the 31st International Workshop on Description Logics Co-Located with 16th
    International Conference on Principles of Knowledge Representation and Reasoning
    (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018, CEUR-WS.org, 2018.'
date_created: 2024-10-10T12:33:03Z
date_updated: 2024-10-14T08:09:32Z
editor:
- first_name: Magdalena
  full_name: Ortiz, Magdalena
  last_name: Ortiz
- first_name: Thomas
  full_name: Schneider, Thomas
  last_name: Schneider
intvolume: '      2211'
language:
- iso: eng
publication: Proceedings of the 31st International Workshop on Description Logics
  co-located with 16th International Conference on Principles of Knowledge Representation
  and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Computing Standard Inferences under Rational and Relevant Semantics in Defeasible
  EL_bot
type: conference
user_id: '15504'
volume: 2211
year: '2018'
...
---
_id: '56510'
author:
- first_name: Thomas
  full_name: Lukasiewicz, Thomas
  last_name: Lukasiewicz
- 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: Lukasiewicz T, Peñaloza R, Turhan A-Y. Preface to the Special Issue on Reasoning
    about Preferences, Uncertainty, and Vagueness. <i>FLAP</i>. 2017;4(7).
  apa: Lukasiewicz, T., Peñaloza, R., &#38; Turhan, A.-Y. (2017). Preface to the Special
    Issue on Reasoning about Preferences, Uncertainty, and Vagueness. <i>FLAP</i>,
    <i>4</i>(7).
  bibtex: '@article{Lukasiewicz_Peñaloza_Turhan_2017, title={Preface to the Special
    Issue on Reasoning about Preferences, Uncertainty, and Vagueness}, volume={4},
    number={7}, journal={FLAP}, author={Lukasiewicz, Thomas and Peñaloza, Rafael and
    Turhan, Anni-Yasmin}, year={2017} }'
  chicago: Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Preface
    to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness.”
    <i>FLAP</i> 4, no. 7 (2017).
  ieee: T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, “Preface to the Special Issue
    on Reasoning about Preferences, Uncertainty, and Vagueness,” <i>FLAP</i>, vol.
    4, no. 7, 2017.
  mla: Lukasiewicz, Thomas, et al. “Preface to the Special Issue on Reasoning about
    Preferences, Uncertainty, and Vagueness.” <i>FLAP</i>, vol. 4, no. 7, 2017.
  short: T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, FLAP 4 (2017).
date_created: 2024-10-10T12:45:59Z
date_updated: 2024-10-10T12:46:30Z
intvolume: '         4'
issue: '7'
language:
- iso: eng
publication: FLAP
status: public
title: Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and
  Vagueness
type: journal_article
user_id: '15504'
volume: 4
year: '2017'
...
---
_id: '56516'
author:
- first_name: Camille
  full_name: Bourgaux, Camille
  last_name: Bourgaux
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Bourgaux C, Turhan A-Y. Temporal Query Answering in DL-Lite over Inconsistent
    Data. In: d’Amato C, Fernández M, Tamma VAM, et al., eds. <i>The Semantic Web
    - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October
    21-25, 2017, Proceedings, Part I</i>. Vol 10587. Lecture Notes in Computer Science.
    Springer; 2017:121–137. doi:<a href="https://doi.org/10.1007/978-3-319-68288-4_8">10.1007/978-3-319-68288-4_8</a>'
  apa: Bourgaux, C., &#38; Turhan, A.-Y. (2017). Temporal Query Answering in DL-Lite
    over Inconsistent Data. In C. d’Amato, M. Fernández, V. A. M. Tamma, F. Lécué,
    P. Cudré-Mauroux, J. F. Sequeda, C. Lange, &#38; J. Heflin (Eds.), <i>The Semantic
    Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria,
    October 21-25, 2017, Proceedings, Part I</i> (Vol. 10587, pp. 121–137). Springer.
    <a href="https://doi.org/10.1007/978-3-319-68288-4_8">https://doi.org/10.1007/978-3-319-68288-4_8</a>
  bibtex: '@inproceedings{Bourgaux_Turhan_2017, series={Lecture Notes in Computer
    Science}, title={Temporal Query Answering in DL-Lite over Inconsistent Data},
    volume={10587}, DOI={<a href="https://doi.org/10.1007/978-3-319-68288-4_8">10.1007/978-3-319-68288-4_8</a>},
    booktitle={The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference,
    Vienna, Austria, October 21-25, 2017, Proceedings, Part I}, publisher={Springer},
    author={Bourgaux, Camille and Turhan, Anni-Yasmin}, editor={d’Amato, Claudia and
    Fernández, Miriam and Tamma, Valentina A. M. and Lécué, Freddy and Cudré-Mauroux,
    Philippe and Sequeda, Juan F. and Lange, Christoph and Heflin, Jeff}, year={2017},
    pages={121–137}, collection={Lecture Notes in Computer Science} }'
  chicago: Bourgaux, Camille, and Anni-Yasmin Turhan. “Temporal Query Answering in
    DL-Lite over Inconsistent Data.” In <i>The Semantic Web - ISWC 2017 - 16th International
    Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part
    I</i>, edited by Claudia d’Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy
    Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, and Jeff Heflin,
    10587:121–137. Lecture Notes in Computer Science. Springer, 2017. <a href="https://doi.org/10.1007/978-3-319-68288-4_8">https://doi.org/10.1007/978-3-319-68288-4_8</a>.
  ieee: 'C. Bourgaux and A.-Y. Turhan, “Temporal Query Answering in DL-Lite over Inconsistent
    Data,” in <i>The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference,
    Vienna, Austria, October 21-25, 2017, Proceedings, Part I</i>, 2017, vol. 10587,
    pp. 121–137, doi: <a href="https://doi.org/10.1007/978-3-319-68288-4_8">10.1007/978-3-319-68288-4_8</a>.'
  mla: Bourgaux, Camille, and Anni-Yasmin Turhan. “Temporal Query Answering in DL-Lite
    over Inconsistent Data.” <i>The Semantic Web - ISWC 2017 - 16th International
    Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part
    I</i>, edited by Claudia d’Amato et al., vol. 10587, Springer, 2017, pp. 121–137,
    doi:<a href="https://doi.org/10.1007/978-3-319-68288-4_8">10.1007/978-3-319-68288-4_8</a>.
  short: 'C. Bourgaux, A.-Y. Turhan, in: C. d’Amato, M. Fernández, V.A.M. Tamma, F.
    Lécué, P. Cudré-Mauroux, J.F. Sequeda, C. Lange, J. Heflin (Eds.), The Semantic
    Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria,
    October 21-25, 2017, Proceedings, Part I, Springer, 2017, pp. 121–137.'
date_created: 2024-10-10T12:52:02Z
date_updated: 2024-10-10T12:52:20Z
doi: 10.1007/978-3-319-68288-4_8
editor:
- first_name: Claudia
  full_name: d’Amato, Claudia
  last_name: d’Amato
- first_name: Miriam
  full_name: Fernández, Miriam
  last_name: Fernández
- first_name: Valentina A. M.
  full_name: Tamma, Valentina A. M.
  last_name: Tamma
- first_name: Freddy
  full_name: Lécué, Freddy
  last_name: Lécué
- first_name: Philippe
  full_name: Cudré-Mauroux, Philippe
  last_name: Cudré-Mauroux
- first_name: Juan F.
  full_name: Sequeda, Juan F.
  last_name: Sequeda
- first_name: Christoph
  full_name: Lange, Christoph
  last_name: Lange
- first_name: Jeff
  full_name: Heflin, Jeff
  last_name: Heflin
intvolume: '     10587'
language:
- iso: eng
page: 121–137
publication: The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference,
  Vienna, Austria, October 21-25, 2017, Proceedings, Part I
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Temporal Query Answering in DL-Lite over Inconsistent Data
type: conference
user_id: '15504'
volume: 10587
year: '2017'
...
---
_id: '56514'
author:
- first_name: Maximilian
  full_name: Pensel, Maximilian
  last_name: Pensel
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Pensel M, Turhan A-Y. Making Quantification Relevant Again - the Case of Defeasible
    EL_\textbackslashbot. In: Booth R, Casini G, Varzinczak I, eds. <i>Proceedings
    of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17)
    Co-Located with the 14th International Conference on Logic Programming and Nonmonotonic
    Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017</i>. Vol 1872. CEUR Workshop
    Proceedings. CEUR-WS.org; 2017:44–57.'
  apa: Pensel, M., &#38; Turhan, A.-Y. (2017). Making Quantification Relevant Again
    - the Case of Defeasible EL_\textbackslashbot. In R. Booth, G. Casini, &#38; I.
    Varzinczak (Eds.), <i>Proceedings of the 4th International Workshop on Defeasible
    and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference
    on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland,
    July 3, 2017</i> (Vol. 1872, pp. 44–57). CEUR-WS.org.
  bibtex: '@inproceedings{Pensel_Turhan_2017, series={CEUR Workshop Proceedings},
    title={Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot},
    volume={1872}, booktitle={Proceedings of the 4th International Workshop on Defeasible
    and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference
    on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland,
    July 3, 2017}, publisher={CEUR-WS.org}, author={Pensel, Maximilian and Turhan,
    Anni-Yasmin}, editor={Booth, Richard and Casini, Giovanni and Varzinczak, Ivan},
    year={2017}, pages={44–57}, collection={CEUR Workshop Proceedings} }'
  chicago: Pensel, Maximilian, and Anni-Yasmin Turhan. “Making Quantification Relevant
    Again - the Case of Defeasible EL_\textbackslashbot.” In <i>Proceedings of the
    4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) Co-Located
    with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning
    (LPNMR 2017), Espoo, Finland, July 3, 2017</i>, edited by Richard Booth, Giovanni
    Casini, and Ivan Varzinczak, 1872:44–57. CEUR Workshop Proceedings. CEUR-WS.org,
    2017.
  ieee: M. Pensel and A.-Y. Turhan, “Making Quantification Relevant Again - the Case
    of Defeasible EL_\textbackslashbot,” in <i>Proceedings of the 4th International
    Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the
    14th International Conference on Logic Programming and Nonmonotonic Reasoning
    (LPNMR 2017), Espoo, Finland, July 3, 2017</i>, 2017, vol. 1872, pp. 44–57.
  mla: Pensel, Maximilian, and Anni-Yasmin Turhan. “Making Quantification Relevant
    Again - the Case of Defeasible EL_\textbackslashbot.” <i>Proceedings of the 4th
    International Workshop on Defeasible and Ampliative Reasoning (DARe-17) Co-Located
    with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning
    (LPNMR 2017), Espoo, Finland, July 3, 2017</i>, edited by Richard Booth et al.,
    vol. 1872, CEUR-WS.org, 2017, pp. 44–57.
  short: 'M. Pensel, A.-Y. Turhan, in: R. Booth, G. Casini, I. Varzinczak (Eds.),
    Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning
    (DARe-17) Co-Located with the 14th International Conference on Logic Programming
    and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017, CEUR-WS.org,
    2017, pp. 44–57.'
date_created: 2024-10-10T12:49:47Z
date_updated: 2024-10-10T12:50:36Z
editor:
- first_name: Richard
  full_name: Booth, Richard
  last_name: Booth
- first_name: Giovanni
  full_name: Casini, Giovanni
  last_name: Casini
- first_name: Ivan
  full_name: Varzinczak, Ivan
  last_name: Varzinczak
intvolume: '      1872'
language:
- iso: eng
page: 44–57
publication: Proceedings of the 4th International Workshop on Defeasible and Ampliative
  Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming
  and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Making Quantification Relevant Again - the Case of Defeasible EL_\textbackslashbot
type: conference
user_id: '15504'
volume: 1872
year: '2017'
...
---
_id: '56515'
author:
- first_name: Maximilian
  full_name: Pensel, Maximilian
  last_name: Pensel
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Pensel M, Turhan A-Y. Including Quantification in Defeasible Reasoning for
    the Description Logic EL\(_\mbox\(\perp\)\). In: Balduccini M, Janhunen T, eds.
    <i>Logic Programming and Nonmonotonic Reasoning - 14th International Conference,
    LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings</i>. Vol 10377. Lecture
    Notes in Computer Science. Springer; 2017:78–84. doi:<a href="https://doi.org/10.1007/978-3-319-61660-5_9">10.1007/978-3-319-61660-5_9</a>'
  apa: Pensel, M., &#38; Turhan, A.-Y. (2017). Including Quantification in Defeasible
    Reasoning for the Description Logic EL\(_\mbox\(\perp\)\). In M. Balduccini &#38;
    T. Janhunen (Eds.), <i>Logic Programming and Nonmonotonic Reasoning - 14th International
    Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings</i> (Vol.
    10377, pp. 78–84). Springer. <a href="https://doi.org/10.1007/978-3-319-61660-5_9">https://doi.org/10.1007/978-3-319-61660-5_9</a>
  bibtex: '@inproceedings{Pensel_Turhan_2017, series={Lecture Notes in Computer Science},
    title={Including Quantification in Defeasible Reasoning for the Description Logic
    EL\(_\mbox\(\perp\)\)}, volume={10377}, DOI={<a href="https://doi.org/10.1007/978-3-319-61660-5_9">10.1007/978-3-319-61660-5_9</a>},
    booktitle={Logic Programming and Nonmonotonic Reasoning - 14th International Conference,
    LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings}, publisher={Springer},
    author={Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Balduccini, Marcello
    and Janhunen, Tomi}, year={2017}, pages={78–84}, collection={Lecture Notes in
    Computer Science} }'
  chicago: Pensel, Maximilian, and Anni-Yasmin Turhan. “Including Quantification in
    Defeasible Reasoning for the Description Logic EL\(_\mbox\(\perp\)\).” In <i>Logic
    Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR
    2017, Espoo, Finland, July 3-6, 2017, Proceedings</i>, edited by Marcello Balduccini
    and Tomi Janhunen, 10377:78–84. Lecture Notes in Computer Science. Springer, 2017.
    <a href="https://doi.org/10.1007/978-3-319-61660-5_9">https://doi.org/10.1007/978-3-319-61660-5_9</a>.
  ieee: 'M. Pensel and A.-Y. Turhan, “Including Quantification in Defeasible Reasoning
    for the Description Logic EL\(_\mbox\(\perp\)\),” in <i>Logic Programming and
    Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland,
    July 3-6, 2017, Proceedings</i>, 2017, vol. 10377, pp. 78–84, doi: <a href="https://doi.org/10.1007/978-3-319-61660-5_9">10.1007/978-3-319-61660-5_9</a>.'
  mla: Pensel, Maximilian, and Anni-Yasmin Turhan. “Including Quantification in Defeasible
    Reasoning for the Description Logic EL\(_\mbox\(\perp\)\).” <i>Logic Programming
    and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo,
    Finland, July 3-6, 2017, Proceedings</i>, edited by Marcello Balduccini and Tomi
    Janhunen, vol. 10377, Springer, 2017, pp. 78–84, doi:<a href="https://doi.org/10.1007/978-3-319-61660-5_9">10.1007/978-3-319-61660-5_9</a>.
  short: 'M. Pensel, A.-Y. Turhan, in: M. Balduccini, T. Janhunen (Eds.), Logic Programming
    and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo,
    Finland, July 3-6, 2017, Proceedings, Springer, 2017, pp. 78–84.'
date_created: 2024-10-10T12:51:10Z
date_updated: 2024-10-10T12:51:35Z
doi: 10.1007/978-3-319-61660-5_9
editor:
- first_name: Marcello
  full_name: Balduccini, Marcello
  last_name: Balduccini
- first_name: Tomi
  full_name: Janhunen, Tomi
  last_name: Janhunen
intvolume: '     10377'
language:
- iso: eng
page: 78–84
publication: Logic Programming and Nonmonotonic Reasoning - 14th International Conference,
  LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Including Quantification in Defeasible Reasoning for the Description Logic
  EL\(_\mbox\(\perp\)\)
type: conference
user_id: '15504'
volume: 10377
year: '2017'
...