Efficient TBox Reasoning with Value Restrictions—Introducing the \mathcal {F\!L}_{o}{} \textit{wer} Reasoner

DOI10.1007/978-3-030-31095-0_9MaRDI QIDQ6488960zbMATH OpenFDO

Authors Anni-Yasmin Turhan, Benjamin Zarrieß

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-31095-0_9

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
• Matching in the Description Logic FL0 with respect to General TBoxes
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family

This page was built for publication: Efficient TBox Reasoning with Value Restrictions—Introducing the $$\mathcal {F\!L}_{o}{} \textit{wer}$$ Reasoner

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488960)