Infrastructure for web explanations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2870, Issue , 2003, Pages 113-129

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

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; ENGINES; SOCIAL NETWORKING (ONLINE);

INFERENCE WEBS; INFORMATION CONCERNING; INFORMATION SOURCES; REASONING ENGINE; REASONING LANGUAGES; REWRITE RULES; SEMANTIC WEB AGENTS; WEB APPLICATION;

SEMANTIC WEB;

EID: 0242276211     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39718-2_8     Document Type: Article

References (20)

1. Alex Borgida, Enrico Franconi, and Ian Horrocks. Explaining ACL Subsumption. In Proc. of the 14th European Conf. on Artificial Intelligence (ECAI2000), pages 209-213. IOS Press, 2000.
2. Alex Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, and Peter F. Patel-Schneider. Explaining ALC Subsumption. In Proc. of the International Workshop on Description Logics (DL'99), pages 33-36, Linköping, Sweden, July 1999.
3. Alex Borgida and Deborah L. McGuinness. Asking Queries about Frames. In Proceedings of Fifth International Conference on the Principles of Knowledge Representation and Reasoning, Cambridge, Massachusetts, November 1996. Morgan Kaufmann.
4. Robert Boyer, Matt Kaufmann, and J. Moore. The Boyer-Moore Theorem Prover and Its Interactive Enhancements. Computers and Mathematics with Applications, 29(2):27-62, 1995.
5. Peter Buneman, Sanjeev Khanna, and Wang-Chiew Tan. Why and Where: A Characterization of Data Provenance. In Proceedings of 8th International Conference on Database Theory, pages 316-330, January 2001.
6. Hans Chalupsky and Tom Russ. WhyNot: Debugging Failed Queries in Large Knowledge Bases. In Proc. of the 14th Innovative Applications of Artificial Intelligence Conference (IAAI-02), pages 870-877, 2002.
7. Dan Connolly, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. DAML+OIL (March 2001) Reference Description. Technical Report Note 18, World Wide Web Committee (W3C), December 2001.
8. Aseem Das, Wei Wu, and Deborah L. McGuinness. Industrial Strength Ontology Management. In Isabel Cruz, Stefan Decker, Jerome Euzenat, and Deborah L. McGuinness, editors, The Emerging Semantic Web. IOS Press, 2002.
9. Amy Felty and Dale Miller. Proof Explanation and Revision. Technical Report MSCIS8817, University of Pennsylvania, 1987.
10. Richard Fikes, Pat Hayes, and Ian Horrocks. DAML Query Language (DQL) Abstract Specification. Technical report, W3C, 2002.
11. Richard Fikes and Deborah L. McGuinness. An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL (March 2001). Technical Report Note 18, W3C, December 2001.
12. Xiaorong Huang. Reconstructing Proofs at the Assertion Level. In Proceedings of CADE-94, LNAI-814, pages 738-752. Springer, 1994.
13. Deborah L. McGuinness. Explaining Reasoning in Description Logics. PhD thesis, Rutgers University, 1996.
14. Deborah L. McGuinness and Alex Borgida. Explaining Subsumption in Description Logics. In Proc. of the 14th International Joint Conference on Artificial Intelligence, pages 816-821, Montreal, Canada, August 1995. Morgan Kaufmann.
15. Deborah L. McGuinness and Peter Patel-Schneider. From Description Logic Provers to Knowledge Representation Systems. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 265-281. Cambridge University Press, 2003.
16. Deborah L. McGuinness and Paulo Pinheiro da Silva. Trusting Answers on the Web. In Mark T. Maybury, editor, New Directions in Question Answering. AAAI/MIT Press. To appear.
17. Deborah L. McGuinness and Paulo Pinheiro da Silva. Registry-Based Support for Information Integration. In Proceedings of IJCAI-2003 Workshop on Information Integration on the Web (IIWeb-03), pages 117-122, Acapulco, Mexico, August 2003.
18. Edward Hance Shortliffe. Computer-Based Medical Consultations: MYCIN. Elsevier/North Holland, New York, NY, USA, 1976.
19. Michael Smith, Deborah L. McGuinness, Raphael Volz, and Chris Welty. Web Ontology Language (OWL) Guide Version 1.0. Technical Report Working Draft, World Wide Web Committee (W3C), 2003.
20. W. Swartout, C. Paris, and J. Moore. Explanations in Knowledge Systems: Design for Explainable Expert Systems. IEEE Intelligent Systems, June 1991.