Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).
Download
No fulltext has been uploaded.
Journal Article
| English
Author
Baader, Franz;
Koopmann, Patrick;
Michel, Friedrich;
Turhan, Anni-YasminLibreCat;
Zarrieß, Benjamin
Department
Publishing Year
Journal Title
CoRR
Volume
abs/2107.12877
LibreCat-ID
Cite this
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner. CoRR. 2021;abs/2107.12877.
Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., & Zarrieß, B. (2021). Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner. CoRR, abs/2107.12877.
@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} }
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.” CoRR abs/2107.12877 (2021).
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,” CoRR, vol. abs/2107.12877, 2021.
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” CoRR, vol. abs/2107.12877, 2021.
Google Scholar