Homepage of Bernardo
Cuenca Grau
Maryland Information and Network Dynamics Lab
8400 Baltimore Avenue, Suite 200
College Park, MD 20740
Telf: +01 301-314-66-09
bernardo@mindlab.umd.edu
I have moved to Manchester
and this page will no longer be maintained!
I am a Ph.D. candidate at the Universidad
de Valencia in Spain and currently a visiting scholar at the Maryland Information and Network
Dynamics Lab. (MINDLAB) at the University
of Maryland at College Park in the United States. I have recently
submitted my Ph.D.
Dissertation on methods for combining and integrating ontologies on
the Semantic Web, which I will defend in Fall 2005.
EDUCATION
I have studied both Physics and Computer Science at the
Universidad de Valencia, in Spain. In Fall 2001, I joined the Ph.D.
program in Computer
Science at the same university. In 2002, I obtained a
F.P.U scholarship from the Spanish government that has funded my
doctoral work and allowed me to visit the University of Maryland at
College Park, where I have completed my doctoral research on Knowledge
Representation and Semantic Web technologies.
RESEARCH INTERESTS
My research interests are in logics and combinations of
different logics for Knowledge Representation, such as Description Logics,
Modal Logics, Logics for spatio-temporal reasoning, Logic Programming and
Non-monotonic logics.
I am especially interested in Semantic
Web technologies, which have been the main focus of my research in the
last couple of years.
PUBLICATIONS AND TALKS
A list of my publications
and the slides of some talks I
have given recently are available online.
PROJECTS AND RESEARCH ACTIVITIES
- Since March 2004 I have been working, in cooperation with Bijan
Parsia and Evren Sirin
on E-Connections, a novel technique for combining knowledge
representation formalisms. For more information, Oliver Kutz is
maintaining a website on
E-Connections . I am also maintaining a website
summarizing the research on E-Connections at the University of
Maryland.
- In cooperation with Bijan Parsia, Evren Sirin and Aditya Kalyanpur I am
working on methods for automatically decomposing OWL ontologies into
meaningful parts. In particular, we have developed a partitioning
algorithm that has been integrated in the ontology editor SWOOP. See
our Online Technical Report
- With Evren Sirin
I am working on optimizations for nominals in Description Logic reasoning. For more details, check out our
Online Technical Report
- With Fusun Yaman, Evren Sirin and Bijan Parsia
I am working on formalisms that combine Description Logics and Logics of Motion.
For more details, check out our
Online Technical Report
- With Aditya Kalyanpur
I am investigating methods for debugging and repair of OWL ontologies.
- I have also been involved in the development of the ontology
editor SWOOP and
the OWL reasoner Pellet.
OTHER ACTIVITIES