|
|||||
|
|
Reducing OWL entailment to description logic satisfiability |
|
| Authors: | Ian Horrocks Peter Patel-Schneider |
| Affiliation: | aDepartment of Computer Science, University of Manchester, Kilburn Building, Manchester M13 9PL, UK bBell Labs Research, Lucent Technologies, Murray Hill, NJ, USA |
| Abstract: | |
| Keywords: | OWL Lite Architecture Knowledge |
| 本文献已被 ScienceDirect 等数据库收录！ | |