1 Introduction and main contributions There 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 dis...1 Introduction and main contributions There 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.展开更多
基金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).
文摘1 Introduction and main contributions There 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.