Cite
HARVARD Citation
BAADER, F. et al. (2022). Efficient TBox Reasoning with Value Restrictions using the ${\cal F}{{\cal L}_0}$ wer Reasoner. Theory and practice of logic programming. 22 (2), pp. 162-192. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
BAADER, F. et al. (2022). Efficient TBox Reasoning with Value Restrictions using the ${\cal F}{{\cal L}_0}$ wer Reasoner. Theory and practice of logic programming. 22 (2), pp. 162-192. [Online].