Author:
Horrocks Ian,Sattler Ulrike,Tobies Stephan
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proc. of IJCAI-91, 1991.
2. F. Baader, M. Buchheit, and B. Hollunder. Cardinality restrictions on concepts. Artificial Intelligence, 88(1–2):195–213, 1996.
3. F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, and G. Smolka. On the expressivity of feature logics with negation, functional uncertainty, and sort equations. J. of Logic, Language and Information, 2:1–18, 1993.
4. R. Berger. The undecidability of the dominoe problem. Mem. Amer. Math. Soc., 66, 1966.
5. F. Baader and U. Sattler. Number restrictions on complex roles in description logics. In Proc. of KR-96, pages 328–339, 1996.
Cited by
208 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献