A bottom-up method for the deterministic Horn fragment of the description logic ALC (2006)

by Linh Anh Nguyen
Venue:Proceedings of JELIA 2006, LNAI 4160
Citations:5 - 5 self