DBLP:conf/aaai/KrotzschRH07 + redirect page
Complexity Boundaries for Horn Description Logics + Has identifier
| Complexity Boundaries for Horn Description Logics |
Has publishing details
pp. 452-457, 2007
Has title
Complexity Boundaries for Horn Description Logics
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2007.html#KrotzschRH07
Has where published
AAAI
Has year
2007
Has author
Markus Krötzsch +, Sebastian Rudolph +, Pascal Hitzler +
Has identifier
Complexity Boundaries for Horn Description Logics +
Categories Proceeding Paper +
|
