Searching for "An Overview of Tableau Algorithms for Description Logics." – sorted by Relevance.
-
Description Logics Reasoning with Syntactic Updates
- restrictions. Additionally, we provide a brief overview of tableau algorithms for description logic reasoning
- Cited by 2 (0 self) – Add To MetaCart
-
Tableau-based Reasoning
- on tableau algorithms for description logics can also be found in [7] as well as in [6]. In this chapter, we
- Add To MetaCart

