Global Caching for Coalgebraic Description Logics
Loading...
Date
Authors
Gore, Rajeev
Kupke, Clemens
Pattinson, Dirk
Schroder, Lutz
Journal Title
Journal ISSN
Volume Title
Publisher
Conference Organising Committee
Abstract
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
Description
Citation
Collections
Source
Proceedings of International Joint Conference on Automated Reasoning (IJCAR 2010)
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description