{"department":[{"_id":"888"}],"type":"conference","publisher":"CEUR-WS.org","volume":3263,"citation":{"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} }","ieee":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract),” in <i>Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, 2022, vol. 3263.","ama":"Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In: Arieli O, Homola M, Jung JC, Mugnier M-L, eds. <i>Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>. Vol 3263. CEUR Workshop Proceedings. CEUR-WS.org; 2022.","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.","apa":"Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2022). Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In O. Arieli, M. Homola, J. C. Jung, &#38; M.-L. Mugnier (Eds.), <i>Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i> (Vol. 3263). CEUR-WS.org.","mla":"Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” <i>Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.","chicago":"Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” In <i>Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022."},"user_id":"9503","year":"2022","author":[{"first_name":"Franz","last_name":"Baader","full_name":"Baader, Franz"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"first_name":"Friedrich","full_name":"Michel, Friedrich","last_name":"Michel"},{"first_name":"Anni-Yasmin","id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"},{"full_name":"Zarrieß, Benjamin","last_name":"Zarrieß","first_name":"Benjamin"}],"date_created":"2024-03-26T10:53:20Z","status":"public","_id":"52920","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","title":"Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)","editor":[{"first_name":"Ofer","last_name":"Arieli","full_name":"Arieli, Ofer"},{"last_name":"Homola","full_name":"Homola, Martin","first_name":"Martin"},{"last_name":"Jung","full_name":"Jung, Jean Christoph","first_name":"Jean Christoph"},{"first_name":"Marie-Laure","full_name":"Mugnier, Marie-Laure","last_name":"Mugnier"}],"date_updated":"2024-03-26T10:56:42Z","language":[{"iso":"eng"}],"intvolume":"      3263","series_title":"CEUR Workshop Proceedings"}