Affiliation:
1. Technische Universität Dresden, Dresden, Germany
Funder
Collaborative Research Center SFB HAEC
Research Training Group QuantLA - German Research Foundation (DFG)
Reference21 articles.
1. Franz Baader. 1990. Terminological Cycles in KL-ONE-based Knowledge Representation Languages Proc. of the 8th Nat. Conf. on Artificial Intelligence (AAAI'90). Boston (Ma, USA), 621--626.
2. Franz Baader, Sebastian Brandt, and Carsten Lutz. 2005. Pushing the $mathcalEL$ Envelope. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), Leslie Pack Kaelbling and Alessandro Saffiotti (Eds.). Morgan Kaufmann, Los Altos, Edinburgh (UK), 364--369.
3. Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. 2017. An Introduction to Description Logic. Cambridge University Press.
4. Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, and Alexander Borgida. 1991. Living with CLASSIC: When and how to Use a KL-ONE-like Language. In Principles of Semantic Networks, John F. Sowa (Ed.). Morgan Kaufmann, Los Altos, 401--456.
5. Ronald J. Brachman and James G. Schmolze. 1985. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science Vol. 9, 2 (1985), 171--216.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献