View source for PatHayes

= Patrick Hayes  =

'''Pat Hayes'''

Senior Research Scientist

Florida '''Institute for Human & Machine Cognition''' ("IHMC")

email: phayes-at-ihmc.us 

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 [http://www.ihmc.us/users/phayes/docs/TimeCat96.pdf temporal], [http://portal.acm.org/citation.cfm?id=216035 physical] and geographical ontologies. More recently, I have been active in various ontology language standardization efforts, including [http://www.w3.org/TR/rdf-mt/ RDF], [http://www.w3.org/TR/owl-semantics/ OWL], [http://cl.tamu.edu/#cl Common Logic] and [http://www.w3.org/TR/rdf-sparql-query/ SPARQL], and the [http://nrrc.mitre.org/NRRC/ikris.htm IKRIS] project devoted to establishing mechanisms for interoperation between divergent ontology frameworks, which gave rise to the [[ConferenceCall_2006_10_26|IKL language]]. 

Dr. Hayes' bio can be found at: http://www.ihmc.us/users/user.php?UserID=phayes 

See also: 

* Dr. Hayes' invited talk to Ontolog can be found at: ConferenceCall_2006_10_26 
* COE (Cmap Ontology Editor) -  View, edit, browse and compose OWL/RDFS/RDF ontologies through a Cmap-based GUI. To install COE and the user manual, go to website [http://coe.ihmc.us/ http://coe.ihmc.us/]
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. 

[[Category:Person]]