Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
