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:6 - 6 self