|
|
|
The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering |
Zhenzhen GU1,2( ), Songmao ZHANG1 |
1. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China
2. University of Chinese Academy of Sciences, Beijing 100049, China |
|
|
|
|
|
|
Corresponding Author(s):
Zhenzhen GU
|
|
Just Accepted Date: 03 November 2017
Issue Date: 21 September 2018
|
|
| 1 |
Calvanese D, Eiter T, Ortiz M. Answering regular path queries in expressive description logics via alternating tree-automata. Information and Computation, 2014, 237: 12–55
https://doi.org/10.1016/j.ic.2014.04.002
|
| 2 |
Motik B. On the properties of metamodeling in OWL. Journal of Logic and Computation, 2007, 17(4): 617–637
https://doi.org/10.1093/logcom/exm027
|
| 3 |
De Giacomo G, Lenzerini M, Rosati R. Higher-order description logics for domain metamodeling. In: Proceedings of the AAAI Conference on Artificial Intelligence. 2011, 183–188
|
| 4 |
Motz R, Rohrer E, Severi P. The description logic SHIQ with a flexible meta-modeling hierarchy. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 2015, 35(4): 214–234
https://doi.org/10.1016/j.websem.2015.05.002
|
| 5 |
Gu Z, Zhang S. Querying large and expressive biomedical ontologies. In: Proceedings of IEEE International Conference on High Performance Computing and Communications. 2015, 491–496
https://doi.org/10.1109/HPCC-CSS-ICESS.2015.172
|
| 6 |
Gu Z. Meta-modeling extension of Horn-SROIQ and query answering. In: Proceedings of International Workshop on Description Logics. 2016
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
| |
Shared |
|
|
|
|
| |
Discussed |
|
|
|
|
