Skip navigation
Skip navigation

Global Caching for Coalgebraic Description Logics

Gore, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schroder, Lutz


Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncertainty, non-monotonic conditionals, or coalitional power. Specifically, we

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
Source: Proceedings of International Joint Conference on Automated Reasoning (IJCAR 2010)
DOI: 10.1007/978-3-642-14203-1_5


File Description SizeFormat Image
01_Gore_Global_Caching_for_Coalgebraic_2010.pdf262.74 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator