A Description Logic with Transitive and Inverse Roles and Role Hierarchies

Ian Horrocks, Ulrike Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies. In Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty, editors, Proceedings of the 1998 International Workshop on Description Logics (DL 98), IRST, Povo - Trento, Italy, June 6-8, 1998. Volume 11 of CEUR Workshop Proceedings, CEUR-WS.org, 1998. [doi]

Authors

Ian Horrocks

This author has not been identified. Look up 'Ian Horrocks' in Google

Ulrike Sattler

This author has not been identified. Look up 'Ulrike Sattler' in Google