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 United States Seiten 917-922 AAAI Press; Menlo Park, CA 2009.


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.


Weitere Links

Nominals.pdf (pdf, 169 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence