Talks and Poster Presentations (with Proceedings-Entry):
V. Gutierrez-Basulto, Y.A. Ibanez Garcia, J. Jung:
"Number Restrictions on Transitive Roles in Description Logics with Nominals";
Talk: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17),
San Francisco, California USA;
2017-02-04
- 2017-02-09; in: "Proceeding of the 31st AAAI Conference on Artificial Intelligence",
AAAI Press,
(2017),
1121
- 1127.
English abstract:
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.
Keywords:
Description Logics, Transitive relations, Satisfiability
Electronic version of the publication:
https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14357/13889
Created from the Publication Database of the Vienna University of Technology.