AIC Seminar Series
Combining Ontologies and Rules: 2 Example Approaches
Notice: Hosted by Vinay Chaudhri.
Date: Monday, August 22nd 2011 at 10:00am
Location: EJ228 (SRI E building) (Directions)
The problem of combining ontologies (in the form of Description Logics
knowledge bases) with rules (in the form of Logic Programming rules)
evolves around 2 distinct approaches: a tightly-integrated approach
and a loosely-coupled approach. In the presentation, we will define
the distinguishing features of those approaches.
In particular, we will pick an exemplary framework from each approach:
Open Answer Set Programming as an implementation vehicle for
tightly-coupled approaches and DL-programs as an example of a
loosely-coupled approach. We will define these 2 frameworks and
analyze some of its key properties, including expressiveness and
complexity. Furthermore, we will indicate what the state-of-the-art
with respect to these approaches is and what the possible directions
for future work are.
Dr. Heymans obtained in 2006 a PhD in Theoretical Computer Science
from the Free University of Brussels, Belgium, on the integration of
ontologies and rules. From 2006 to 2008, he was a PostDoc researcher
at the Digital Enterprise Research Institute, Austria. In Innsbruck,
he led a research team of researchers in several European Union
projects. He was a work package leader in the SUPER project on using
semantics for business processes. In 2008-2011, he was the Principal
Investigator for an Austrian research project (``Distributed Open
Answer Set Programming’’) as well as the local project manager for the
EU project OntoRule at the Vienna University of Technology with the
group of Prof. Thomas Eiter. Currently, he is a Semantic Architect at
SemanticBits LLC, United States, a company specialized in health care
solutions. Dr. Heymans authored 53 publications (his h-index is 15),
organized 4 workshops, and was in the Program Committee of 27
international workshops and conferences. His specialty is in
Artificial Intelligence and Semantic Technologies research, in
particular Knowledge Representation and Reasoning using formal
languages such as Description Logics and Logic Programming.
Please arrive at least 10 minutes early as you will need to sign in by
following instructions by the lobby phone at Building E (or call Wilma
Lenz at 650 859 4904, or Vicenta at Lopez at 650 859 5750). 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 Building E entrance signage.
©2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493