Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

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

  • Letter
  • Published:
Frontiers of Computer Science Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  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

    Google Scholar 

  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

    Article  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

    Google Scholar 

  6. Gu Z. Meta-modeling extension of Horn-SROIQ and query answering. In: Proceedings of International Workshop on Description Logics. 2016

    Google Scholar 

Download references

Acknowledgements

This work was supported by the National Key Research and Development Program of China (2016YFB1000902) and the National Natural Science Foundation of China (Grant Nos. 61232015, 61621003).

Author information

Authors and Affiliations

  1. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, 100080, China

    Zhenzhen Gu & Songmao Zhang

  2. University of Chinese Academy of Sciences, Beijing, 100049, China

    Zhenzhen Gu

Authors
  1. Zhenzhen Gu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Songmao Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhenzhen Gu.

Electronic supplementary material

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Gu, Z., Zhang, S. The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering. Front. Comput. Sci. 12, 1029–1031 (2018). https://doi.org/10.1007/s11704-018-7105-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11704-018-7105-1

Search

Navigation