Browse our site
About
People
Research Areas
Projects
Publications
Seminars
Future
Past
News
You are here:
Home
Seminars
Past
A Coherent Well-founded Model for Hybrid MKNF...
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Main information
By:
Matthias Knorr
(
CENTRIA
)
Date:
Thursday, 8th of January 2009, 14h00
Location:
FCT/UNL, Seminar Room (Ed. II)
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. 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. 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 tradititional well-founded semantics for logic programs, and which surpasses previous proposals for such a well-founded semantics by properly handling possible occuring inconsistencies.
Short-bio
Bachelor in Computer Science from TU Dresden in 2003; European Master in Computational Logic from UNL and TUD in 2006; currently PhD student at UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
