Keyword:subsumption

Publications
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata Franz Baader, Oliver Fernandez Gil and Maximilian Pensel In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Trie Based Subsumption and Improving the pi-Trie Algorithm Andrew Matusiewicz, Neil Murray and Erik Rosenthal In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning