Semantic Web Publishing using Named Graphs (2008)
Jeremy J. Carroll, Christian Bizer, Patrick Hayes, Patrick Stickler
Abstract. The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that describe...
During World War I, the British Health and Munitions (2008)
Robert R. Hoffman, Patrick Hayes, Kenneth M. Ford, R. Hoffman, Patrick J. Hayes, Kenneth M. Ford
Afundamental stance taken in human-centered computing is that information-processing devices must be thought of in systems terms. At first blush, this seems self-evident. However, the notion has a...
Turing Test Considered Harmful (IJCAI-1995 invited talk) (2008)
Passing the Turing Test is not a sensible goal for Artificial Intelligence. Adherence to Turing’s vision from 1950 is now actively harmful to our field. We review problems with Turing’s idea, and...
in collaboration with Daniel Bobrow (2007)
Michael R. Genesereth, Richard E. Fikes, Ronald Brachman, Thomas Gruber, Patrick Hayes, Reed Letsinger, ...
Version 3.0
Approved for External Publication Named Graphs, Provenance and Trust (2007)
Rdf Owl, Jeremy J. Carroll, Jeremy J. Carroll, Christian Bizer, Christian Bizer, Patrick Hayes, ...
semantic web,
Inostroza, Luis, Del Pozo, Alejandro, Matus, Iván, Hayes, Patrick
Grain yield (GY) and drought tolerance of recombinant chromosome substitution lines (RCSLs) derived from the cross between Hordeum vulgare L. subsp. spontaneum (K. Koch) Thell. and H. vulgare...
J. M. Coetzee's Foe, one of the most discussed of his novels, is known for its intertextual relationship with Defoe's Robinson Crusoe and Roxana. But despite the substantial body of criticism devoted...
Named Graphs, Provenance and Trust (2004)
Jeremy J. Carroll, Christian Bizer, Patrick Hayes, Patrick Stickler
The Semantic Web consists of many RDF graphs nameable by URIs.
Scl: A Logic Standard For Semantic (2003)
Integration Christopher Menzel, Christopher Menzel, Patrick Hayes
ve not fixed arity, but can take any number of arguments; . Pseudo-higher-order constructs --- bound variables can occur in predicate position in atomic formulas. . Type-freedom --- predicates can...
OWL-QL - a language for deductive query answering on the semantic web (2003)
Richard Fikes, Patrick Hayes, Ian Horrocks
1
A semantics for the knowledge interchange format (2001)
We give a precise semantics for a proposed revised version of the Knowledge Interchange Format. We show that quantification over relations is possible in a first-order logic, but sequence variables...
This is a specification of a model-theoretic semantics for RDF and RDFS, and some basic results on entailment. It does not cover reification or special meanings associated with the use of RDF...
Kathleen Hornsby, Max J. Egenhofer, Patrick Hayes
Abstract. Database support of time-varying phenomena typically assumes that entities change in a linear fashion. Many phenomena, however, change cyclically over time. Examples include monsoons,...
Michael R. Genesereth, Richard E. Fikes, Ronald Brachman, Thomas Gruber, Patrick Hayes, Reed Letsinger, ...
Version 3.0
Knowledge Interchange Format Version 3.0 Reference Manual (1992)
Michael Genesereth Richard, Richard E. Fikes, Ronald Brachman, Thomas Gruber, Patrick Hayes, Reed Letsinger, ...
: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the...
Knowledge Interchange Format Version 3.0 Reference Manual (1992)
Michael Genesereth, Richard E. Fikes, Ronald Brachman, Thomas Gruber, Patrick Hayes, Reed Letsinger, ...
: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the...
Catherine Potvin, Petra Tschakert, Frédéric Lebel, Kate Kirby, Hector Barrios, Judith Bocariza, ...
Carbon stocks, CDM baseline, Participatory approaches, Pasture, Demography,