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á bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 11; číslo 4-5; s. 801 - 819
Hlavní autoři:	SLOTA, MARTIN, LEITE, JOÃO, SWIFT, TERRANCE
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2011
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!