|
|||||
|
|
Optimizing description logic subsumption |
|
| Authors: | Horrocks, I Patel-Schneider, PF |
| Affiliation: | A1 Department of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. E-mail: horrocks@cs.man.ac.uk A Bell Labs Research, Murray Hill, NJ, USA. E-mail: pfps@research.bell-labs.com |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |