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)
s Enabling organizations to capture, share, and apply the collective experience and know-how of their people is seen as fundamental to competing in the knowledge economy. As a result, there has been a wave of enthusiasm and activity centered on knowledge management. To make progress in this area, issues of technology, process, people, and content must be(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)
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)
It is essential to reduce the cost of integrating information sources and to provide a path that allows for incremental integration that can be responsive to users' demands. This paper presents an approach to integrating disparate heterogeneous information sources that uses context logic. Our use of context logic reduces the up-front cost of integration,(More)
The scientific and information communities have largely mastered the presentation of, and linkages between, text-based electronic information by assigning persistent identifiers to give scientific literature unique identities and accessibility. Knowledge, as published through scientific literature, is often the last step in a process originating from(More)