Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
V. Gutierrez-Basulto, Y.A. Ibanez Garcia, J. Jung:
"Number Restrictions on Transitive Roles in Description Logics with Nominals";
Vortrag: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17),
San Francisco, California USA;
04.02.2017
- 09.02.2017; in: "Proceeding of the 31st AAAI Conference on Artificial Intelligence",
AAAI Press,
(2017),
S. 1121
- 1127.
Kurzfassung englisch:
We study description logics (DLs) supporting number restrictions on transitive roles.
We first take a look at SOQ and SON with binary and unary coding of numbers, and
provide algorithms for the satisfiability problem
and tight complexity bounds ranging from ExpTime to NExpTime.
We then show that by allowing for counting only up to one (functionality),
inverse roles and role inclusions can be added without losing decidability.
We finally investigate DLs of the DL-Lite-family,
and show that, in the presence of role inclusions, the $core$ fragment
becomes undecidable.
Schlagworte:
Description Logics, Transitive relations, Satisfiability
Elektronische Version der Publikation:
https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14357/13889
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.