1. D.L. McGuinness, F. van Harmelen, OWL web ontology language overview, Technical report, World Wide Web Consortium (W3C), February 10 2004, recommendation.
2. D.L. McGuinness, P. Pinheiro da Silva, Explaining answers from the semantic web: the inference web approach, J. Web Semantics 1(4) (2004) 397–413.
3. D.L. McGuinness, P. Pinheiro da Silva, Infrastructure for web explanations, in: D. Fensel, K. Sycara, J. Mylopoulos (Eds.), Proceedings of Second International Semantic Web Conference (ISWC2003), Lecture Notes in Computer Science, vol. 2870, Springer, Sanibel, FL, USA, October 2003, pp. 113–129.
4. D.L. McGuinness, P. Pinheiro da Silva, Registry-based support for information integration, in: Proceedings of IJCAI-2003 Workshop on Information Integration on the Web (IIWeb-03), Acapulco, Mexico, August 2003, pp. 117–122.
5. P.Pinheiro da Silva, P. Hayes, D.L. McGuinness, R. Fikes, PPDR: a proof protocol for deductive reasoning, Technical Report KSL-04-04, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, March 2004.