{"citation":{"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>Theory Pract. Log. Program.</i>, vol. 22, no. 2, pp. 162–192, 2022, doi: <a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>.","bibtex":"@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox Reasoning with Value Restrictions using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)wer Reasoner}, volume={22}, DOI={<a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>}, number={2}, journal={Theory Pract. Log. Program.}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, year={2022}, pages={162–192} }","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>Theory Pract Log Program</i>. 2022;22(2):162–192. doi:<a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>","short":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.","apa":"Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2022). Efficient TBox Reasoning with Value Restrictions using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)wer Reasoner. <i>Theory Pract. Log. Program.</i>, <i>22</i>(2), 162–192. <a href=\"https://doi.org/10.1017/S1471068421000466\">https://doi.org/10.1017/S1471068421000466</a>","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>Theory Pract. Log. Program.</i> 22, no. 2 (2022): 162–192. <a href=\"https://doi.org/10.1017/S1471068421000466\">https://doi.org/10.1017/S1471068421000466</a>.","mla":"Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)Wer Reasoner.” <i>Theory Pract. Log. Program.</i>, vol. 22, no. 2, 2022, pp. 162–192, doi:<a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>."},"type":"journal_article","volume":22,"department":[{"_id":"888"}],"status":"public","_id":"52918","doi":"10.1017/S1471068421000466","date_created":"2024-03-26T10:53:00Z","user_id":"9503","author":[{"first_name":"Franz","last_name":"Baader","full_name":"Baader, Franz"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"full_name":"Michel, Friedrich","last_name":"Michel","first_name":"Friedrich"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","id":"104470","first_name":"Anni-Yasmin"},{"first_name":"Benjamin","full_name":"Zarrieß, Benjamin","last_name":"Zarrieß"}],"year":"2022","title":"Efficient TBox Reasoning with Value Restrictions using the \\(\\mathscrF\\)\\(\\mathscrL\\)\\(_\\mbox0\\)wer Reasoner","publication":"Theory Pract. Log. Program.","page":"162–192","issue":"2","language":[{"iso":"eng"}],"intvolume":"        22","date_updated":"2024-03-26T10:56:46Z"}