|
|||||
|
|
HermiT: An OWL 2 Reasoner |
|
| Authors: | Birte Glimm Ian Horrocks Boris Motik Giorgos Stoilos Zhe Wang |
| Affiliation: | 1. Institute of Artificial Intelligence, University of Ulm, 89069, Ulm, DE, Germany 2. Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK 3. School of Electrical & Computer Engineering, National Technical University of Athens, Iroon Polytexneiou 9, 15780, Zografou, Greece 4. School of Information & Communication Technology, Griffith University, Brisbane, QLD 4111, Australia |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |