Publication
Nominals for Everyone
Lutz Schröder; Dirk Pattinson; Clemes Kupke
In: Craig Boutilier (Hrsg.). International Joint Conferences on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-09), July 11 - June 17, Pasadena, CA, USA, Pages 917-922, AAAI Press; Menlo Park, CA, 2009.
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.