Matching in the Description Logic FL0 with respect to General TBoxes

DOI10.29007/Q74PMaRDI QIDQ5222946zbMATH OpenOpenAlexFDO

Authors Franz Baader, Oliver Fernández Gil, Pavlos Marantidis

Publication date 4 July 2019

Published in EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.29007/q74p

zbMATH Keywords

complexitydescription logicmatchingtree automata

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1222700
• Matching in description logics
• Approximate unification in the description logic \(\mathcal {FL}_0\)
• A tableau algorithm for description logics with concrete domains and general TBoxes
• Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes
• scientific article; zbMATH DE number 6902582
• Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
• Reasoning About Actions Using Description Logics with General TBoxes
• scientific article; zbMATH DE number 1765662

Cited in

(5)

• scientific article; zbMATH DE number 1222700 (Why is no real title available?)
• Matching in description logics
• Extensions of unification modulo ACUI
• Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
• Efficient TBox Reasoning with Value Restrictions—Introducing the $$\mathcal {F\!L}_{o}{} \textit{wer}$$ Reasoner

This page was built for publication: Matching in the Description Logic FL0 with respect to General TBoxes

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