DBLP:journals/logcom/HorrocksS99

Has publishing details 9(3):385-410, 1999

Has title A Description Logic with Transitive and Inverse Roles and Role Hierarchies

Has url http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom9.html#HorrocksS99

Has where published J. Log. Comput.

Has year 1999

Has author Ian Horrocks +, Ulrike Sattler +

Has identifier DBLP:journals/logcom/HorrocksS99 +

Categories Journal Paper +