AIC Seminar Series
Data-scalable controlled languages
|Camilo Thorne||KRDB Research Centre for Knowledge and Data, Bolzano, Italy||[Home Page]|
Notice: Hosted by Vinay Chaudhri
Date: 2011-05-23 at 10:00
Location: EJ228 (SRI E building) (Directions)
In this talk I will deal with the issue of the semantic complexity
of controlled fragments of English. Controlled fragments are
ambiguity-free subsets of a natural language, designed mainly
(but not exclusively) for authoring and querying ontologies.
I define, following I. Pratt-Hartmann, their semantic
complexity as the computational complexity of
reasoning with their formal semantics first- and higher-order
meaning representations. I will present several
families of declarative and interrogative fragments
and discuss their semantic complexity.
I will conclude by generalizing the results to combinations
of English constructs that give rise to tractable and
intractable semantic complexity, and by pointing
out possible lines of further research.
Camilo Thorne is currently a postdoctoral research
assistant at the KRDB Research Centre for Knowledge and
Data from the Free University of Bozen-Bolzano, Bolzano,
Italy, where he successfully defended his PhD in 2010. His
interests lie in the computational semantics of natural language
and in particular in applying computational logic to the study of
semantic complexity in natural languages and their fragments.
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.
©2015 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493