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

Celý popis

Podrobná bibliografia

Vydané v:	Theory and practice of logic programming Ročník 11; číslo 4-5; s. 801 - 819
Hlavní autori:	SLOTA, MARTIN, LEITE, JOÃO, SWIFT, TERRANCE
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.07.2011
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!