Efficiently combining rules and ontologies for the Semantic Web
Speaker: José Júlio Alferes, Universidade Nova de Lisboa
When: 2008-04-03 14:00:00
Venue: N06_0.25, Patience Thoms Bldg, Griffith University, Nathan Campus
Host: (seminar host unavailable)
Abstract:With the advent of the Semantic Web, it becomes especially important how to
combine open-world based ontology languages, like OWL, with closed-world
rules paradigms like the one used in e.g. logic programs' rules. One of the
most mature proposals for this combination is known as Hybrid MKNF knowledge
bases, which is based on an adaptation of the stable model semantics to
knowledge bases consisting of ontology axioms and rules. In this seminar,
after motivating for the issue of efficient combinations of rules and
ontologies, we propose a well-founded semantics for such knowledge bases
which promises to provide better efficiency of reasoning, which is
compatible both with the OWL-based semantics and the traditional
well-founded semantics for logic programs.
Biography:José Júlio Alferes is Associate Professor of Computer Science at the
Universidade Nova de Lisboa, in Portugal, since 2000. He is also a
researcher, and member of the board of directors, at the Artificial
Intelligence Centre of Universidade Nova de Lisboa (CENTRIA).
His main research interests are within the area of Artificial
Intelligence. More specifically, his interests have been focused on
Logic Programming, Non-Monotonic Reasoning, Knowledge Representation,
Model Based Diagnosis. Recently, a great part of his research work is
directed towards the problem of Knowledge Base Updates and on
Evolution and Reactivity in the Semantic Web this latter topic being
the main focus of a working group of EU project Rewerse. He wrote a
number of papers, and had some projects, on these subjects. He has
also organized a couple of conferences and served in editorial boards
of journals and programme committees of conferences in these areas.
More information can be found at http://centria.di.fct.unl.pt/~jja/
Type: IIIS seminar
Contact:(seminar host unavailable), seminar host (R.Bailey@griffith.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)