Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

Formal Semantics and Ontologies

Frank LoebeUniversity of Leipzig[Home Page]

Notice:  Hosted by Vinay Chaudhri.

Date:  2012-08-10 at 11:00

Location:  EJ228 (SRI E building)  (Directions)

   Abstract

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.

   Bio for Frank Loebe

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 languages.

   Note for Visitors to SRI

Please arrive at least 10 minutes early as you will need to sign in by following instructions by the lobby phone at Building E. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking lots off Fourth Street. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page. There are two entrances to SRI International located on Ravenswood Ave. Please check the Builing E entrance signage.

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy