Inference Web in Action: Lightweight Use of the Proof Markup Language
Identifieur interne : 000105 ( Istex/Corpus ); précédent : 000104; suivant : 000106Inference Web in Action: Lightweight Use of the Proof Markup Language
Auteurs : Paulo Pinheiro Da Silva ; Deborah Mcguinness ; Nicholas Del Rio ; Li DingSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2008.
Abstract
Abstract: 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.
Url:
DOI: 10.1007/978-3-540-88564-1_55
Links to Exploration step
ISTEX:E176177F59219F6CB712D102E79083BF0EA2C9F1Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Inference Web in Action: Lightweight Use of the Proof Markup Language</title><author><name sortKey="Pinheiro Da Silva, Paulo" sort="Pinheiro Da Silva, Paulo" uniqKey="Pinheiro Da Silva P" first="Paulo" last="Pinheiro Da Silva">Paulo Pinheiro Da Silva</name><affiliation><mods:affiliation>University of Texas at El Paso, TX 79902, El Paso, USA</mods:affiliation></affiliation></author><author><name sortKey="Mcguinness, Deborah" sort="Mcguinness, Deborah" uniqKey="Mcguinness D" first="Deborah" last="Mcguinness">Deborah Mcguinness</name><affiliation><mods:affiliation>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</mods:affiliation></affiliation></author><author><name sortKey="Del Rio, Nicholas" sort="Del Rio, Nicholas" uniqKey="Del Rio N" first="Nicholas" last="Del Rio">Nicholas Del Rio</name><affiliation><mods:affiliation>University of Texas at El Paso, TX 79902, El Paso, USA</mods:affiliation></affiliation></author><author><name sortKey="Ding, Li" sort="Ding, Li" uniqKey="Ding L" first="Li" last="Ding">Li Ding</name><affiliation><mods:affiliation>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:E176177F59219F6CB712D102E79083BF0EA2C9F1</idno><date when="2008" year="2008">2008</date><idno type="doi">10.1007/978-3-540-88564-1_55</idno><idno type="url">https://api.istex.fr/document/E176177F59219F6CB712D102E79083BF0EA2C9F1/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000105</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Inference Web in Action: Lightweight Use of the Proof Markup Language</title><author><name sortKey="Pinheiro Da Silva, Paulo" sort="Pinheiro Da Silva, Paulo" uniqKey="Pinheiro Da Silva P" first="Paulo" last="Pinheiro Da Silva">Paulo Pinheiro Da Silva</name><affiliation><mods:affiliation>University of Texas at El Paso, TX 79902, El Paso, USA</mods:affiliation></affiliation></author><author><name sortKey="Mcguinness, Deborah" sort="Mcguinness, Deborah" uniqKey="Mcguinness D" first="Deborah" last="Mcguinness">Deborah Mcguinness</name><affiliation><mods:affiliation>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</mods:affiliation></affiliation></author><author><name sortKey="Del Rio, Nicholas" sort="Del Rio, Nicholas" uniqKey="Del Rio N" first="Nicholas" last="Del Rio">Nicholas Del Rio</name><affiliation><mods:affiliation>University of Texas at El Paso, TX 79902, El Paso, USA</mods:affiliation></affiliation></author><author><name sortKey="Ding, Li" sort="Ding, Li" uniqKey="Ding L" first="Li" last="Ding">Li Ding</name><affiliation><mods:affiliation>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2008</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">E176177F59219F6CB712D102E79083BF0EA2C9F1</idno><idno type="DOI">10.1007/978-3-540-88564-1_55</idno><idno type="ChapterID">55</idno><idno type="ChapterID">Chap55</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: 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.</div></front></TEI><istex><corpusName>springer</corpusName><author><json:item><name>Paulo Pinheiro da Silva</name><affiliations><json:string>University of Texas at El Paso, TX 79902, El Paso, USA</json:string></affiliations></json:item><json:item><name>Deborah McGuinness</name><affiliations><json:string>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</json:string></affiliations></json:item><json:item><name>Nicholas Del Rio</name><affiliations><json:string>University of Texas at El Paso, TX 79902, El Paso, USA</json:string></affiliations></json:item><json:item><name>Li Ding</name><affiliations><json:string>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</json:string></affiliations></json:item></author><language><json:string>eng</json:string></language><originalGenre><json:string>proceedings</json:string></originalGenre><abstract>Abstract: 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.</abstract><qualityIndicators><score>7.136</score><pdfVersion>1.3</pdfVersion><pdfPageSize>430 x 660 pts</pdfPageSize><refBibsNative>false</refBibsNative><keywordCount>0</keywordCount><abstractCharCount>1181</abstractCharCount><pdfWordCount>5381</pdfWordCount><pdfCharCount>32863</pdfCharCount><pdfPageCount>14</pdfPageCount><abstractWordCount>178</abstractWordCount></qualityIndicators><title>Inference Web in Action: Lightweight Use of the Proof Markup Language</title><chapterId><json:string>55</json:string><json:string>Chap55</json:string></chapterId><genre><json:string>conference</json:string></genre><serie><editor><json:item><name>David Hutchison</name></json:item><json:item><name>Takeo Kanade</name></json:item><json:item><name>Josef Kittler</name></json:item><json:item><name>Jon M. Kleinberg</name></json:item><json:item><name>Friedemann Mattern</name></json:item><json:item><name>John C. Mitchell</name></json:item><json:item><name>Moni Naor</name></json:item><json:item><name>Oscar Nierstrasz</name></json:item><json:item><name>C. Pandu Rangan</name></json:item><json:item><name>Bernhard Steffen</name></json:item><json:item><name>Madhu Sudan</name></json:item><json:item><name>Demetri Terzopoulos</name></json:item><json:item><name>Doug Tygar</name></json:item><json:item><name>Moshe Y. Vardi</name></json:item><json:item><name>Gerhard Weikum</name></json:item></editor><issn><json:string>0302-9743</json:string></issn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Lecture Notes in Computer Science</title><copyrightDate>2008</copyrightDate></serie><host><editor><json:item><name>Amit Sheth</name><affiliations><json:string>Department of Computer Science and Engineering, Wright State University, Colonel Glenn Way 3640, 454350001, Dayton, USA</json:string><json:string>E-mail: amit@cs.uga.edu</json:string></affiliations></json:item><json:item><name>Steffen Staab</name><affiliations><json:string>Institut für Informatik, Universität Koblenz-Landau, Universitätsstr. 1, 56016, Koblenz, Germany</json:string><json:string>E-mail: staab@uni-koblenz.de</json:string></affiliations></json:item><json:item><name>Mike Dean</name><affiliations><json:string>BBN Technologies, 48103, Ann Arbor, USA</json:string><json:string>E-mail: mdean@bbn.com</json:string></affiliations></json:item><json:item><name>Massimo Paolucci</name><affiliations><json:string>DoCoMo Communications Laboratories Europe GmbH, 80687, Munich, Germany</json:string><json:string>E-mail: paolucci@docomolab-euro.com</json:string></affiliations></json:item><json:item><name>Diana Maynard</name><affiliations><json:string>Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, Sheffield, UK</json:string><json:string>E-mail: diana@dcs.shef.ac.uk</json:string></affiliations></json:item><json:item><name>Timothy Finin</name><affiliations><json:string>CSEE Department, UMBC, 1000 Hilltop Circle, MD 21250, Baltimore, USA</json:string><json:string>E-mail: finin@cs.umbc.edu</json:string></affiliations></json:item><json:item><name>Krishnaprasad Thirunarayan</name><affiliations><json:string>Department of Computer Science and Engineering, Wright State University, 3640 Colonel Glenn Highway, OH 45435, Dayton, USA</json:string><json:string>E-mail: t.k.prasad@wright.edu</json:string></affiliations></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Information Systems Applications (incl.Internet)</value></json:item><json:item><value>Data Mining and Knowledge Discovery</value></json:item><json:item><value>Computer Communication Networks</value></json:item><json:item><value>Multimedia Information Systems</value></json:item><json:item><value>Logics and Meanings of Programs</value></json:item><json:item><value>Artificial Intelligence (incl. Robotics)</value></json:item></subject><isbn><json:string>978-3-540-88563-4</json:string></isbn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>The Semantic Web - ISWC 2008</title><bookId><json:string>978-3-540-88564-1</json:string></bookId><volume>5318</volume><pages><last>860</last><first>847</first></pages><issn><json:string>0302-9743</json:string></issn><genre><json:string>book-series</json:string></genre><eisbn><json:string>978-3-540-88564-1</json:string></eisbn><copyrightDate>2008</copyrightDate><doi><json:string>10.1007/978-3-540-88564-1</json:string></doi></host><publicationDate>2008</publicationDate><copyrightDate>2008</copyrightDate><doi><json:string>10.1007/978-3-540-88564-1_55</json:string></doi><id>E176177F59219F6CB712D102E79083BF0EA2C9F1</id><score>0.34483933</score><fulltext><json:item><original>true</original><mimetype>application/pdf</mimetype><extension>pdf</extension><uri>https://api.istex.fr/document/E176177F59219F6CB712D102E79083BF0EA2C9F1/fulltext/pdf</uri></json:item><json:item><original>false</original><mimetype>application/zip</mimetype><extension>zip</extension><uri>https://api.istex.fr/document/E176177F59219F6CB712D102E79083BF0EA2C9F1/fulltext/zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/E176177F59219F6CB712D102E79083BF0EA2C9F1/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Inference Web in Action: Lightweight Use of the Proof Markup Language</title><respStmt><resp>Références bibliographiques récupérées via GROBID</resp><name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name></respStmt></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><availability><p>Springer Berlin Heidelberg, 2008</p></availability><date>2008</date></publicationStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Inference Web in Action: Lightweight Use of the Proof Markup Language</title><author xml:id="author-1"><persName><forename type="first">Paulo</forename><surname>Pinheiro da Silva</surname></persName><affiliation>University of Texas at El Paso, TX 79902, El Paso, USA</affiliation></author><author xml:id="author-2"><persName><forename type="first">Deborah</forename><surname>McGuinness</surname></persName><affiliation>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</affiliation></author><author xml:id="author-3"><persName><forename type="first">Nicholas</forename><surname>Del Rio</surname></persName><affiliation>University of Texas at El Paso, TX 79902, El Paso, USA</affiliation></author><author xml:id="author-4"><persName><forename type="first">Li</forename><surname>Ding</surname></persName><affiliation>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</affiliation></author></analytic><monogr><title level="m">The Semantic Web - ISWC 2008</title><title level="m" type="sub">7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings</title><idno type="pISBN">978-3-540-88563-4</idno><idno type="eISBN">978-3-540-88564-1</idno><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="DOI">10.1007/978-3-540-88564-1</idno><idno type="book-ID">978-3-540-88564-1</idno><idno type="book-title-ID">183686</idno><idno type="book-sequence-number">5318</idno><idno type="book-volume-number">5318</idno><idno type="book-chapter-count">64</idno><editor><persName><forename type="first">Amit</forename><surname>Sheth</surname></persName><email>amit@cs.uga.edu</email><affiliation>Department of Computer Science and Engineering, Wright State University, Colonel Glenn Way 3640, 454350001, Dayton, USA</affiliation></editor><editor><persName><forename type="first">Steffen</forename><surname>Staab</surname></persName><email>staab@uni-koblenz.de</email><affiliation>Institut für Informatik, Universität Koblenz-Landau, Universitätsstr. 1, 56016, Koblenz, Germany</affiliation></editor><editor><persName><forename type="first">Mike</forename><surname>Dean</surname></persName><email>mdean@bbn.com</email><affiliation>BBN Technologies, 48103, Ann Arbor, USA</affiliation></editor><editor><persName><forename type="first">Massimo</forename><surname>Paolucci</surname></persName><email>paolucci@docomolab-euro.com</email><affiliation>DoCoMo Communications Laboratories Europe GmbH, 80687, Munich, Germany</affiliation></editor><editor><persName><forename type="first">Diana</forename><surname>Maynard</surname></persName><email>diana@dcs.shef.ac.uk</email><affiliation>Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, Sheffield, UK</affiliation></editor><editor><persName><forename type="first">Timothy</forename><surname>Finin</surname></persName><email>finin@cs.umbc.edu</email><affiliation>CSEE Department, UMBC, 1000 Hilltop Circle, MD 21250, Baltimore, USA</affiliation></editor><editor><persName><forename type="first">Krishnaprasad</forename><surname>Thirunarayan</surname></persName><email>t.k.prasad@wright.edu</email><affiliation>Department of Computer Science and Engineering, Wright State University, 3640 Colonel Glenn Highway, OH 45435, Dayton, USA</affiliation></editor><imprint><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date type="published" when="2008"></date><biblScope unit="volume">5318</biblScope><biblScope unit="page" from="847">847</biblScope><biblScope unit="page" to="860">860</biblScope></imprint></monogr><series><title level="s">Lecture Notes in Computer Science</title><editor><persName><forename type="first">David</forename><surname>Hutchison</surname></persName></editor><editor><persName><forename type="first">Takeo</forename><surname>Kanade</surname></persName></editor><editor><persName><forename type="first">Josef</forename><surname>Kittler</surname></persName></editor><editor><persName><forename type="first">Jon</forename><forename type="first">M.</forename><surname>Kleinberg</surname></persName></editor><editor><persName><forename type="first">Friedemann</forename><surname>Mattern</surname></persName></editor><editor><persName><forename type="first">John</forename><forename type="first">C.</forename><surname>Mitchell</surname></persName></editor><editor><persName><forename type="first">Moni</forename><surname>Naor</surname></persName></editor><editor><persName><forename type="first">Oscar</forename><surname>Nierstrasz</surname></persName></editor><editor><persName><forename type="first">C.</forename><surname>Pandu Rangan</surname></persName></editor><editor><persName><forename type="first">Bernhard</forename><surname>Steffen</surname></persName></editor><editor><persName><forename type="first">Madhu</forename><surname>Sudan</surname></persName></editor><editor><persName><forename type="first">Demetri</forename><surname>Terzopoulos</surname></persName></editor><editor><persName><forename type="first">Doug</forename><surname>Tygar</surname></persName></editor><editor><persName><forename type="first">Moshe</forename><forename type="first">Y.</forename><surname>Vardi</surname></persName></editor><editor><persName><forename type="first">Gerhard</forename><surname>Weikum</surname></persName></editor><biblScope><date>2008</date></biblScope><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="series-Id">558</idno></series><idno type="istex">E176177F59219F6CB712D102E79083BF0EA2C9F1</idno><idno type="DOI">10.1007/978-3-540-88564-1_55</idno><idno type="ChapterID">55</idno><idno type="ChapterID">Chap55</idno></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>2008</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>Abstract: 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.</p></abstract><textClass><keywords scheme="Book-Subject-Collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass><keywords scheme="Book-Subject-Group"><list><label>I</label><label>I18040</label><label>I18030</label><label>I13022</label><label>I18059</label><label>I1603X</label><label>I21017</label><item><term>Computer Science</term></item><item><term>Information Systems Applications (incl.Internet)</term></item><item><term>Data Mining and Knowledge Discovery</term></item><item><term>Computer Communication Networks</term></item><item><term>Multimedia Information Systems</term></item><item><term>Logics and Meanings of Programs</term></item><item><term>Artificial Intelligence (incl. Robotics)</term></item></list></keywords></textClass></profileDesc><revisionDesc><change when="2008">Published</change><change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-09-22">References added</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><original>false</original><mimetype>text/plain</mimetype><extension>txt</extension><uri>https://api.istex.fr/document/E176177F59219F6CB712D102E79083BF0EA2C9F1/fulltext/txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>David</GivenName><FamilyName>Hutchison</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Takeo</GivenName><FamilyName>Kanade</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Josef</GivenName><FamilyName>Kittler</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Jon</GivenName><GivenName>M.</GivenName><FamilyName>Kleinberg</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Friedemann</GivenName><FamilyName>Mattern</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>John</GivenName><GivenName>C.</GivenName><FamilyName>Mitchell</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Moni</GivenName><FamilyName>Naor</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Oscar</GivenName><FamilyName>Nierstrasz</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>C.</GivenName><FamilyName>Pandu Rangan</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Bernhard</GivenName><FamilyName>Steffen</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Madhu</GivenName><FamilyName>Sudan</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Demetri</GivenName><FamilyName>Terzopoulos</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Doug</GivenName><FamilyName>Tygar</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Moshe</GivenName><GivenName>Y.</GivenName><FamilyName>Vardi</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Weikum</FamilyName></EditorName></Editor></EditorGroup></SeriesHeader><Book Language="En"><BookInfo BookProductType="Proceedings" ContainsESM="No" Language="En" MediaType="eBook" NumberingStyle="Unnumbered" OutputMedium="All" TocLevels="0"><BookID>978-3-540-88564-1</BookID><BookTitle>The Semantic Web - ISWC 2008</BookTitle><BookSubTitle>7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings</BookSubTitle><BookVolumeNumber>5318</BookVolumeNumber><BookSequenceNumber>5318</BookSequenceNumber><BookDOI>10.1007/978-3-540-88564-1</BookDOI><BookTitleID>183686</BookTitleID><BookPrintISBN>978-3-540-88563-4</BookPrintISBN><BookElectronicISBN>978-3-540-88564-1</BookElectronicISBN><BookChapterCount>64</BookChapterCount><BookCopyright><CopyrightHolderName>Springer Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2008</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I18040" Priority="1" Type="Secondary">Information Systems Applications (incl.Internet)</BookSubject><BookSubject Code="I18030" Priority="2" Type="Secondary">Data Mining and Knowledge Discovery</BookSubject><BookSubject Code="I13022" Priority="3" Type="Secondary">Computer Communication Networks</BookSubject><BookSubject Code="I18059" Priority="4" Type="Secondary">Multimedia Information Systems</BookSubject><BookSubject Code="I1603X" Priority="5" Type="Secondary">Logics and Meanings of Programs</BookSubject><BookSubject Code="I21017" Priority="6" Type="Secondary">Artificial Intelligence (incl. Robotics)</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup></BookInfo><BookHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Amit</GivenName><FamilyName>Sheth</FamilyName></EditorName><Contact><Email>amit@cs.uga.edu</Email></Contact></Editor><Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Steffen</GivenName><FamilyName>Staab</FamilyName></EditorName><Contact><Email>staab@uni-koblenz.de</Email></Contact></Editor><Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Mike</GivenName><FamilyName>Dean</FamilyName></EditorName><Contact><Email>mdean@bbn.com</Email></Contact></Editor><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Massimo</GivenName><FamilyName>Paolucci</FamilyName></EditorName><Contact><Email>paolucci@docomolab-euro.com</Email></Contact></Editor><Editor AffiliationIDS="Aff5"><EditorName DisplayOrder="Western"><GivenName>Diana</GivenName><FamilyName>Maynard</FamilyName></EditorName><Contact><Email>diana@dcs.shef.ac.uk</Email></Contact></Editor><Editor AffiliationIDS="Aff6"><EditorName DisplayOrder="Western"><GivenName>Timothy</GivenName><FamilyName>Finin</FamilyName></EditorName><Contact><Email>finin@cs.umbc.edu</Email></Contact></Editor><Editor AffiliationIDS="Aff7"><EditorName DisplayOrder="Western"><GivenName>Krishnaprasad</GivenName><FamilyName>Thirunarayan</FamilyName></EditorName><Contact><Email>t.k.prasad@wright.edu</Email></Contact></Editor><Affiliation ID="Aff1"><OrgDivision>Department of Computer Science and Engineering</OrgDivision><OrgName>Wright State University</OrgName><OrgAddress><Street>Colonel Glenn Way 3640</Street><Postcode>454350001</Postcode><City>Dayton</City><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgDivision>Institut für Informatik</OrgDivision><OrgName>Universität Koblenz-Landau</OrgName><OrgAddress><Street>Universitätsstr. 1</Street><Postcode>56016</Postcode><City>Koblenz</City><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgName>BBN Technologies</OrgName><OrgAddress><Postcode>48103</Postcode><City>Ann Arbor</City><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff4"><OrgName>DoCoMo Communications Laboratories Europe GmbH</OrgName><OrgAddress><Postcode>80687</Postcode><City>Munich</City><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff5"><OrgDivision>Department of Computer Science</OrgDivision><OrgName>University of Sheffield</OrgName><OrgAddress><Street>Regent Court, 211 Portobello Street</Street><Postcode>S1 4DP</Postcode><City>Sheffield</City><Country>UK</Country></OrgAddress></Affiliation><Affiliation ID="Aff6"><OrgName>CSEE Department, UMBC</OrgName><OrgAddress><Street>1000 Hilltop Circle</Street><Postcode>MD 21250</Postcode><City>Baltimore</City><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff7"><OrgDivision>Department of Computer Science and Engineering</OrgDivision><OrgName>Wright State University</OrgName><OrgAddress><Street>3640 Colonel Glenn Highway</Street><Postcode>OH 45435</Postcode><City>Dayton</City><Country>USA</Country></OrgAddress></Affiliation></EditorGroup></BookHeader><Part ID="Part2"><PartInfo TocLevels="0"><PartID>2</PartID><PartSequenceNumber>2</PartSequenceNumber><PartTitle>Semantic Web in Use Track</PartTitle><PartChapterCount>14</PartChapterCount><PartContext><SeriesID>558</SeriesID><BookTitle>The Semantic Web - ISWC 2008</BookTitle></PartContext></PartInfo><SubPart ID="SubPart17"><SubPartInfo><SubPartID>17</SubPartID><SubPartSequenceNumber>17</SubPartSequenceNumber><SubPartTitle>Services and Infrastructure</SubPartTitle><SubPartChapterCount>4</SubPartChapterCount></SubPartInfo><Chapter ID="Chap55" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" NumberingStyle="Unnumbered" TocLevels="0"><ChapterID>55</ChapterID><ChapterDOI>10.1007/978-3-540-88564-1_55</ChapterDOI><ChapterSequenceNumber>55</ChapterSequenceNumber><ChapterTitle Language="En">Inference Web in Action: Lightweight Use of the Proof Markup Language</ChapterTitle><ChapterFirstPage>847</ChapterFirstPage><ChapterLastPage>860</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2008</CopyrightYear></ChapterCopyright><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><PartID>2</PartID><BookID>978-3-540-88564-1</BookID><BookTitle>The Semantic Web - ISWC 2008</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff8"><AuthorName DisplayOrder="Western"><GivenName>Paulo</GivenName><FamilyName>Pinheiro da Silva</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff9"><AuthorName DisplayOrder="Western"><GivenName>Deborah</GivenName><FamilyName>McGuinness</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff8"><AuthorName DisplayOrder="Western"><GivenName>Nicholas</GivenName><Particle>Del</Particle><FamilyName>Rio</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff9"><AuthorName DisplayOrder="Western"><GivenName>Li</GivenName><FamilyName>Ding</FamilyName></AuthorName></Author><Affiliation ID="Aff8"><OrgName>University of Texas at El Paso</OrgName><OrgAddress><City>El Paso</City><Postcode>TX 79902</Postcode><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff9"><OrgName>Rensselaer Polytechnic Institute</OrgName><OrgAddress><City>Troy</City><Postcode>NY 12180</Postcode><Country>USA</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>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.</Para></Abstract></ChapterHeader><NoBody></NoBody></Chapter></SubPart></Part></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Inference Web in Action: Lightweight Use of the Proof Markup Language</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>Inference Web in Action: Lightweight Use of the Proof Markup Language</title></titleInfo><name type="personal"><namePart type="given">Paulo</namePart><namePart type="family">Pinheiro da Silva</namePart><affiliation>University of Texas at El Paso, TX 79902, El Paso, USA</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Deborah</namePart><namePart type="family">McGuinness</namePart><affiliation>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Nicholas</namePart><namePart type="family">Del Rio</namePart><affiliation>University of Texas at El Paso, TX 79902, El Paso, USA</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Li</namePart><namePart type="family">Ding</namePart><affiliation>Rensselaer Polytechnic Institute, NY 12180, Troy, USA</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="conference" displayLabel="proceedings"></genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2008</dateIssued><copyrightDate encoding="w3cdtf">2008</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><physicalDescription><internetMediaType>text/html</internetMediaType></physicalDescription><abstract lang="en">Abstract: 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.</abstract><relatedItem type="host"><titleInfo><title>The Semantic Web - ISWC 2008</title><subTitle>7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings</subTitle></titleInfo><name type="personal"><namePart type="given">Amit</namePart><namePart type="family">Sheth</namePart><affiliation>Department of Computer Science and Engineering, Wright State University, Colonel Glenn Way 3640, 454350001, Dayton, USA</affiliation><affiliation>E-mail: amit@cs.uga.edu</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Steffen</namePart><namePart type="family">Staab</namePart><affiliation>Institut für Informatik, Universität Koblenz-Landau, Universitätsstr. 1, 56016, Koblenz, Germany</affiliation><affiliation>E-mail: staab@uni-koblenz.de</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Mike</namePart><namePart type="family">Dean</namePart><affiliation>BBN Technologies, 48103, Ann Arbor, USA</affiliation><affiliation>E-mail: mdean@bbn.com</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Massimo</namePart><namePart type="family">Paolucci</namePart><affiliation>DoCoMo Communications Laboratories Europe GmbH, 80687, Munich, Germany</affiliation><affiliation>E-mail: paolucci@docomolab-euro.com</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Diana</namePart><namePart type="family">Maynard</namePart><affiliation>Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, Sheffield, UK</affiliation><affiliation>E-mail: diana@dcs.shef.ac.uk</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Timothy</namePart><namePart type="family">Finin</namePart><affiliation>CSEE Department, UMBC, 1000 Hilltop Circle, MD 21250, Baltimore, USA</affiliation><affiliation>E-mail: finin@cs.umbc.edu</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Krishnaprasad</namePart><namePart type="family">Thirunarayan</namePart><affiliation>Department of Computer Science and Engineering, Wright State University, 3640 Colonel Glenn Highway, OH 45435, Dayton, USA</affiliation><affiliation>E-mail: t.k.prasad@wright.edu</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book-series" displayLabel="Proceedings"></genre><originInfo><copyrightDate encoding="w3cdtf">2008</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book-Subject-Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book-Subject-Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I18040">Information Systems Applications (incl.Internet)</topic><topic authority="SpringerSubjectCodes" authorityURI="I18030">Data Mining and Knowledge Discovery</topic><topic authority="SpringerSubjectCodes" authorityURI="I13022">Computer Communication Networks</topic><topic authority="SpringerSubjectCodes" authorityURI="I18059">Multimedia Information Systems</topic><topic authority="SpringerSubjectCodes" authorityURI="I1603X">Logics and Meanings of Programs</topic><topic authority="SpringerSubjectCodes" authorityURI="I21017">Artificial Intelligence (incl. Robotics)</topic></subject><identifier type="DOI">10.1007/978-3-540-88564-1</identifier><identifier type="ISBN">978-3-540-88563-4</identifier><identifier type="eISBN">978-3-540-88564-1</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">183686</identifier><identifier type="BookID">978-3-540-88564-1</identifier><identifier type="BookChapterCount">64</identifier><identifier type="BookVolumeNumber">5318</identifier><identifier type="BookSequenceNumber">5318</identifier><identifier type="PartChapterCount">14</identifier><part><date>2008</date><detail type="part"><title>Semantic Web in Use Track</title></detail><detail type="volume"><number>5318</number><caption>vol.</caption></detail><extent unit="pages"><start>847</start><end>860</end></extent></part><recordInfo><recordOrigin>Springer Berlin Heidelberg, 2008</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">David</namePart><namePart type="family">Hutchison</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Takeo</namePart><namePart type="family">Kanade</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Josef</namePart><namePart type="family">Kittler</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jon</namePart><namePart type="given">M.</namePart><namePart type="family">Kleinberg</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Friedemann</namePart><namePart type="family">Mattern</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">John</namePart><namePart type="given">C.</namePart><namePart type="family">Mitchell</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Moni</namePart><namePart type="family">Naor</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Oscar</namePart><namePart type="family">Nierstrasz</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">C.</namePart><namePart type="family">Pandu Rangan</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Bernhard</namePart><namePart type="family">Steffen</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Madhu</namePart><namePart type="family">Sudan</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Demetri</namePart><namePart type="family">Terzopoulos</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Doug</namePart><namePart type="family">Tygar</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Moshe</namePart><namePart type="given">Y.</namePart><namePart type="family">Vardi</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Weikum</namePart><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><copyrightDate encoding="w3cdtf">2008</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer Berlin Heidelberg, 2008</recordOrigin></recordInfo></relatedItem><identifier type="istex">E176177F59219F6CB712D102E79083BF0EA2C9F1</identifier><identifier type="DOI">10.1007/978-3-540-88564-1_55</identifier><identifier type="ChapterID">55</identifier><identifier type="ChapterID">Chap55</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer Berlin Heidelberg, 2008</accessCondition><recordInfo><recordContentSource>SPRINGER</recordContentSource><recordOrigin>Springer-Verlag Berlin Heidelberg, 2008</recordOrigin></recordInfo></mods></metadata><enrichments><json:item><type>multicat</type><uri>https://api.istex.fr/document/E176177F59219F6CB712D102E79083BF0EA2C9F1/enrichments/multicat</uri></json:item><istex:refBibTEI uri="https://api.istex.fr/document/E176177F59219F6CB712D102E79083BF0EA2C9F1/enrichments/refBib"><teiHeader></teiHeader><text><front></front><body></body><back><listBibl><biblStruct xml:id="b0"><monogr><title level="m" type="main">OWL web ontology language reference</title><author><persName><forename type="first">M</forename><surname>Dean</surname></persName></author><author><persName><forename type="first">G</forename><surname>Schreiber</surname></persName></author><imprint><date type="published" when="2004"></date><biblScope unit="page">3</biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b1"><monogr><title level="m" type="main">Identifying and Explaining Map Imperfections Through Knowledge Provenance Visualization</title><author><persName><forename type="first">Del</forename><surname>Rio</surname></persName></author><author><persName><forename type="first">N</forename><surname>Pinheiro Da Silva</surname></persName></author><author><persName><forename type="first">P</forename></persName></author><imprint><date type="published" when="2007-06"></date></imprint></monogr></biblStruct><biblStruct xml:id="b2"><analytic><title level="a" type="main">Probe-it! visualization support for provenance</title><author><persName><forename type="first">Del</forename><surname>Rio</surname></persName></author><author><persName><forename type="first">N</forename><surname>Pinheiro Da Silva</surname></persName></author><author><persName><forename type="first">P</forename></persName></author></analytic><monogr><title level="m">Proceedings of the Second International Symposium on Visual Computing (ISVC 2)</title><meeting>the Second International Symposium on Visual Computing (ISVC 2)<address><addrLine>Lake Tahoe, NV ; Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2007"></date><biblScope unit="page" from="732" to="741"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b3"><analytic><title level="a" type="main">Semantic annotation of maps through knowledge provenance</title><author><persName><forename type="first">Del</forename><surname>Rio</surname></persName></author><author><persName><forename type="first">N</forename><surname>Pinheiro Da Silva</surname></persName></author><author><persName><forename type="first">P</forename><surname>Gates</surname></persName></author><author><persName><forename type="first">A</forename><forename type="middle">Q</forename><surname>Salayandia</surname></persName></author><author><persName><forename type="first">L</forename></persName></author></analytic><monogr><title level="m">Proceedings of the Second International Conference on Geospatial Semantics (GeoS)</title><meeting>the Second International Conference on Geospatial Semantics (GeoS)<address><addrLine>Mexico City, Mexico. LNCS ; Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2007"></date><biblScope unit="page" from="20" to="35"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b4"><analytic><title level="a" type="main">Swoogle: A search and metadata engine for the semantic web</title><author><persName><forename type="first">L</forename><surname>Ding</surname></persName></author><author><persName><forename type="first">T</forename><surname>Finin</surname></persName></author><author><persName><forename type="first">A</forename><surname>Joshi</surname></persName></author><author><persName><forename type="first">R</forename><surname>Pan</surname></persName></author><author><persName><forename type="first">R</forename><forename type="middle">S</forename><surname>Cost</surname></persName></author><author><persName><forename type="first">Y</forename><surname>Peng</surname></persName></author><author><persName><forename type="first">P</forename><surname>Reddivari</surname></persName></author><author><persName><forename type="first">V</forename><forename type="middle">C</forename><surname>Doshi</surname></persName></author><author><persName><forename type="first">J</forename><surname>Sachs</surname></persName></author></analytic><monogr><title level="m">Proceedings of the 13th CIKM</title><meeting>the 13th CIKM</meeting><imprint><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b5"><analytic><title level="a" type="main">Managing Rapidly-Evolving Scientific Workflows</title><author><persName><forename type="first">J</forename><surname>Freire</surname></persName></author><author><persName><forename type="first">C</forename><forename type="middle">T</forename><surname>Silva</surname></persName></author><author><persName><forename type="first">S</forename><forename type="middle">P</forename><surname>Callahan</surname></persName></author><author><persName><forename type="first">E</forename><surname>Santos</surname></persName></author><author><persName><forename type="first">C</forename><forename type="middle">E</forename><surname>Scheidegger</surname></persName></author><author><persName><forename type="first">H</forename><forename type="middle">T</forename><surname>Vo</surname></persName></author></analytic><monogr><title level="m">Proceedings of the International Provenance and Annotation Workshop (IPAW)</title><meeting>the International Provenance and Annotation Workshop (IPAW)</meeting><imprint></imprint></monogr><note>(. to appear</note></biblStruct><biblStruct xml:id="b6"><analytic><title level="a" type="main">Scientific Workflow Management and the Kepler System</title><author><persName><forename type="first">B</forename><surname>Luda¨luda¨scher</surname></persName></author></analytic><monogr><title level="m">Concurrency and Computation</title><imprint><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b7"><analytic><title level="a" type="main">Visualizing Geospatial Information Uncertainty: What We Know and What We Need to Know</title><author><persName><forename type="first">A</forename><surname>Maceachren</surname></persName></author><author><persName><forename type="first">A</forename><surname>Robinson</surname></persName></author><author><persName><forename type="first">S</forename><surname>Hopper</surname></persName></author><author><persName><forename type="first">S</forename><surname>Gardner</surname></persName></author><author><persName><forename type="first">R</forename><surname>Murray</surname></persName></author><author><persName><forename type="first">M</forename><surname>Gahegan</surname></persName></author><author><persName><forename type="first">E</forename><surname>Hetzler</surname></persName></author></analytic><monogr><title level="j">Cartography and Geographic Information Science</title><imprint><biblScope unit="volume">32</biblScope><biblScope unit="issue">32</biblScope><biblScope unit="page" from="139" to="160"></biblScope><date type="published" when="2005"></date></imprint></monogr></biblStruct><biblStruct xml:id="b8"><analytic><title level="a" type="main">Infrastructure for Web Explanations</title><author><persName><forename type="first">D</forename><forename type="middle">L</forename><surname>Mcguinness</surname></persName></author><author><persName><forename type="first">P</forename><surname>Pinheiro Da Silva</surname></persName></author></analytic><monogr><title level="m">ISWC 2003</title><editor>Fensel, D., Sycara, K., Mylopoulos, J.</editor><meeting><address><addrLine>Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2003"></date><biblScope unit="page" from="113" to="129"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b9"><analytic><title level="a" type="main">Explaining Answers from the Semantic Web</title><author><persName><forename type="first">D</forename><forename type="middle">L</forename><surname>Mcguinness</surname></persName></author><author><persName><forename type="first">P</forename><surname>Pinheiro Da Silva</surname></persName></author></analytic><monogr><title level="j">Journal of Web Semantics</title><imprint><biblScope unit="volume">1</biblScope><biblScope unit="issue">4</biblScope><biblScope unit="page" from="397" to="413"></biblScope><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b10"><analytic><title level="a" type="main">Explaining Conclusions from Diverse Knowledge Sources</title><author><persName><forename type="first">J</forename><forename type="middle">W</forename><surname>Murdock</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">L</forename><surname>Mcguinness</surname></persName></author><author><persName><forename type="first">P</forename><surname>Pinheiro Da Silva</surname></persName></author><author><persName><forename type="first">C</forename><surname>Welty</surname></persName></author><author><persName><forename type="first">D</forename><surname>Ferrucci</surname></persName></author></analytic><monogr><title level="m">Proceedings of the 5th International Semantic Web Conference (ISWC2006)</title><meeting>the 5th International Semantic Web Conference (ISWC2006)<address><addrLine>Athens, GA ; Heidelberg</addrLine></address></meeting><imprint><publisher>Springer</publisher><date type="published" when="2006-11"></date><biblScope unit="page" from="861" to="872"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b11"><analytic><title level="a" type="main">A Proof Markup Language for Semantic Web Services</title><author><persName><forename type="first">P</forename><surname>Pinheiro Da Silva</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">L</forename><surname>Mcguinness</surname></persName></author><author><persName><forename type="first">R</forename><surname>Fikes</surname></persName></author></analytic><monogr><title level="j">Information Systems</title><imprint><biblScope unit="volume">3145</biblScope><biblScope unit="page" from="381" to="395"></biblScope><date type="published" when="2006"></date></imprint></monogr></biblStruct><biblStruct xml:id="b12"><analytic><title level="a" type="main">Knowledge Provenance Infrastructure</title><author><persName><forename type="first">P</forename><surname>Pinheiro Da Silva</surname></persName></author><author><persName><forename type="first">D</forename><forename type="middle">L</forename><surname>Mcguinness</surname></persName></author><author><persName><forename type="first">R</forename><surname>Mccool</surname></persName></author></analytic><monogr><title level="j">IEEE Data Engineering Bulletin</title><imprint><biblScope unit="volume">25</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="179" to="227"></biblScope><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b13"><analytic><title level="a" type="main">Trio: A System for Integrated Management of Data, Accuracy, and Lineage</title><author><persName><forename type="first">J</forename><surname>Widom</surname></persName></author></analytic><monogr><title level="m">Proceedings of the Second Biennial Conference on Innovative Data Systems Research</title><meeting>the Second Biennial Conference on Innovative Data Systems Research<address><addrLine>Asilomar, CA</addrLine></address></meeting><imprint><date type="published" when="2005-01"></date><biblScope unit="page" from="262" to="276"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b14"><analytic><title level="a" type="main">Using Semantic Web Technologies for Representing E-science Provenance</title><author><persName><forename type="first">J</forename><surname>Zhao</surname></persName></author><author><persName><forename type="first">C</forename><surname>Wroe</surname></persName></author><author><persName><forename type="first">C</forename><surname>Goble</surname></persName></author><author><persName><forename type="first">R</forename><forename type="middle">S</forename></persName></author></analytic><monogr><title level="m">Proceedings of the 3rd International Semantic Web Conference</title><meeting>the 3rd International Semantic Web Conference</meeting><imprint><date type="published" when="2004-11"></date><biblScope unit="page" from="92" to="106"></biblScope></imprint></monogr></biblStruct></listBibl></back></text></istex:refBibTEI><json:item><type>refBibs</type><uri>https://api.istex.fr/document/E176177F59219F6CB712D102E79083BF0EA2C9F1/enrichments/refBibs</uri></json:item></enrichments></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/CyberinfraV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000105 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 000105 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Ticri/CIDE
|area= CyberinfraV1
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:E176177F59219F6CB712D102E79083BF0EA2C9F1
|texte= Inference Web in Action: Lightweight Use of the Proof Markup Language
}}
| This area was generated with Dilib version V0.6.25. |  |