Skip to main content

Practical Reasoning for Very Expressive Description Logics

Ian Horrocks‚ Ulrike Sattler and Stephan Tobies

Annote
AKA: Horrocks99m
Journal
Logic Journal of the IGPL
Number
3
Pages
239–264
Volume
8
Year
2000