Mosurovic, N. and Krdzavac, H. and Graves, M. and Zakharyaschev, Michael (2013) A decidable extension of SROIQ with complex role chains and unions. Journal of Artificial Intelligence Research 47 , pp. 809-851. ISSN 1076-9757.
Abstract
We design a decidable extension of the description logic SROIQ underlying the Web Ontology Language OWL 2. The new logic, called SR+OIQ, supports a controlled use of role axioms whose right-hand side may contain role chains or role unions. We give a tableau algorithm for checking concept satisfiability with respect to SR+OIQ ontologies and prove its soundness, completeness and termination.
Metadata
| Item Type: | Article |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Administrator |
| Date Deposited: | 29 Apr 2015 14:22 |
| Last Modified: | 09 Aug 2023 12:36 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/12005 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
