Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner

Add code
Jul 27, 2021
Figure 1 for Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner
Figure 2 for Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner
Figure 3 for Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner
Figure 4 for Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: