Efficient TBox Reasoning with Value Restrictions using the ${\mathcal{F}\mathcal{L}}_o$wer reasoner

Franz Baader, Patrick Koopmann, Friedrich Michel +2

The inexpressive Description Logic (DL) ${\mathcal{F}\mathcal{L}}_0$, which has conjunction and value restriction as its only concept constructors, had fallen into disrepute when it turned out…