FaCT and iFaCT
Ian Horrocks
Annote
AKA: Horrocks99c
Book Title
Proc. of the 1999 Description Logic Workshop (DL'99)
Pages
133–135
Series
CEUR (http://ceur-ws.org/)
Volume
22
Year
1999
Ian Horrocks