From OntologPSMW

(Difference between revisions)
Jump to: navigation, search
(Last updated at: 2011-01-30 23:49:56 By user: PeterYim)
 
(Last updated at: 2011-01-30 23:49:56 By user: PeterYim)
 
Line 1: Line 1:
 
= Patrick Hayes  =
 
= Patrick Hayes  =
 
  
 
'''Pat Hayes'''
 
'''Pat Hayes'''
 +
 
Senior Research Scientist
 
Senior Research Scientist
 +
 
Florida '''Institute for Human & Machine Cognition''' ("IHMC")
 
Florida '''Institute for Human & Machine Cognition''' ("IHMC")
  
 
email: phayes-at-ihmc.us  
 
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]].  
 
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]].  
Line 15: Line 15:
 
See also:  
 
See also:  
  
* Dr. Hayes' invited talk to Ontolog can be found at: [[ConferenceCall_2006_10_26]]
+
* 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 (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.  
 
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]]
 
[[Category:Person]]
 +
 +
 +
 +
This page has been migrated from the [http://ontolog.cim3.net/wiki  OntologWiki] - Click [http://ontolog.cim3.net/cgi-bin/wiki.pl?PatHayes here] for original page

Latest revision as of 03:18, 14 December 2015

[ ]

[edit] Patrick Hayes     (1)

Pat Hayes     (1A)

Senior Research Scientist     (1B)

Florida Institute for Human & Machine Cognition ("IHMC")     (1C)

email: phayes-at-ihmc.us     (1D)

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

See also:     (1G)

  • Dr. Hayes' invited talk to Ontolog can be found at: ConferenceCall_2006_10_26     (1H)
  • 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/     (1I)

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


This page has been migrated from the OntologWiki - Click here for original page     (1K)