Using an expressive description logic: FaCT or fiction (1998)

by I Horrocks
Venue:In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’98