Ian Horrocks AND Description Logic
Common descendants
1 Document
2006-12-16 About