Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata

Franz Baader, Oliver Fernandez Gil, Maximilian Pensel. Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. In Magdalena Ortiz, Thomas Schneider 0002, editors, Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. Volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]

Abstract

Abstract is missing.