Axiom Pinpointing is Hard

Rafael Peñaloza, Baris Sertkaya. Axiom Pinpointing is Hard. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, editors, Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. Volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]

Authors

Rafael Peñaloza

This author has not been identified. Look up 'Rafael Peñaloza' in Google

Baris Sertkaya

This author has not been identified. Look up 'Baris Sertkaya' in Google