Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article in Proceedings
Author: Lutz Schröder, Dirk Pattinson, Clemes Kupke
Editor: Craig Boutilier
Title: Nominals for Everyone
Book / Collection title: International Joint Conferences on Artificial Intelligence (IJCAI 2009)
Page(s): 917 – 922
Year published: 2009
Publisher: AAAI Press, Menlo Park, CA
Abstract: It has been recognised that the expressivity of ontology languages benefits from the introduction of non-standard modal operators beyond the usual existential restrictions and the number restrictions already featured by many description logics. Such operators serve to support notions such as uncertainty, defaults, agency, obligation, or evidence, which are hard to capture using only the standard operators, and whose semantics often goes beyond relational structures. We work in a unified theory for logics that combine non-standard modal operators and nominals, a feature of established description logics that provides the necessary means for reasoning about individuals; in particular, the logics of this framework allow for internalisation of ABoxes. We reenforce the general framework by proving decidability in EXPTIME of concept satisfiability over general TBoxes; moreover, we discuss example instantiations in various probabilistic logics with nominals.
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/Nominals.pdf
Keywords: Description logic coalgebra hybrid logic modal logic nominals uncertainty Tudor dynasty
Status: Reviewed
Last updated: 20. 08. 2009

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum