Please wait a minute...

Frontiers of Computer Science

Front. Comput. Sci.    2018, Vol. 12 Issue (5) : 1029-1031     https://doi.org/10.1007/s11704-018-7105-1
LETTER |
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.
 URL:  
http://journal.hep.com.cn/fcs/EN/10.1007/s11704-018-7105-1
http://journal.hep.com.cn/fcs/EN/Y2018/V12/I5/1029
Service
E-mail this article
E-mail Alert
RSS
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
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