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

by I Horrocks
Venue:In Proceedings KR-1998