A proof markup language for Semantic Web services

Information Systems

Volumn 31, Issue 4-5, 2006, Pages 381-395

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

^a Stanford University   (United States)

Author keywords

PML; Proofs; Provenance; Semantic Web; Web services

Indexed keywords

AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; INFORMATION SERVICES; LOGIC PROGRAMMING; SEMANTICS; SOFTWARE AGENTS;

PROOFS; PROVENANCE; SEMANTIC WEB; WEB SERVICES;

WORLD WIDE WEB;

EID: 33344456387     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2005.02.003     Document Type: Article

References (19)

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.
6. P. Pinheiro da Silva, D.L. McGuinness, R. McCool, Knowledge provenance infrastructure, IEEE Data Engineering Bulletin 26(4) (2003) 26-32.
7. J. Reynolds, Unpublished Seminar Notes, Stanford University, Stanford, CA, 1966.
8. M.R. Genesereth, R. Fikes, Knowledge interchange format, version 3.0 reference manual, Technical Report Logic-92-1, Computer Science Department, Stanford University, Stanford, CA, USA, 1992.
9. D. Ferrucci, A. Lally, UIMA: an architectural approach to unstructured information processing in the corporate research environment, Natural Language Engineering 10(3/4) (2004) 327-348.
10. R. Fikes, J. Jenkins, G. Frank, JTP: a system architecture and component library for hybrid reasoning, Technical Report KSL-03-01, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, 2003.
11. X. Huang, Reconstructing proofs at the assertion level, in: Proceedings of CADE-94, LNAI-814, Springer, Berlin, 1994, pp. 738-752.
12. R. Fikes, D.L. McGuinness, An axiomatic semantics for RDF, RDF-S, and DAML+OIL (March 2001), Technical Report Note 18, W3C, December 2001.
13. D.L. McGuinness, Explaining reasoning in description logics, Ph.D. Thesis, Rutgers University, 1996.
14. G.N. Watson, Proof representations in theorem provers, Technical Report 98-13, Software Verification Research Centre, The University of Queensland, Queensland, Australia, September 1998.
15. G.N. Watson, A generic proof checker, Ph.D. Thesis, The University of Queensland, Queensland, Australia, 2002.
16. L.C. Paulson, Isabelle: the next 700 theorem provers, in: P. Odifreddi (Ed.), Logic and Computer Science, Academic Press, New York, 1990, pp. 361-386.
17. L. Cheikhrouhou, V. Sorge, PDS-a three-dimensional data structure for proof plans, in: Proceedings of the International Conference on Artificial and Computational Intelligence (ACIDCA'2000), Monastir, Tunisia, March 2000.
18. M. Kohlhase, A. Franke, MBase: representing knowledge and context for the integration of mathematical software systems, J. Symbolic Comput. 32(4), September 2001, pp. 365-402.
19. D.L. McGuinness, P. Shvaiko, F. Giunchiglia, P.Pinheiro da Silva, Towards explaining semantic matching, in: V. Haarslev, R. Möller (Eds.), Proceedings of the 2004 International Workshop on Description Logics, vol. 104, CEUR-Workshop Proceedings, June 2004.