Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.
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
Theory Pract. Log. Program.
Volume
22
Issue
2
Page
162–192
LibreCat-ID
Cite this
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. Theory Pract Log Program. 2022;22(2):162–192. doi:10.1017/S1471068421000466
Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., & Zarrieß, B. (2022). Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. Theory Pract. Log. Program., 22(2), 162–192. https://doi.org/10.1017/S1471068421000466
@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner}, volume={22}, DOI={10.1017/S1471068421000466}, 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} }
Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” Theory Pract. Log. Program. 22, no. 2 (2022): 162–192. https://doi.org/10.1017/S1471068421000466.
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner,” Theory Pract. Log. Program., vol. 22, no. 2, pp. 162–192, 2022, doi: 10.1017/S1471068421000466.
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” Theory Pract. Log. Program., vol. 22, no. 2, 2022, pp. 162–192, doi:10.1017/S1471068421000466.
Google Scholar