Matching in the Description Logic FL0 with respect to General TBoxes

DOI10.29007/q74pzbMath1415.68216OpenAlexW2908105614MaRDI QIDQ5222946

Oliver Fernández Gil, Pavlos Marantidis, Franz Baader

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

complexitymatchingdescription logictree automata

Mathematics Subject Classification ID

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

Related Items

Efficient TBox Reasoning with Value Restrictions using the wer Reasoner, Extensions of unification modulo ACUI