Research on Logical Semantic Analysis of Web Ontology Language

This paper analyzes three sub-languages of OWL,especially the DL logical semantic of OWL DL. OWL DL and OWL Lite are correspond to SHOIN (D )和 SHIF ( D )respectively. Both of them belong to SH family in DL. The transitive concept match pattern for ontology is also defined. And a rainfall management konwledge model based on this match pattern is provided as a DL reasoning example. This study shows that research on DL semantic of OWL can practically enhance inference ability of OWL and its applications.