Patrick Hayes    (OZW)

Pat Hayes
Senior Research Scientist
Florida Institute for Human & Machine Cognition ("IHMC")

email:    (OZX)

I engage in research in AI/KR, with an emphasis on logical foundations. I invented the phrases 'situation calculus' and 'naive physics', and did early work on temporal, physical and geographical ontologies. More recently, I have been active in various ontology language standardization efforts, including RDF, OWL, Common Logic and SPARQL, and the IKRIS project devoted to establishing mechanisms for interoperation between divergent ontology frameworks, which gave rise to the IKL language.    (OZY)

Dr. Hayes' bio can be found at:    (OZZ)

See also:    (UHH)