The more irresistible Hi(<i>SRIQ</i>) for meta-modeling and meta-query answering

Zhenzhen GU; Songmao ZHANG

doi:10.1007/s11704-018-7105-1

PDF(210 KB)

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 +

Cite this article

EndNote

Ris (Procite)

Bibtex

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 https://doi.org/10.1007/s11704-018-7105-1

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 CrossRef Google scholar

[2]	Motik B. On the properties of metamodeling in OWL. Journal of Logic and Computation, 2007, 17(4): 617–637 CrossRef Google scholar

[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 CrossRef Google scholar

[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 CrossRef Google scholar