Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß. Efficient TBox Reasoning with Value Restrictions using the 0FL0{\cal F}{{\cal L}_0} wer Reasoner. TPLP, 22(2):162-192, 2022. [doi]
@article{BaaderKMTZ22, title = {Efficient TBox Reasoning with Value Restrictions using the 0FL0{\cal F}{{\cal L}_0} wer Reasoner}, author = {Franz Baader and Patrick Koopmann and Friedrich Michel and Anni-Yasmin Turhan and Benjamin Zarrieß}, year = {2022}, doi = {10.1017/S1471068421000466}, url = {https://doi.org/10.1017/S1471068421000466}, researchr = {https://researchr.org/publication/BaaderKMTZ22}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {22}, number = {2}, pages = {162-192}, }