%0 Journal Article %1 journals/tplp/BaaderKMTZ22 %A Baader, Franz %A Koopmann, Patrick %A Michel, Friedrich %A Turhan, Anni-Yasmin %A Zarrieß, Benjamin %D 2022 %J Theory Pract. Log. Program. %K dblp %N 2 %P 162-192 %T Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. %U http://dblp.uni-trier.de/db/journals/tplp/tplp22.html#BaaderKMTZ22 %V 22

@article{journals/tplp/BaaderKMTZ22, added-at = {2022-07-13T00:00:00.000+0200}, author = {Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/2a361ab8d797fc63b96e10fe26adb7698/dblp}, ee = {https://doi.org/10.1017/S1471068421000466}, interhash = {698ceb28507d32bee72c771e6cb6dba8}, intrahash = {a361ab8d797fc63b96e10fe26adb7698}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 2, pages = {162-192}, timestamp = {2024-04-09T05:34:31.000+0200}, title = {Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp22.html#BaaderKMTZ22}, volume = 22, year = 2022 }