A proof markup language for Semantic Web services

被引：39

作者：

da Silva, PP ^{[1
]}

McGuinness, DL ^{[1
]}

Fikes, R ^{[1
]}

机构：

[1] Stanford Univ, Knowledge Syst Lab, Stanford, CA 94305 USA

来源：

INFORMATION SYSTEMS | 2006年 / 31卷 / 4-5期

关键词：

PML; Semantic Web; Web services; proofs; provenance;

D O I：

10.1016/j.is.2005.02.003

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept and trust a result produced by perhaps an unfamiliar Web service, the result needs to be accompanied by a justification that is understandable and usable by the client. In this paper, we describe the proof markup language (PML), an interlingua representation for justifications of results produced by Semantic Web services. We also introduce our Inference Web infrastructure that uses PML as the foundation for providing explanations of Web services to end users. We additionally show how PM L is critical for and provides the foundation for hybrid reasoning where results are produced cooperatively by multiple reasoners. Our contributions in this paper focus on technological foundations for capturing formal representations of term meaning and justification descriptions thereby facilitating trust and reuse of answers from web agents. (c) 2005 Elsevier B.V. All rights reserved.

引用

页码：381 / 395

页数：15

共 19 条

[1]

[Anonymous], 2004, J WEB SEMANT, DOI DOI 10.1016/J.WEBSEM.2004.06.002

[2]

[Anonymous], 2004, OWL WEB ONTOLOGY LAN

[3]

[Anonymous], 1992, KNOWLEDGE INTERCHANG

[4]

Cheikhrouhou Lassaad, 2000, P INT C ART COMP INT

[5]

DASILVA PP, 2004, KSL0404

[6]

Ferrucci D., 2004, Natural Language Engineering, V10, P327, DOI 10.1017/S1351324904003523

[7]

FIKES R, 2001, ANIOMATIC SEMANTICS

[8]

FIKES R, 2003, KSL0301 STANF U

[9]

Huang X., 1994, P 12 INT C AUT DED, V814, P738, DOI DOI 10.1007/3-540-58156-1_53

[10] MBASE: Representing knowledge and context for the integration of mathematical software systems [J].

Kohlhase, M ;

Franke, A .

JOURNAL OF SYMBOLIC COMPUTATION, 2001, 32 (04) :365-402

← 1 2 →