Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes  Home/Search
Context Related
| stanford.edu/peopl...daSilva_IS_2004.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/people/pp/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Web services propose that they provide the means for remote interoperable access of components and software systems. However, successful inter-operation between components that do anything more than the simplest information retrieval is dependent upon those components having a shared understanding of the results that have passed between them. In this paper, we address the issue of understanding and trusting results generated by web services. We introduce a proof markup language (PML)... (Update)
Cited by: More
Semantic Web Policies - A Discussion of.. - Bonatti, Duma.. (2006) (Correct)
Text Analysis as Formal Inference for the Purposes of Uniform.. - Ferrucci (2004) (Correct)
Towards Explaining Semantic Matching - McGuinness, Shvaiko, Giunchiglia.. (2004) (Correct)
Active bibliography (related documents): More All
1.8: A Proof Markup Language for Semantic Web Services - Silva, McGuinness, Fikes (2004) (Correct)
0.4: Infrastructure for Web Explanations - Mcguinness, Silva (2003) (Correct)
0.4: Combinable Proof Fragments for the Web - Silva, McGuinness, Fikes (2003) (Correct)
Similar documents based on text: More All
0.5: Knowledge Provenance Infrastructure - Silva, McGuinness, McCool (2003) (Correct)
0.3: Registry-Based Support for Information Integration - McGuinness, Silva (2003) (Correct)
0.3: Inference Web: Portable and Sharable Explanations for.. - McGuinness, Silva (2003) (Correct)
Related documents from co-citation: More All
3: Semantic Matching (context) - Giunchiglia, Shvaiko - 2003
3: A computing procedure for quantification theory (context) - Davis, Putnam - 1960
3: FaCT and DLP - Horrocks, Patel-Schneider
BibTeX entry: (Update)
P. Pinheiro da Silva, D. L. McGuinness, and R. Fikes. A proof markup language for semantic web services. TR KSL-04-01, Stanford University, 2004. http://citeseer.ist.psu.edu/pinheirodasilva04proof.html More
@misc{ da04proof,
author = "P. da and S. McGuinness and R. Fikes",
title = "A proof markup language for semantic web services",
text = "P. Pinheiro da Silva, D. L. McGuinness, and R. Fikes. A proof markup language
for semantic web services. TR KSL-04-01, Stanford University, 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/pinheirodasilva04proof.html" }
Citations (may not include all citations):145 Isabelle: the next 700 theorem provers (context) - Paulson - 1990
44 OWL Web Ontology Language Overview (context) - McGuinness, van Harmelen - 2003
37 Reconstructing Proofs at the Assertion Level - Huang - 1994
26 Explaining Reasoning in Description Logics - McGuinness - 1996
22 Knowledge interchange format (context) - Genesereth, Fikes - 1992
18 McGuinness and Paulo Pinheiro da Silva (context) - Deborah - 2003
18 McGuinness and Paulo Pinheiro da Silva (context) - Deborah
12 An Axiomatic Semantics for RDF (context) - Fikes, McGuinness - 2001
10 JTP: A System Architecture and Component Library for Hybrid .. (context) - Fikes, Jenkins et al. - 2003
10 and Lynn Andrea Stein (context) - Connolly, van Harmelen et al. - 2001
9 MBase: Representing Knowledge and Context for the Integratio.. - Kohlhase, Franke - 2001
7 Knowledge Provenance Infrastructure - da, Deborah et al. - 2003
7 Unpublished seminar notes (context) - Reynolds - 1966
3 A Generic Proof Checker - rey, Watson - 2002
2 Software Verification Research Centre (context) - rey, Watson et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ksl.stanford.edu/people/pp/papers/): More
Combinable Proof Fragments for the Web - Silva, McGuinness, Fikes (2003) (Correct)
A UML-Based Design Environment for Interactive Applications - Silva, Paton (2001) (Correct)
Metric Evaluation of Interactive System Models - Silva, Paton (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC