DBLP:journals/ai/HorrocksS04 + redirect page
Decidability of SHIQ with complex role inclusion axioms + Has identifier
| Decidability of SHIQ with complex role inclusion axioms |
Has publishing details
160(1-2):79-104, 2004
Has title
Decidability of SHIQ with complex role inclusion axioms
Has url
http://www.informatik.uni-trier.de/~ley/db/journals/ai/ai160.html#HorrocksS04
Has where published
Artif. Intell.
Has year
2004
Has author
Ian Horrocks +, Ulrike Sattler +
Has identifier
Decidability of SHIQ with complex role inclusion axioms +
Categories Journal Paper +
|
