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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming Jg. 11; H. 4-5; S. 801 - 819
Hauptverfasser:	SLOTA, MARTIN, LEITE, JOÃO, SWIFT, TERRANCE
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.07.2011
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!