Adam Pease is CEO of Articulate Software http://www.articulatesoftware.com. Prior to founding Articulate Software he was Program Manager and Director of Knowledge Systems at Teknowledge, where he led research in ontology, linguistics and formal inference, including development of the Suggested Upper Merged Ontology (SUMO) the Controlled English to Logic Translation (CELT) system, the Core Plan Representation (CPR), and the Sigma knowledge engineering environment. He led integration teams for the DARPA High Performance Knowledge Bases and DARPA Quorum programs and project teams participating in the ARDA Novel Intelligence For Massive Data (NIMD) project, DARPA Agent Markup Language (DAML), and other projects for the DoD community. Sharing research under open licenses, in order to achieve the widest possible dissemination and technology transfer has been a core element of his research program and his products have been downloaded by thousands of people around the world. He has chaired several workshops at the national conference of the American Association for Artificial Intelligence and International Joint Conference on Artificial Intelligence, and published over 30 papers. He is a member of the board of the Global WordNet Association.    (HF)

My focus currently is on the Suggested Upper Merged Ontology <http://www.ontologyportal.org>: a free, formal upper ontology, expressed in first order logic, and in OWL. It has been mapped to all the WordNet nouns and verbs, several free domain-specific ontologies have been created from it, an open-source browser is available and format files supplied with the browser allow logic statements to be presented in English, Hindi, Chinese, Italian, German and Czech as well as logic. SUMO has also been subjected to formal consistency checking with first order logic theorem provers. My CV is at <http://home.earthlink.net/~adampease/professional/>    (HG)

I am interested in any projects employing an ontology. I've advised on and implemented projects for a variety of customers, using ontology for simply structuring a database to more advanced applications employing formal theorem proving.    (HK)

I've led and participated in a number of government projects, from leading an integration team integrating results from 50 other contractors, to small SBIRs.    (HL)

See: Mr. Adam Pease's Ontolog Invited Speaker presentation on "Introduction to Ontology & SUMO" at http://ontolog.cim3.net/cgi-bin/wiki.pl?Tutorial_2003-05-29    (LKA)