Author:
Lefort Laurent,Taylor Kerry,Ratcliffe David
Subject
Artificial Intelligence,Computational Theory and Mathematics,Theoretical Computer Science,Control and Systems Engineering
Reference40 articles.
1. Partwhole relations in object-centered systems;Artale;Data and Knowledge Engineering,1996
2. Expressive number restrictions in description logics;Baader;Journal for Logic and Computation,1999
3. Baader, F. , S. Brandt and C. Lutz (2005) Pushing the EL envelope, in Proceedings of the 19th International Joint Conference on Artificial Intelligence, San Mateo, CA: Morgan Kaufmann.
4. Baader, F. , C. Lutz and B. Suntisrivaraporn (2006) CEL a polynomial-time reasoner for life science ontologies (system description), in Proceedings of the 3rd International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence 4130, Berlin: Springer, 287291.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献