Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner
F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese, D. Roman (Eds.), 2019.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Michel, Friedrich;
Turhan, Anni-YasminLibreCat;
Zarrieß, Benjamin
Editor
Fodor, Paul;
Montali, Marco;
Calvanese, Diego;
Roman, Dumitru
Publishing Year
LibreCat-ID
Cite this
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.
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.).
@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} }
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.
F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner,” 2019.
Michel, Friedrich, et al. Efficient TBox Reasoning with Value Restrictions - Introducing the \(\mathscrF\)_o \textbackslashtextitwer Reasoner. Edited by Paul Fodor et al., 2019.
Google Scholar