Splitting and updating hybrid knowledge bases

Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to as hybrid kno...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 11; no. 4-5; pp. 801 - 819
Main Authors:	SLOTA, MARTIN, LEITE, JOÃO, SWIFT, TERRANCE
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2011
Subjects:	Axioms Conferences Dynamics Knowledge Logic programming Operators Regular Papers Splitting Tasks Logic program Ontology Update Hybrid knowledge base Splitting theorem
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!