Formal knowledge representation language AND Ian Horrocks
Common descendants
1 Document
2006-12-16 About