Please wait a minute...

Frontiers of Computer Science

Front. Comput. Sci.    2018, Vol. 12 Issue (5) : 1029-1031
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
Download: PDF(210 KB)  
Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks
Corresponding Authors: Zhenzhen GU   
Just Accepted Date: 03 November 2017   Issue Date: 21 September 2018
 Cite this article:   
Zhenzhen GU,Songmao ZHANG. The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering[J]. Front. Comput. Sci., 2018, 12(5): 1029-1031.
E-mail this article
E-mail Alert
Articles by authors
Zhenzhen GU
Songmao ZHANG
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
2 Motik B. On the properties of metamodeling in OWL. Journal of Logic and Computation, 2007, 17(4): 617–637
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
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
6 Gu Z. Meta-modeling extension of Horn-SROIQ and query answering. In: Proceedings of International Workshop on Description Logics. 2016
Full text