Now showing items 1-20 of 40

    • A Proof Markup Language for Semantic Web Services 

      Pinheiro, Paulo; McGuinness, Deborah L.; Fikes, Richard (Information Systems, 2006-07-01)
      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 ...
    • A Semi-Automated Approach to Data Harmonization Across Environmental Health Studies 

      Johnson, Matt; Ravi, Meenu; Pinheiro, Paulo; Stingone, Jeanette; McGuinness, Deborah L. (2020-08-01)
      The NIEHS-supported Human Health and Exposure Analysis Resource (HHEAR) Data Center maintains a public-use data repository to promote reuse of environmental health data generated by the HHEAR program. The creation and ...
    • Abstracting Web Agent Proofs into Human-Level Justifications 

      Furtado, Vasco; Pinheiro, Paulo; McGuinness, Deborah L.; Deshwal, Priyendra; Narayanan, Dhyanesh; Carvalho, Juliana; Pinheiro, Vladia; Chang, Cynthia (2007-05-07)
      Information supporting answer explanations are derived from proofs. One of the difficulties for humans to understand web agent proofs is that the proofs are typically described at the machine-level. In this paper, we ...
    • Aligning Diverse Data for a Personalized Health Knowledge Graph 

      Johnson, Matthew; Ravi, Meenu; Rashid, Sabbir; Pinheiro, Paulo; McGuinness, Deborah L. (The Knowledge Graph Conference, 2020)
    • Annotating Diverse Scientific Data With HAScO 

      Pinheiro, Paulo; Bax, Marcello; Santos, Henrique; Rashid, Sabbir; Liang, Jason; Liu, Yue; Ne'eman, Yarden; McCusker, Jamie; McGuinness, Deborah L. (2018-10-01)
      Ontologies are being widely used across many scientific fields, most notably in roles related to acquiring, preparing, integrating and managing data resources. Data acquisition and preparation activities are often difficult ...
    • Broad, Interdisciplinary Science In Tela: An Exposure and Child Health Ontology 

      McCusker, Jamie; Rashid, Sabbir; Liang, Jason; Chastain, Katherine; Pinheiro, Paulo; Stingone, Jeanette; McGuinness, Deborah L. (2017-06-25)
      Data curation for interdisciplinary collaborative science requires a new online web-based approach that integrates domain knowledge from multiple resources and enables in tela (in the web) interactive collaboration between ...
    • Combining Proofs to form Different Proofs 

      Sutcliffe, Geoff; Chang, Cynthia; McGuinness, Deborah L.; Lebo, Tim; Ding, Li; Pinheiro, Paulo (2011-08-01)
      Different Automated Theorem Proving (ATP) systems solve different parts of different problems in different ways. Given a set of proofs produced by ATP systems based on adequately common principles, it is possible to create ...
    • Contextual Data Collection for Smart Cities 

      Santos, Henrique; Furtado, Vasco; Pinheiro, Paulo; McGuinness, Deborah L. (2015-10-12)
      As part of Smart Cities initiatives, national, regional and local governments all over the globe are under the mandate of being more open regarding how they share their data. Under this mandate, many of these governments ...
    • Different Proofs are Good Proofs 

      Sutcliffe, Geoff; Chang, Cynthia; Ding, Li; McGuinness, Deborah L.; Pinheiro, Paulo (2010-07-20)
      In order to compare the quality of proofs, it is necessary to measure artifacts of the proofs, and evaluate the measurements to determine differences between the proofs. This paper discounts the approach of ranking proofs ...
    • Encoding extraction as inferences 

      Murdock, J.; Pinheiro, Paulo; Ferrucci, David; Welty, Christopher; McGuinness, Deborah L. (2005-01-01)
    • Explaining Answers from the Semantic Web: The Inference Web Approach 

      McGuinness, Deborah L.; Pinheiro, Paulo (Journal of Web Semantics, 2004-10-01)
      The Semantic Web lacks support for explaining answers from web applications. When applications return answers, many users do not know what information sources were used, when they were updated, how reliable the source was, ...
    • Explaining Semantic Web Applications 

      McGuinness, Deborah L.; Furtado, Vasco; Pinheiro, Paulo; Ding, Li; Glass, Alyssa; Chang, Cynthia (2008-10-01)
      Semantics and ontologies offer an extension to traditional information systems in which information is given well-defined meaning, enabling computers and people to work in cooperation. With expanding uses and integrations ...
    • From Data to City Indicators: A Knowledge Graph for Supporting Automatic Generation of Dashboards 

      Santos, Henrique; Dantas, Victor; Furtado, Vasco; Pinheiro, Paulo; McGuinness, Deborah L. (2017-05-28)
      In the context of Smart Cities, indicator definitions have been used to calculate values that enable the comparison among different cities. The calculation of an indicator values has challenges as the calculation may need ...
    • Functional Requirements for Information Resource Provenance on the Web 

      McCusker, Jamie; Lebo, Tim; Graves, Alvaro; DiFranzo, Dominic; Pinheiro, Paulo; McGuinness, Deborah L. (2012-03-16)
      HTTP transactions have semantics that can be interpreted in many ways. At a low level, a physical stream of bits is transmitted from server to client. Higher up, those bits resolve into a message with a specific bit pattern. ...
    • HADatAc: A Framework for Scientific Data Integration using Ontologies 

      Pinheiro, Paulo; Santos, Henrique; Liang, Jason; Liu, Yue; Rashid, Sabbir; McGuinness, Deborah L.; Bax, Marcello (2018-10-01)
      To investigate the cause and progression of a phenomenon, such as chronic disease, it is essential to collect a wide variety of data that together explains the complex interplay of different factors, e.g., genetic, lifestyle, ...
    • IN21B-3712 Semantic eScience for Ecosystem Understanding and Monitoring: The Jefferson Project Case Study 

      McGuinness, Deborah L.; Pinheiro, Paulo; Patton, Evan; Chastain, Katherine (2014-12-16)
      Monitoring and understanding ecosystems such as lakes and their watersheds is becoming increasingly important. Accelerated eutrophication threatens our drinking water sources. Many believe that the use of nutrients (e.g., ...
    • IN22A-05Semantically aided interpretation and querying of Jefferson Project data using the SemantEco framework 

      Patton, Evan; Pinheiro, Paulo; McGuinness, Deborah L. (2014-12-16)
      We will describe the benefits we realized using semantic technologies to address the often challenging and resource intensive task of ontology alignment in service of data integration. Ontology alignment became relatively ...
    • Inference Web in Action: Lightweight Use of Proof Markup Language 

      Pinheiro, Paulo; McGuinness, Deborah L.; Ding, Li; Rio, Nicholas (2008-01-01)
    • Inference Web: Portable and Sharable Explanations for Question Answering 

      McGuinness, Deborah L.; Pinheiro, Paulo (2003-01-01)
    • Infrastructure for Web Explanations 

      McGuinness, Deborah L.; Pinheiro, Paulo (2003-01-01)