%0 Journal Article %1 baader2021efficient %A Baader, Franz %A Koopmann, Patrick %A MICHEL, FRIEDRICH %A Turhan, Anni-Yasmin %A ZARRIESS, BENJAMIN %D 2021 %J Theory and Practice of Logic Programming %K imported %P 1--29 %R 10.1017/S1471068421000466 %T Efficient TBox Reasoning with Value Restrictions using the wer Reasoner %V 22

@article{baader2021efficient, added-at = {2024-10-02T10:38:17.000+0200}, author = {Baader, Franz and Koopmann, Patrick and MICHEL, FRIEDRICH and Turhan, Anni-Yasmin and ZARRIESS, BENJAMIN}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2d961987124e276c29b486eb7b720b4b6/scadsfct}, doi = {10.1017/S1471068421000466}, interhash = {28846faf8e370f88b6835060d2ee72e8}, intrahash = {d961987124e276c29b486eb7b720b4b6}, journal = {Theory and Practice of Logic Programming}, keywords = {imported}, month = {10}, pages = {1--29}, timestamp = {2024-11-08T17:22:11.000+0100}, title = {Efficient TBox Reasoning with Value Restrictions using the wer Reasoner}, volume = 22, year = 2021 }