Matches in ScholarlyData for { ?s ?p ?o. }
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasItem item-5.
- authorList hasItem item-6.
- authorList hasItem item-7.
- authorList hasLastItem item-7.
- item-1 type ListItem.
- item-1 hasContent manuel-salvadores.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent landong-zuo.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent sm-hazzaz-imtiaz.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent john-darlington.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent nicholas-gibbins.
- item-5 next item-6.
- item-5 previous item-4.
- item-6 type ListItem.
- item-6 hasContent nigel-r-shadbolt.
- item-6 next item-7.
- item-6 previous item-5.
- item-7 type ListItem.
- item-7 hasContent john-dobree.
- item-7 previous item-6.
- 16 creator deborah-mcguinness.
- 16 creator li-ding.
- 16 creator nicholas-del-rio.
- 16 creator paulo-pinheiro-da-silva.
- 16 type InProceedings.
- 16 label "Inference Web in Action: Lightweight Use of the Proof Markup Language".
- 16 sameAs 16.
- 16 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.".
- 16 hasAuthorList authorList.
- 16 isPartOf proceedings.
- 16 keyword "cyber-infrastructure".
- 16 keyword "explanations".
- 16 keyword "inference web".
- 16 keyword "proof markup language".
- 16 keyword "provenance".
- 16 title "Inference Web in Action: Lightweight Use of the Proof Markup Language".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent paulo-pinheiro-da-silva.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent deborah-mcguinness.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent nicholas-del-rio.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent li-ding.
- item-4 previous item-3.
- 17 creator david-martin.
- 17 creator ian-harrison.
- 17 creator jerome-thomere.
- 17 creator michael-wolverton.
- 17 type InProceedings.
- 17 label "A Process Catalog for Workflow Generation".
- 17 sameAs 17.
- 17 abstract "As AI developers increasingly look to workflow technologies to perform complex integrations of individual software components, there is a growing need for the workflow systems to have expressive descriptions of those components. They must know more than just the types of a component's inputs and outputs; instead, they need detailed characterizations that allow them to make fine-grained distinctions between candidate components and between candidate workflows. This paper describes ProCat, an implemented ontology-based catalog for components, conceptualized as processes, that captures and communicates this detailed information. ProCat is built on a layered representation that allows reasoning about processes at varying levels of abstraction, from qualitative constraints reflecting preconditions and effects, to quantitative predictions about output data and performance. ProCat employs Semantic Web technologies RDF, OWL, and SPARQL, and builds on Semantic Web services research. We describe ProCat's approach to representing and answering queries about processes, discuss some early experiments evaluating the quantitative predictions, and report on our experience using ProCat in a system producing workflows for intelligence analysis.".
- 17 hasAuthorList authorList.
- 17 isPartOf proceedings.
- 17 keyword "ontology".
- 17 keyword "process".
- 17 keyword "software integration".
- 17 keyword "workflow".
- 17 title "A Process Catalog for Workflow Generation".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent michael-wolverton.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent david-martin.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.