Description Logic-based Semantic Web Ontology

In 1998, Tim Berners-Lee puts forward concept of"Semantic Web", the major research aim is to expand the current WWW and make information in the network semantic ,machine-understandable and machine-processable, which is helpful for the interaction and cooperation between humans and computers. The springing up of semantic Web fosters the development of Ontology technology. As Ontology is the foundation of semantic Web, while description logic is logic basis of semantic Web, they have become important content for its research and development. The major work is as below.1. The construction of domain Ontology and its formal inference research. OWL DL, made by W3C, is a kind of knowledge representation and annotation language oriented towards semantic Web. In this paper, we take university Ontology for example to introduce the general method for construction and formalization of domain Ontology, firstly we describe classes of university domain by NKI(National Knowledge Infrastructure) language and specify its properties, relations, then the corresponding relation between OWL DL and description logic is analyzed in detail here, and by the concrete example of university Ontology, every element of OWL DL is interpreted by description logic semantic, by this way, the research achievements in description logic can be applied on OWL DL, which lays basis for knowledge representation and inference problems.2. Web semantic platform of business intelligence. Here we take Web business intelligence domain as research objects, we establish semantic platform of such domain, analyze its Web data source functional module, knowledge base one and user one and analyze evolution process of Ontology in detail. For the reason that Web business information has apparent time efficiency and context-sensitivity, here we establish time sequence knowledge model of Web business intelligence domain too, determine atomic concepts, relations and axioms of time Ontology, realize the aim that determine concept definition and axioms based on description logic, therefore, lay basis for formal inference.3. Inconsistency study of Semantic Web Ontology. Ontology plays a very important role in semantic Web, by defining precise shared terms, it offers reusable knowledge of a specific domain. But the knowledge is not static, it evolves continously with the passage of time. In the process of Ontology evolution and development, inevitably Ontology will be inconsistent. Here we solve the inconsistent problems that occur after evolution on Ontology knowledge base, such as inconsistency test and inconsistency measurement, the latter is of nice reference value for the repair of Ontology knowledge base. In the process of inconsistency computation, for the aim of computation simplification, we apply structure-division based method and minimal inconsistency subset one to optimize the computation of inconsistency, by the way, inconsistency computation can be reduced greatly.