Skip navigation
Skip navigation

Nominals for everyone

Schroder, Lutz; Pattinson, Dirk; Kupke, Clemens

Description

It has been recognised that the expressivity of description logics benefits from the introduction of non-standard modal operators beyond existential and number restrictions. Such operators support notions such as uncertainty, defaults, agency, obligation, or evidence, whose semantics often lies outside the realm of relational structures. Coalgebraic hybrid logic serves as a unified setting for logics that combine non-standard modal operators and nominals, which allow reasoning about...[Show more]

CollectionsANU Research Publications
Date published: 2009
Type: Conference paper
URI: http://hdl.handle.net/1885/84201
Source: IJCAI International Joint Conference on Artificial Intelligence

Download

File Description SizeFormat Image
01_Schroder_Nominals_for_everyone_2009.pdf502.29 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