AIC Seminar Series
Formal Semantics and Ontologies
Notice: Hosted by Vinay Chaudhri.
Date: Friday August 10, 2012 at 11:00
Location: EJ228 (SRI E building) (Directions)
In this talk, I present an inquiry on the mutual interplay between formal
language semantics and ontologies represented in such languages. The
discussion applies in general, yet mainly first order logic is referred to
as a prototypical case. The considerations involve a thesis that suggests a
clear distinction between the intended, conceptual semantics of formal
ontology representations and their formal semantics. This leads to
difficulties in ontology translations between formal languages. Moreover,
the distinction entails the problems of (1) how to capture that first kind
of semantics and (2) finding a revised version of language translations that
preserve conceptual meaning. I sketch a corresponding working proposal
(mainly for the first task) and address ways to accommodate that with
existing formalisms and tools.
Frank Loebe received an MSc degree in computer science (in German
"Diplom Informatik") from the University of Leipzig, Germany, in 2003.
Since then he is a PhD student working in Applied Ontology at both, the
Institute of Medical Informatics, Statistics and Epidemiology (IMISE)
and the Department of Computer Science at the University of Leipzig.
His work is closely related to a long-term effort pursued by the
research group Ontologies in Medicince (Onto-Med) at IMISE, which is the
development of the top-level ontology General Formal Ontology (GFO). In
this context, Frank has been involved in ontological analyses of
several top-level categories, including role, relation, function,
property, time, and process, in combination with applications in the
life sciences in most cases. Moreover, he is working on the intersection
of language semantics and ontologies, mainly focusing on logical
Please arrive at least 10 minutes early in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.
©2013 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493