Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. G. Antoniou, D. Billington, G. Governatori and M.J. Maher. Representation Results for Defeasible Logic. ACM Transactions on Computational Logic 2,2 (2001): 255–287.
2. F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithm. In Proc. Workshop on Processing Declarative Knowledge, LNAI, Springer 1991, 67–86.
3. M. Buchheit, F. Donini and A. Schaerf. Decidable Reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research 1 (1993): 109–138.
4. D. Connolly et al. DAML+OIL (March 2001) Reference Description.
http://www.w3.org/TR/daml+oil-reference
.
5. F. Donini, M. Lenzerini, D. Nardi and A. Schaerf. Reasoning in Description Logics. In G. Brewka (ed): Principles of Knowledge Representation and Reasoning, Studies in Logic, Language and Information, CLSI Publications 1996, 193–238.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献