Explaining answers from the semantic web: The inference web approach

Web Semantics

Volumn 1, Issue 4, 2004, Pages 397-413

  McGuinness, Deborah L ^a   Da Silva, Paulo Pinheiro ^a  

^a Stanford University   (United States)

Author keywords

Inference Web; Knowledge provenance; PML; Web explanations

Indexed keywords

EXPERT SYSTEMS; INFORMATION ANALYSIS; KNOWLEDGE REPRESENTATION; RELIABILITY; SPECIFICATIONS; WEB BROWSERS; WORLD WIDE WEB; XML;

INFERENCE WEB; KNOWLEDGE PROVENANCE; PROOF MARKUP LANGUAGE (PML); WEB EXPLANATIONS;

SEMANTICS;

EID: 9344223389     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2004.06.002     Document Type: Conference Paper

References (32)

1. A. Borgida, E. Franconi, I. Horrocks, Explaining ACL sub-sumption, in: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI2000), IOS Press, 2000, pp. 209-213.
2. A. Borgida, E. Franconi, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, Explaining ALC subsumption, in: Proceedings of the International Workshop on Description Logics (DL'99), Linköping, Sweden, 1999, pp. 33-36.
3. A. Borgida, D.L. McGuinness, Asking queries about frames, in: Proceedings of Fifth International Conference on the Principles of Knowledge Representation and Reasoning, Cambridge, MA, Morgan Kaufmann, 1996.
4. R. Boyer, M. Kaufmann, J. Moore, The Boyer-Moore theorem prover and its interactive enhancements, Computers Math. Appl. 29 (2) (1995) 27-62.
5. P. Buneman, S. Khanna, W.-C. Tan, Why and where: a characterization of data provenance, in: Proceedings of 8th International Conference on Database Theory, 2001, pp. 316-330.
6. H. Chalupsky, T. Russ, Why not: debugging failed queries in large knowledge bases, in: Proceedings of the 14th Innovative Applications of Artificial Intelligence Conference (IAAI-02), 2002, pp. 870-877.
7. A. Das, W. Wu, D.L. McGuinness, Industrial strength ontology management, in: I. Cruz, S. Decker, J. Euzenat, D.L. McGuinness (Eds.), The Emerging Semantic Web, IOS Press, 2002.
8. A. Felty, D. Miller, Proof Explanation and Revision, Technical Report MSCIS8817, University of Pennsylvania, 1987.
9. D. Ferrucci, A. Lally, UIMA: an architectural approach to unstructured information processing in the corporate research environment, J. Nat. Language Eng. (2004), in press.
10. R. Fikes, P. Hayes, I. Horrocks, DAML Query Language (DQL) Abstract Specification, Technical report, W3C, 2002.
11. R. Fikes, D.L. McGuinness, An Axiomatic Semantics for RDF, RDF-S, and DAML + OIL (March 2001), Technical Report Note 18, W3C, December 2001.
12. F. Giunchiglia, P. Shvaiko, Semantic matching, Technical Report, vol. 71, CEUR, WS, 2003.
13. R.V. Guha, R. McCool, E. Miller, Semantic search, in: Proceedings of the 12th International World Wide Web Conference (WWW2003), Budapest, Hungary, ACM Press, 2003, pp. 700-709.
14. X. Huang, Reconstructing proofs at the assertion level, in: Proceedings of CADE-94, LNAI-814, Springer, 1994, pp. 738-752.
15. E.F. Kendall, M.E. Dutra, D.L. McGuinness, Towards a commercial ontology development environment, in: International Semantic Web Conference Late Breaking Topics, Sadinia, Italy, 9-12 June 2002.
16. D.L. McGuinness, Explaining Reasoning in Description Logics, PhD thesis, Rutgers University, 1996.
17. D.L. McGuinness, Ontologies come of age, in: D. Fensel, J.A. Hendler, H. Lieberman, W. Wahlster (Eds.), Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential, MIT Press, 2003, pp. 171-194.
18. D.L. McGuinness, A. Borgida, Explaining subsumption in description logics, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montreal, Canada, Morgan Kaufmann, 1995, pp. 816-821.
19. D.L. McGuinness, P. Patel-Schneider, From description logic provers to knowledge representation systems, in: F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider (Eds.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, 2003, pp. 265-281.
20. D.L. McGuinness, P.P. da Silva, Trusting answers on the web, in: M.T. Maybury (Ed.), New Directions in Question Answering, AAAI/MIT Press, in press.
21. D.L. McGuinness, P.P. da Silva, Infrastructure for web explanations, in: D. Fensel, K. Sycara, J. Mylopoulos (Eds.), Proceedings of 2nd International Semantic Web Conference (ISWC2003), LNCS-2870, Sanibel, FL, USA, Springer, 2003, pp. 113-129.
22. D.L. McGuinness, P.P. da Silva, Registry-based support for information integration, in: Proceedings of IJCAI-2003 Workshop on Information Integration on the Web (IIWeb-03), Acapulco, Mexico, 2003, pp. 117-122.
23. D.L. McGuinness, P. Shvaiko, F. Giunchiglia, P.P. da Silva, Towards explaining semantic matching, in: Volker Haarslev, Ralf Moller (Eds.), Proceedings of the 2004 International Workshop on Description Logics, vol. 104, CEUR-WS, 2004.
24. D.L. McGuinness, F. van Harmelen, OWL Web Ontology Language Overview, Technical report, World Wide Web Consortium (W3C), 10 February 2004 (Recommendation).
25. D.L. McGuinness, J. Wright, An industrial strength description logic-based configurator platform, IEEE Intell. Syst. 13 (4) (1998) 69-77, July/August.
26. P.P. 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.
27. P.P. da Silva, D.L. McGuinness, R. Fikes, A Proof Markup Language for Semantic Web Services, Technical Report KSL-04-01, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, January 2004.
28. P.P. da Silva, D.L. McGuinness, R. McCool, Knowledge provenance infrastructure, IEEE Data Eng. Bull. 25 (2) (2003) 179-227.
29. E.H. Shortliffe, Computer-Based Medical Consultations: MYCIN, Elsevier, North Holland, New York, USA, 1976.
30. P. Shvaiko, F. Giunchiglia, P.P. da Silva, D.L. McGuinness, Web Explanations for Semantic Heterogeneity Discovery, Technical Report KSL-04-02, Knowledge Systems Laboratory, Stanford University, Stanford, CA, January 2004.
31. M. Smith, D.L. McGuinness, R. Volz, C. Welty, Web Ontology Language (OWL) Guide Version 1.0, Technical Report Working Draft, World Wide Web Committee (W3C), 2003.
32. W. Swartout, C. Paris, J. Moore, Explanations in knowledge systems: design for explainable expert systems, IEEE Intell. Syst. (June) (1991).