---
_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. Theory Pract Log Program.
2022;22(2):162–192. doi:10.1017/S1471068421000466
apa: Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., & Zarrieß, B. (2022).
Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. Theory
Pract. Log. Program., 22(2), 162–192. https://doi.org/10.1017/S1471068421000466
bibtex: '@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox
Reasoning with Value Restrictions using the Flower Reasoner}, volume={22}, DOI={10.1017/S1471068421000466},
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.” Theory Pract. Log. Program. 22, no. 2 (2022): 162–192.
https://doi.org/10.1017/S1471068421000466.'
ieee: 'F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient
TBox Reasoning with Value Restrictions using the Flower Reasoner,” Theory Pract.
Log. Program., vol. 22, no. 2, pp. 162–192, 2022, doi: 10.1017/S1471068421000466.'
mla: Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using
the Flower Reasoner.” Theory Pract. Log. Program., vol. 22, no. 2, 2022,
pp. 162–192, doi:10.1017/S1471068421000466.
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. 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. Vol 3263. CEUR Workshop
Proceedings. CEUR-WS.org; 2022.'
apa: Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., & Zarrieß, B. (2022).
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended
Abstract). 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 (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 Proceedings of the 35th International
Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference
(FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, edited by Ofer Arieli,
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 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, 2022, vol. 3263.
mla: Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using
the FL0wer Reasoner (Extended Abstract).” Proceedings of the 35th International
Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference
(FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, edited by Ofer Arieli
et al., vol. 3263, CEUR-WS.org, 2022.
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. 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. Vol 3263. CEUR Workshop Proceedings.
CEUR-WS.org; 2022.'
apa: 'Tirtarasa, S., & 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, & 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
(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
Proceedings of the 35th International Workshop on Description Logics (DL 2022)
Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August
7th to 10th, 2022, edited by Ofer Arieli, 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 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, 2022, vol. 3263.'
mla: 'Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization:
Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” Proceedings
of the 35th International Workshop on Description Logics (DL 2022) Co-Located
with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th,
2022, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.'
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. 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. Vol 3242. CEUR Workshop Proceedings.
CEUR-WS.org; 2022:90–101.'
apa: 'Peñaloza, R., & Turhan, A.-Y. (2022). User-aware Explications of Ontology
Consequences: Levelling Technicality. 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
(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 Proceedings of the 8th Workshop
on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on
Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19,
2022, edited by Christoph Beierle, 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 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, 2022, vol. 3242,
pp. 90–101.'
mla: 'Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology
Consequences: Levelling Technicality.” Proceedings of the 8th Workshop on Formal
and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial
Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022,
edited by Christoph Beierle et al., vol. 3242, CEUR-WS.org, 2022, pp. 90–101.'
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: 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:6340–6348. doi:10.1609/AAAI.V35I7.16787'
apa: Gil, O. F., & Turhan, A.-Y. (2021). Answering Regular Path Queries Under
Approximate Semantics in Lightweight Description Logics. Thirty-Fifth AAAI
Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative
Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on
Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February
2-9, 2021, 6340–6348. https://doi.org/10.1609/AAAI.V35I7.16787
bibtex: '@inproceedings{Gil_Turhan_2021, title={Answering Regular Path Queries Under
Approximate Semantics in Lightweight Description Logics}, DOI={10.1609/AAAI.V35I7.16787},
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 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, 6340–6348. AAAI Press, 2021. https://doi.org/10.1609/AAAI.V35I7.16787.
ieee: 'O. F. Gil and A.-Y. Turhan, “Answering Regular Path Queries Under Approximate
Semantics in Lightweight Description Logics,” 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,
2021, pp. 6340–6348, doi: 10.1609/AAAI.V35I7.16787.'
mla: Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries
Under Approximate Semantics in Lightweight Description Logics.” Thirty-Fifth
AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference
on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh
Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual
Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348, doi:10.1609/AAAI.V35I7.16787.
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. Formal Aspects Comput. 2021;33(6):885–921. doi:10.1007/S00165-021-00549-0
apa: Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2021). Enhancing Probabilistic
Model Checking with Ontologies. Formal Aspects Comput., 33(6), 885–921.
https://doi.org/10.1007/S00165-021-00549-0
bibtex: '@article{Dubslaff_Koopmann_Turhan_2021, title={Enhancing Probabilistic
Model Checking with Ontologies}, volume={33}, DOI={10.1007/S00165-021-00549-0},
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.” Formal Aspects Comput. 33,
no. 6 (2021): 885–921. https://doi.org/10.1007/S00165-021-00549-0.'
ieee: 'C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model
Checking with Ontologies,” Formal Aspects Comput., vol. 33, no. 6, pp.
885–921, 2021, doi: 10.1007/S00165-021-00549-0.'
mla: Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.”
Formal Aspects Comput., vol. 33, no. 6, 2021, pp. 885–921, doi:10.1007/S00165-021-00549-0.
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. 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.
Vol 2961. CEUR Workshop Proceedings. CEUR-WS.org; 2021:9–22.'
apa: Alrabbaa, C., Hieke, W., & Turhan, A.-Y. (2021). Counter Model Transformation
for Explaining Non-Subsumption in EL. 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 (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 Proceedings of the
7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German
Conference on Artificial Intelligence (KI 2021), September 28, 2021, edited
by Christoph Beierle, 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 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, 2021, vol. 2961, pp. 9–22.
mla: Alrabbaa, Christian, et al. “Counter Model Transformation for Explaining Non-Subsumption
in EL.” Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located
with the 44th German Conference on Artificial Intelligence (KI 2021), September
28, 2021, edited by Christoph Beierle et al., vol. 2961, CEUR-WS.org, 2021,
pp. 9–22.
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. Künstliche Intell. 2020;34(4):543–550. doi:10.1007/S13218-020-00694-3
apa: Baader, F., Borgwardt, S., Koopmann, P., Thost, V., & Turhan, A.-Y. (2020).
Semantic Technologies for Situation Awareness. Künstliche Intell., 34(4),
543–550. https://doi.org/10.1007/S13218-020-00694-3
bibtex: '@article{Baader_Borgwardt_Koopmann_Thost_Turhan_2020, title={Semantic Technologies
for Situation Awareness}, volume={34}, DOI={10.1007/S13218-020-00694-3},
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.” Künstliche
Intell. 34, no. 4 (2020): 543–550. https://doi.org/10.1007/S13218-020-00694-3.'
ieee: 'F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A.-Y. Turhan, “Semantic
Technologies for Situation Awareness,” Künstliche Intell., vol. 34, no.
4, pp. 543–550, 2020, doi: 10.1007/S13218-020-00694-3.'
mla: Baader, Franz, et al. “Semantic Technologies for Situation Awareness.” Künstliche
Intell., vol. 34, no. 4, 2020, pp. 543–550, doi:10.1007/S13218-020-00694-3.
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. 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. Vol 2680. CEUR Workshop Proceedings.
CEUR-WS.org; 2020:69–82.'
apa: Hieke, W., & Turhan, A.-Y. (2020). Towards Model Transformation in Description
Logics - Investigating the Case of Transductions. 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 (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 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, 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 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, 2020,
vol. 2680, pp. 69–82.
mla: Hieke, Willi, and Anni-Yasmin Turhan. “Towards Model Transformation in Description
Logics - Investigating the Case of Transductions.” 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, 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. 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. Vol 2663. CEUR Workshop Proceedings. CEUR-WS.org; 2020.'
apa: 'Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2020). Give Inconsistency
a Chance: Semantics for Ontology-Mediated Verification. 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 (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 Proceedings of
the 33rd International Workshop on Description Logics (DL 2020) Co-Located with
the 17th International Conference on Principles of Knowledge Representation and
Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020,
edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR 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 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, 2020, vol. 2663.'
mla: 'Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated
Verification.” Proceedings of the 33rd International Workshop on Description
Logics (DL 2020) Co-Located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece],
September 12th to 14th, 2020, edited by Stefan Borgwardt and Thomas Meyer,
vol. 2663, CEUR-WS.org, 2020.'
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. 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. Vol 2663. CEUR
Workshop Proceedings. CEUR-WS.org; 2020.'
apa: Gil, O. F., & Turhan, A.-Y. (2020). Relaxed Regular Path Queries in Lightweight
DLs (Extended Abstract). 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 (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 Proceedings of the 33rd International
Workshop on Description Logics (DL 2020) Co-Located with the 17th International
Conference on Principles of Knowledge Representation and Reasoning (KR 2020),
Online Event [Rhodes, Greece], September 12th to 14th, 2020, edited by Stefan
Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org,
2020.
ieee: O. F. Gil and A.-Y. Turhan, “Relaxed Regular Path Queries in Lightweight DLs
(Extended Abstract),” in 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, 2020, vol. 2663.
mla: Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Relaxed Regular Path Queries
in Lightweight DLs (Extended Abstract).” Proceedings of the 33rd International
Workshop on Description Logics (DL 2020) Co-Located with the 17th International
Conference on Principles of Knowledge Representation and Reasoning (KR 2020),
Online Event [Rhodes, Greece], September 12th to 14th, 2020, edited by Stefan
Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.
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. Semantic Web. 2019;10(3):475–521. doi:10.3233/SW-180337
apa: Bourgaux, C., Koopmann, P., & Turhan, A.-Y. (2019). Ontology-mediated query
answering over temporal and inconsistent data. Semantic Web, 10(3),
475–521. https://doi.org/10.3233/SW-180337
bibtex: '@article{Bourgaux_Koopmann_Turhan_2019, title={Ontology-mediated query
answering over temporal and inconsistent data}, volume={10}, DOI={10.3233/SW-180337},
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.” Semantic Web 10,
no. 3 (2019): 475–521. https://doi.org/10.3233/SW-180337.'
ieee: 'C. Bourgaux, P. Koopmann, and A.-Y. Turhan, “Ontology-mediated query answering
over temporal and inconsistent data,” Semantic Web, vol. 10, no. 3, pp.
475–521, 2019, doi: 10.3233/SW-180337.'
mla: Bourgaux, Camille, et al. “Ontology-Mediated Query Answering over Temporal
and Inconsistent Data.” Semantic Web, vol. 10, no. 3, 2019, pp. 475–521,
doi:10.3233/SW-180337.
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. Description Logic, Theory
Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of
His 60th Birthday. Vol 11560. Lecture Notes in Computer Science. Springer;
2019:1–14. doi:10.1007/978-3-030-22102-7_1'
apa: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., & 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, & F. Wolter (Eds.),
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz
Baader on the Occasion of His 60th Birthday (Vol. 11560, pp. 1–14). Springer.
https://doi.org/10.1007/978-3-030-22102-7_1
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={10.1007/978-3-030-22102-7_1},
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 Description Logic, Theory Combination, and All That
- Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, edited
by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter,
11560:1–14. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-22102-7_1.
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 Description Logic, Theory Combination, and All That - Essays Dedicated to
Franz Baader on the Occasion of His 60th Birthday, 2019, vol. 11560, pp. 1–14,
doi: 10.1007/978-3-030-22102-7_1.'
mla: Lutz, Carsten, et al. “A Tour of Franz Baader’s Contributions to Knowledge
Representation and Automated Deduction.” Description Logic, Theory Combination,
and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday,
edited by Carsten Lutz et al., vol. 11560, Springer, 2019, pp. 1–14, doi:10.1007/978-3-030-22102-7_1.
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. Integrated Formal Methods - 15th
International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings.
Vol 11918. Lecture Notes in Computer Science. Springer; 2019:194–211. doi:10.1007/978-3-030-34968-4_11'
apa: Dubslaff, C., Koopmann, P., & Turhan, A.-Y. (2019). Ontology-Mediated Probabilistic
Model Checking. In W. Ahrendt & S. L. T. Tarifa (Eds.), Integrated Formal
Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6,
2019, Proceedings (Vol. 11918, pp. 194–211). Springer. https://doi.org/10.1007/978-3-030-34968-4_11
bibtex: '@inproceedings{Dubslaff_Koopmann_Turhan_2019, series={Lecture Notes in
Computer Science}, title={Ontology-Mediated Probabilistic Model Checking}, volume={11918},
DOI={10.1007/978-3-030-34968-4_11},
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 Integrated Formal Methods - 15th International
Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, edited
by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, 11918:194–211. Lecture Notes
in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-34968-4_11.
ieee: 'C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Ontology-Mediated Probabilistic
Model Checking,” in Integrated Formal Methods - 15th International Conference,
IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, 2019, vol. 11918,
pp. 194–211, doi: 10.1007/978-3-030-34968-4_11.'
mla: Dubslaff, Clemens, et al. “Ontology-Mediated Probabilistic Model Checking.”
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen,
Norway, December 2-6, 2019, Proceedings, edited by Wolfgang Ahrendt and Silvia
Lizeth Tapia Tarifa, vol. 11918, Springer, 2019, pp. 194–211, doi:10.1007/978-3-030-34968-4_11.
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. GCAI 2019. Proceedings
of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy,
17-19 September 2019. Vol 65. EPiC Series in Computing. EasyChair; 2019:15–27.
doi:10.29007/GQLL'
apa: Alrabbaa, C., Koopmann, P., & Turhan, A.-Y. (2019). Practical Query Rewriting
for DL-Lite with Numerical Predicates. In D. Calvanese & L. Iocchi (Eds.),
GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence,
Bozen/Bolzano, Italy, 17-19 September 2019 (Vol. 65, pp. 15–27). EasyChair.
https://doi.org/10.29007/GQLL
bibtex: '@inproceedings{Alrabbaa_Koopmann_Turhan_2019, series={EPiC Series in Computing},
title={Practical Query Rewriting for DL-Lite with Numerical Predicates}, volume={65},
DOI={10.29007/GQLL}, 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 GCAI 2019. Proceedings
of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy,
17-19 September 2019, edited by Diego Calvanese and Luca Iocchi, 65:15–27.
EPiC Series in Computing. EasyChair, 2019. https://doi.org/10.29007/GQLL.
ieee: 'C. Alrabbaa, P. Koopmann, and A.-Y. Turhan, “Practical Query Rewriting for
DL-Lite with Numerical Predicates,” in GCAI 2019. Proceedings of the 5th Global
Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019,
2019, vol. 65, pp. 15–27, doi: 10.29007/GQLL.'
mla: Alrabbaa, Christian, et al. “Practical Query Rewriting for DL-Lite with Numerical
Predicates.” GCAI 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, edited by Diego
Calvanese and Luca Iocchi, vol. 65, EasyChair, 2019, pp. 15–27, doi:10.29007/GQLL.
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. Proceedings of
the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del
Rey, CA, USA, November 19-21, 2019. ACM; 2019:213–221. doi:10.1145/3360901.3364429'
apa: Ngomo, A.-C. N., Conrads, F., Pensel, M., & Turhan, A.-Y. (2019). Congenial
Benchmarking of RDF Storage Solutions. 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 (pp.
213–221). ACM. https://doi.org/10.1145/3360901.3364429
bibtex: '@inproceedings{Ngomo_Conrads_Pensel_Turhan_2019, title={Congenial Benchmarking
of RDF Storage Solutions}, DOI={10.1145/3360901.3364429},
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 Proceedings of
the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del
Rey, CA, USA, November 19-21, 2019, edited by Mayank Kejriwal, Pedro A. Szekely,
and Raphaël Troncy, 213–221. ACM, 2019. https://doi.org/10.1145/3360901.3364429.
ieee: 'A.-C. N. Ngomo, F. Conrads, M. Pensel, and A.-Y. Turhan, “Congenial Benchmarking
of RDF Storage Solutions,” in Proceedings of the 10th International Conference
on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019,
2019, pp. 213–221, doi: 10.1145/3360901.3364429.'
mla: Ngomo, Axel-Cyrille Ngonga, et al. “Congenial Benchmarking of RDF Storage Solutions.”
Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP)
2019, Marina Del Rey, CA, USA, November 19-21, 2019, edited by Mayank Kejriwal
et al., ACM, 2019, pp. 213–221, doi:10.1145/3360901.3364429.
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. Description Logic,
Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion
of His 60th Birthday. Vol 11560. Springer; 2019. doi:10.1007/978-3-030-22102-7
apa: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., & Wolter, F. (Eds.).
(2019). Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday (Vol. 11560). Springer.
https://doi.org/10.1007/978-3-030-22102-7
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={10.1007/978-3-030-22102-7},
publisher={Springer}, year={2019}, collection={Lecture Notes in Computer Science}
}'
chicago: Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank
Wolter, eds. Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday. Vol. 11560. Lecture
Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-22102-7.
ieee: C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, Eds., Description
Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on
the Occasion of His 60th Birthday, vol. 11560. Springer, 2019.
mla: Lutz, Carsten, et al., editors. Description Logic, Theory Combination, and
All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday.
Springer, 2019, doi:10.1007/978-3-030-22102-7.
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., & Zarrieß, B. (2019). Efficient TBox Reasoning
with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer
Reasoner (P. Fodor, M. Montali, D. Calvanese, & 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. Efficient TBox Reasoning with Value Restrictions
- Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner. 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. 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. Vol 2157. CEUR-WS.org; 2018.
apa: Lukasiewicz, T., Peñaloza, R., & Turhan, A.-Y. (Eds.). (2018). 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 (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. 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. Vol. 2157. CEUR Workshop
Proceedings. CEUR-WS.org, 2018.
ieee: T. Lukasiewicz, R. Peñaloza, and 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, vol. 2157. CEUR-WS.org, 2018.
mla: Lukasiewicz, Thomas, et al., editors. 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.
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. KI 2018: Advances in Artificial Intelligence
- 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings.
Vol 11117. Springer; 2018. doi:10.1007/978-3-030-00111-7'
apa: 'Trollmann, F., & Turhan, A.-Y. (Eds.). (2018). KI 2018: Advances in
Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September
24-28, 2018, Proceedings (Vol. 11117). Springer. https://doi.org/10.1007/978-3-030-00111-7'
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={10.1007/978-3-030-00111-7},
publisher={Springer}, year={2018}, collection={Lecture Notes in Computer Science}
}'
chicago: 'Trollmann, Frank, and Anni-Yasmin Turhan, eds. KI 2018: Advances in
Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September
24-28, 2018, Proceedings. Vol. 11117. Lecture Notes in Computer Science. Springer,
2018. https://doi.org/10.1007/978-3-030-00111-7.'
ieee: 'F. Trollmann and A.-Y. Turhan, Eds., KI 2018: Advances in Artificial Intelligence
- 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings,
vol. 11117. Springer, 2018.'
mla: 'Trollmann, Frank, and Anni-Yasmin Turhan, editors. KI 2018: Advances in
Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September
24-28, 2018, Proceedings. Springer, 2018, doi:10.1007/978-3-030-00111-7.'
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'
...