CSpace  > 数学所
The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering
Gu Zhenzhen; Zhang Songmao
2018
Source PublicationFrontiers of Computer Science
ISSN2095-2228
Volume12Issue:5Pages:1029
AbstractThere are two expressive sub-languages in OWL 2, where OWL 2 Full is of the highest expressivity compared with OWL 2 DL, so that its reasoning has turned undecidable. The most distinctive feature of OWL 2 Full is meta-modeling, i.e., names can have multiple uses, which, unfortunately, causes reasoning undecidability in OWL 2 Full. Meta-modeling can be frequently spotted in real-word domain knowledge bases (KBs), for example, the FMA KB for canonical human anatomy, OpenCyc and SUMO for commonsense. In these KBs, most of the names for classes or roles are also used as individuals, leading them to fall into the category of OWL 2 Full. In contrast with OWL 2 DL, reasoning in OWL 2 Full has largely been unexplored, and there are no Reasoners tailored for OWL 2 Full. The gap between meta-modeling requirement in reality and the lack of studies on reasoning and querying in OWL 2 Full raises a challenge.
Language英语
Funding Project[National Key Research and Development Program of China] ; [National Natural Science Foundation of China]
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/33576
Collection数学所
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
Gu Zhenzhen,Zhang Songmao. The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering[J]. Frontiers of Computer Science,2018,12(5):1029.
APA Gu Zhenzhen,&Zhang Songmao.(2018).The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering.Frontiers of Computer Science,12(5),1029.
MLA Gu Zhenzhen,et al."The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering".Frontiers of Computer Science 12.5(2018):1029.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Gu Zhenzhen]'s Articles
[Zhang Songmao]'s Articles
Baidu academic
Similar articles in Baidu academic
[Gu Zhenzhen]'s Articles
[Zhang Songmao]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Gu Zhenzhen]'s Articles
[Zhang Songmao]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.