{"title":"Efficient TBox Reasoning with Value Restrictions using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)wer reasoner","publication":"CoRR","language":[{"iso":"eng"}],"date_updated":"2024-03-26T10:56:03Z","volume":"abs/2107.12877","type":"journal_article","citation":{"ama":"Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)wer reasoner. <i>CoRR</i>. 2021;abs/2107.12877.","bibtex":"@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2021, title={Efficient TBox Reasoning with Value Restrictions using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)wer reasoner}, volume={abs/2107.12877}, journal={CoRR}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, year={2021} }","ieee":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)wer reasoner,” <i>CoRR</i>, vol. abs/2107.12877, 2021.","short":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).","apa":"Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2021). Efficient TBox Reasoning with Value Restrictions using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)wer reasoner. <i>CoRR</i>, <i>abs/2107.12877</i>.","mla":"Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)Wer Reasoner.” <i>CoRR</i>, vol. abs/2107.12877, 2021.","chicago":"Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)Wer Reasoner.” <i>CoRR</i> abs/2107.12877 (2021)."},"department":[{"_id":"888"}],"date_created":"2024-03-26T10:55:32Z","_id":"52929","status":"public","author":[{"full_name":"Baader, Franz","last_name":"Baader","first_name":"Franz"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"last_name":"Michel","full_name":"Michel, Friedrich","first_name":"Friedrich"},{"first_name":"Anni-Yasmin","id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"},{"first_name":"Benjamin","last_name":"Zarrieß","full_name":"Zarrieß, Benjamin"}],"year":"2021","user_id":"9503"}