Now showing items 1-20 of 41

    • A Comparison of the OPM and PML Provenance Models 

      Michaelis, James; Zednik, Stephan; Ding, Li; McGuinness, Deborah (2009-10-25)
    • A Proof Markup Language for Semantic Web Services 

      Pinheiro, Paulo; McGuinness, Deborah; 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 ...
    • Abstracting Granular Provenance 

      Lebo, Tim; Wang, Ping; Graves, Alvaro; McGuinness, Deborah (2012-04-18)
      As Open Data becomes commonplace, methods are needed to integrate dis- parate data from a variety of sources. Although Linked Data design has promise for integrating world wide data, integrators often struggle to provide ...
    • Adding Integrity Constraints to the Semantic Web for Instance Data Evaluation 

      Tao, Jiao (2010-11-07)
      This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i.e., OWL, a decision procedure for constraint ...
    • An Ensemble Learning and Problem Solving Architecture for Airspace Management 

      Zhang, Xiaoqin; Yoon, Sungwook; DiBona, Phillip; Appling, Darren; Ding, Li; Doppa, Janardhan; Green, Derek; Guo, Jinhong; Kuter, Ugur; Levine, Geoff; MacTavish, Reid; McFarlane, Daniel; Michaelis, James; Mostafa, Hala; Ontanon, Santiago; Parker, Charles; Radhakrishnan, Jainarayan; Rebguns, Anton; Shrestha, Bhavesh; Song, Zhexuan; Trewhitt, Ethan; Zafar, Huzaifa; Zhang, Chongjie; Corkill, Daniel; DeJong, Gerald; Dietterich, Thomas; Kambhampati, Subbarao; Lesser, Victor; McGuinness, Deborah; Ram, Ashwin; Spears, Diana; Tadepalli, Prasad; Whitaker, Elizabeth; Wong, Weng-Keen; Hendler, Jim; Hofmann, Martin; Whitebread, Kenneth (Transactions on Intelligent Systems and Technology, 2011-11-15)
      We present a novel ensemble architecture for learning problem-solving techniques from a very small number of expert solutions and demonstrate its effectiveness in a complex real-world domain. The key feature of our ...
    • An Initial Investigation on Evaluating Semantic Web Instance Data 

      Ding, Li; Tao, Jiao; McGuinness, Deborah (2008-04-21)
      Many emerging semantic web applications include ontologies from one set of authors and instance data fromanother (oftenmuch larger) set of authors. Often ontologies are reused and instance data is integrated in manners ...
    • Characterizing and Detecting Integrity Issues in OWL Instance Data 

      Tao, Jiao; Ding, Li; Bao, Jie; McGuinness, Deborah (2008-10-26)
      We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues raised by applications demanding closed world ...
    • Combining Proofs to form Different Proofs 

      Sutcliffe, Geoff; Chang, Cynthia; McGuinness, Deborah; 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 ...
    • Contextualized RDF Importing 

      Bao, Jie; Ding, Li; McGuinness, Deborah (2010-06-26)
      RDF is a key enabling technology for linked data. However, currently RDF lacks a mechanism to connect data from different documents as well to address the contextual differences in these documents. We propose to introduce ...
    • Creating, Interpreting, and Repurposing Visual Messages 

      Lebo, Tim; McGuinness, Deborah (2010-02-15)
      The World Wide Web is a vast, diverse, and dynamic ecosys- tem of content authored and consumed with innumerable frequency. Al- though content may have an original purpose, it can and will be repur- posed in new and ...
    • Data-govWiki: Towards Linking Government Data 

      Ding, Li; DiFranzo, Dominic; Graves, Alvaro; Michaelis, James; Li, Xian; McGuinness, Deborah; Hendler, Jim (2010-03-22)
      Data.gov is a website that provides US Government data to the general public to ensure better accountability and transparency. Our recent work on the Data-gov Wiki, which attempts to integrate the datasets published at ...
    • Different Proofs are Good Proofs 

      Sutcliffe, Geoff; Chang, Cynthia; Ding, Li; McGuinness, Deborah; 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 ...
    • Explaining Answers from the Semantic Web: The Inference Web Approach 

      McGuinness, Deborah; 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; 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 ...
    • Explanation Interfaces for the Semantic Web: Issues and Models 

      McGuinness, Deborah; Ding, Li; Glass, Alyssa; Chang, Cynthia; Zeng, Honglei; Furtado, Vasco (2006-11-06)
      As the Semantic Web has enabled new application capabilities, new interaction modes arise and grow in importance. Applications can now not only retrieve results but also use term meanings to derive new results. Thus, ...
    • Extending OWL with Integrity Constraints 

      Tao, Jiao; Sirin, Evren; Bao, Jie; McGuinness, Deborah (2010-05-04)
    • Functional Requirements for Information Resource Provenance on the Web 

      McCusker, Jamie; Lebo, Tim; Graves, Alvaro; DiFranzo, Dominic; Pinheiro, Paulo; McGuinness, Deborah (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. ...
    • Information Fusion: Moving from domain independent to domain literate approaches 

      McGuinness, Deborah (2008-12-31)
      Information Fusion has been a focus of research within the field of computer science for a number of years. Numerous environments aimed at general schema evaluation, diagnosis, and evolution have evolved within those ...
    • Instance Data Evaluation for Semantic Web-Based Knowledge Management Systems 

      Tao, Jiao; Ding, Li; Bao, Jie; McGuinness, Deborah (2009-01-05)
      As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content generated by semantic-web tools. The content ...
    • Integrity Constraints in OWL 

      Tao, Jiao; Tao, Jiao; Sirin, Evren; Sirin, Evren (2010-06-07)
      In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However, specific aspects of OWL's standard ...