From OntologPSMW

Revision as of 01:32, 26 April 2013 by PeterYim (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
[ ]

Patrick Hayes     (1)

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

email:     (1B)

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.     (1C)

See also:     (1E)

COE is free, but not open source (which is why its not on the Wiki tools page.) Right now (February 2007) COE development is on hold pending new funding, but we welcome any user feedback, especially any bugs or awkwardness you happen to notice.     (1H)