Skip navigation
Skip navigation

Global Caching for Coalgebraic Description Logics

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

Description

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
URI: http://hdl.handle.net/1885/34203
Source: Proceedings of International Joint Conference on Automated Reasoning (IJCAR 2010)
DOI: 10.1007/978-3-642-14203-1_5

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator