Browse wiki
From Semantic Portal Wiki
| Inference web in action: lightweight use of the proof markup language |
| Abstract | The Inference Web infrastructure for web e … The Inference Web infrastructure for web explanations together with its underlying Proof Markup Language (PML) for encoding justification and provenance information has been used in multiple projects varying from explaining the behavior of cognitive agents to explaining how knowledge is extracted from multiple sources of information in natural language. The PML specification has increased significantly since its inception in 2002 in order to accommodate a rich set of requirements derived from multiple projects, including the ones mentioned above. In this paper, we have a very different goal than the other PML documents: to demonstrate that PML may be effectively used by simple systems (as well as complex systems) and to describe lightweight use of language and its associated Inference Web tools. We show how an exemplar scientific application can use lightweight PML descriptions within the context of an NSF-funded cyberinfrastructure project. The scientific application is used throughout the paper as a use case for the lightweight use of PML and the Inference Web and is meant to be an operational prototype for a class of cyberinfrastructure applications. class of cyberinfrastructure applications. |
|---|---|
| Address | Karlruhe, Germany + |
| Author | Paulo Pinheiro da Silva +, Deborah L. McGuinness +, Nicholas Del Rio +, Li Ding + |
| Bibtype | inproceedings + |
| Booktitle | Proceedings of the 7th International Semantic Web Conference (ISWC'08) + |
| Doi | http://dx.doi.org/10.1007/978-3-540-88564-1_55 + |
| Key | dblp:conf/semweb/silvamrd08 + |
| Modification dateThis property is a special property in this wiki. | 9 July 2009 14:30:41 + |
| Month | October + |
| Pages | 847-860 + |
| Paper url | http://dx.doi.org/10.1007/978-3-540-88564-1_55 + |
| Relation | Inference web + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/semweb/SilvaMRD08 + |
| Tag | Computer science + |
| Title | Inference Web in Action: Lightweight Use of the Proof Markup Language + |
| Tr id | TW-2008-13 + |
| Year | 2008 + |
| Categories | Conference Paper, Proceeding Paper, Publication, TW Technical Report |
| hide properties that link here |
| No properties link to this page. |
