Tractable Extensions of the Description Logic EL with Numerical Datatypes
Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks
Details
| Book Title |
Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2010) |
| Editor |
Jürgen Giesl and Reiner Hähnle |
| Pages |
61–75 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence |
| Volume |
6173 |
| Year |
2010 |