Using an Expressive Description Logic: FaCT or Fiction (1998)

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