| 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 |
|
 |
