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: |  |