Efficiently combining rules and ontologies
Jose Alferes (Universidade Nova de Lisboa)
NICTA LC SEMINARDATE: 2008-04-15
TIME: 16:00:00 - 17:00:00
LOCATION: NICTA - 7 London Circuit, Seminar Room A.
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms like non-monotonic logic programs. 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, and which is compatible both with the OWL-based semantics and the traditional well-founded semantics for logic programs.
BIO:
Julio 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/
