{"year":"2019","status":"public","type":"conference","_id":"56500","editor":[{"last_name":"Fodor","first_name":"Paul","full_name":"Fodor, Paul"},{"first_name":"Marco","last_name":"Montali","full_name":"Montali, Marco"},{"full_name":"Calvanese, Diego","first_name":"Diego","last_name":"Calvanese"},{"full_name":"Roman, Dumitru","last_name":"Roman","first_name":"Dumitru"}],"author":[{"last_name":"Michel","first_name":"Friedrich","full_name":"Michel, Friedrich"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"},{"last_name":"Zarrieß","first_name":"Benjamin","full_name":"Zarrieß, Benjamin"}],"date_updated":"2024-10-10T12:30:38Z","language":[{"iso":"eng"}],"title":"Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner","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.","short":"F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese, D. Roman (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.).","ieee":"F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner,” 2019.","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} }","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.","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."},"user_id":"15504","date_created":"2024-10-10T12:29:32Z"}