The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering

Zhenzhen GU; Songmao ZHANG

doi:10.1007/s11704-018-7105-1

Front. Comput. Sci. ›› 2018, Vol. 12 ›› Issue (5) : 1029 -1031. DOI: 10.1007/s11704-018-7105-1

LETTER

The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering

Zhenzhen GU ¹^,²^,^†
, Songmao ZHANG ¹

Author information +

History +

PDF (210KB)

Cite this article

Download citation ▾

Zhenzhen GU, Songmao ZHANG. The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering. Front. Comput. Sci., 2018, 12(5): 1029-1031 DOI:10.1007/s11704-018-7105-1

登录浏览全文

4963

注册一个新账户忘记密码

References

Publishing order | Descend order by publishing year | Descend order by cited within

[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