OWL Rules: A Proposal and Prototype Implementation
The description logic handbook: theory, implementation, and applications