Learn More
Reusable ontologies are becoming increasingly important for tasks such as information integration, knowledge-level interoperation, and knowledge-base development. We have developed a set of tools and services to support the process of achieving consensus on common shared ontologies by geographically distributed groups. These tools make use of the worldwide(More)
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Knowledge components include both pieces of domain knowledge (for example, theories of economics or fault diagnosis) and KB tools (for example, editors and theorem provers). Most of(More)
Information integration is enabled by having a precisely defined common terminology. We call this combination of terminology and definitions an ontology. We have developed a set of tools and services to support the process of achieving consensus on such a common shared ontologies by geographically distributed groups. These tools make use of the worldwide(More)
Acknowledgments I especially thank Prof. Benjamin Kuipers for his guidance in shaping this research and his continuous encouragement; many times his insightful comments helped me to press forward, and many times his encouraging words helped me believe that the work was worth doing. I am indebted to Dan Berleant for his work on Q2/Q3 and to Bert Kay for his(More)
The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies. The environment is available as a World Wide Web service and has a substantial user community. The tools in Ontolingua are oriented toward authoring of ontologies by assembling and extending ontologies obtained from the(More)
PREMIS Implementers' Group discussion list: pig@loc.gov. To subscribe, send email to listserv@loc.gov with the message, "subscribe pig [your name]" Please send comments and questions to premis@loc.gov. INTRODUCTION INTRODUCTION Background In June 2003, OCLC and RLG jointly sponsored the formation of the PREMIS (Preservation Metadata: Implementation(More)
Numerical interval simulation: Combined qualitative and quantitative simulation to bound behaviors of non-monotonic systems. A generic method for computing the response of a numerically-known dynamic system to qualitative inputs. 37 x i (t) < x i (t) in which case there must be some time t 1 < t such that x i (t 1) = x i (t 1), or x i (t) = x i (t). Assume(More)
ii I certify that I have read this dissertation and that in my opinion it is fully adequate, in scope and in quality, a s a dissertation for the degree of Doctor of Philosophy. Richard Fikes Principal Adviser I certify that I have read this dissertation and that in my opinion it is fully adequate, in scope and in quality, a s a dissertation for the degree(More)