Pat Hayes

Learn More
Concept Maps are seen as ways to conceptualize domains that can be comprehended within the human attention span, and are often based on terminologies arising in technical, scientific or engineering domains. We report on a set of related projects that go beyond this tradition in two ways: by connecting CmapTools to the new, machine-processable standard(More)
Resolving conceptual conflicts between formalized ontologies is likely to become a major engineering problem as ontologies move into widespread use on the semantic web. We believe that in the immediate and medium-term future, conflict resolution will require the use of human collaboration, and cannot be achieved by automated methods except in simple cases.(More)
The meaningful integration and comprehension of data from many different sources poses a difficult challenge for the Intelligence Community. Establishing the underlying semantics of that data and developing semantics for new or specialized scenarios is a key part of the solution to that challenge. The emerging Semantic Web technologies address this(More)
are authorized to reproduce and distribute reprints and on-line copies for their purposes notwithstanding any copyright annotation hereon. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of other parties. Thanks(More)
The details of reasoning in RDF [2] and RDFS [1] are generally well known. There is a model-theoretic semantics for RDF [3, 4] and there are sound and complete proof theories for RDF without datatypes [6]. However, the model-theoretic characteristics of RDF 3 have been less studied, particularly when datatypes are added. We show that RDF reasoning can be(More)
We describe the background and design of a lightweight ontology for descriptions of images made by the image creators, with a specific focus on the description of artwork. As part of a continuing project devoted to analyzing what image creators themselves say about their images, we have designed a 'lightweight' ontology framework for describing images and(More)
It is estimated that 1-2 exabytes of data is now being generated each year, almost all of it in purely digital form (Lyman et. ai. 2000). Properly structured, this information could form a global knowledge base. Currently however, this information exists in many different forms, many of which are only suitable for human consumption, and which are largely(More)
  • Jon Doyle, Brachman, Philip Fahlman, Hayes, Sussman Hendrix, When +7 others
  • 1978
My work in the past several years has dealt primarily with the study of the processes used in constructing varieties of problem solving behaviors. I have studied processes ranging from the propagation of constraints and non-chronological control schemes to belief revision, introspection, self-consciousness, and learning. While I consider many processes like(More)
  • 1