2009 (1)
Coloring RDF Triples to Capture Provenance. Flouris, G.; Fundulaki, I.; Pediaditis, P.; Theoharis, Y.; and Christophides, V. In Procs. ISWC, pages 196--212, 2009.
bibtex   abstract
  1996 (1)
Explaining Reasoning in Description Logics. McGuinness, D. L Ph.D. Thesis, Rutgers University, 1996.
bibtex
  1995 (1)
Explaining Subsumption in Description Logics. McGuinness, D. L; and Borgida, A. In Proc. of the 14th International Joint Conference on Artificial Intelligence, pages 816--821, Montreal, Canada, August 1995. Morgan Kaufmann
bibtex