FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract)

Authors: Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan and Benjamin Zarriess

Paper Information

Title:Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract)
Authors:Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan and Benjamin Zarriess
Proceedings:DL Proceedings
Editors: Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier
Keywords:FL0 and FLbot, Efficient reasoning, Horn-fragments, Experiments
Pages:1
Talk:Aug 08 16:00 (Session 98C: Tractable DL)
Paper: