Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. Combinable Proof Fragments for the Web. Tech. Rep. KSL-03-04, Knowledge Systems Laboratory, Stanford University, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Knowledge Provenance Infrastructure - Silva, McGuinness, McCool (2003) (5 citations) Self-citation (Da Deborah Mcguinness) (Correct)
No context found.
Paulo Pinheiro da Silva and Deborah L. McGuinness. Combinable Proof Fragments for the Web. Technical Report KSL-03-04, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, January 2003.
Registry-Based Support for Information Integration - McGuinness, Silva (2003) Self-citation (Silva Mcguinness) (Correct)
....Web is our approach for handling explanations in distributed setting such as the web. These explanations provide the foundation for allowing consumers (agents and humans) to decide when and how much to trust information and results. 2 Inference Web and the Registry Inference Web [McGuinness and Pinheiro da Silva, 2003] provides an infrastructure for proofs and it uses the registry of information. The Inference Web framework is composed http: www.daml.org 2 http: reliant teknwledge cm RKF 3 http: www ic arda rg Nvellntelligence 4 http: www ic arda rg InfExplit aquainff of a specification of proofs and ....
....and explanations. Their instances are not registered in the 1W Registry. InferenceRules can also be derived from other Inference Rules as also presented in Figure 2. DerivedRules are defined in terms of proof fragments that are combinations of APFSs and InferenceSteps, as further described in [Pinheiro da Silva and McGuinness, 2003]. They are derived since each InferenceStep is the application of one InferenceRule, as represented by the association between the two concepts in Figure 2. The arrow in the association means that InferenceStep has visibility of InferenceRules. Tactics are specialized DerivedRules that have the ....
Paulo Pin- heiro da Silva and Deborah L. McGuinness. Combinable Proof Fragments for the Web. Submitted for publication.
Understanding Ontologies in Scholarly Disciplines - Brian Gaines Knowledge (Correct)
No context found.
Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. Combinable Proof Fragments for the Web. Tech. Rep. KSL-03-04, Knowledge Systems Laboratory, Stanford University, 2003.
Understanding Ontologies in Scholarly Disciplines - Brian Gaines Knowledge (Correct)
No context found.
Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. Combinable Proof Fragments for the Web. Tech. Rep. KSL-03-04, Knowledge Systems Laboratory, Stanford University, 2003.
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