Pat Hayes

Learn 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)
  • 1