The Consistency Checking and Integration of Ontology
The World Wide Web is an open repository with lots of information, in which the ontologies can help users to get their required information.There are varies of ontologies in the WWW reference, ontologies can be reused by others to implement interoperability of them.As the rapid evolution and autonomy of Web ontonolgies, how to integrate ontologies becomes the key to reuse Web ontologies.This paper presents a method of mapping ontologies to first order logic.Then, it also presents methods to cheek the ontologiesconsisteney and integrate the ontologies based on the former method..
Web Service Ontology first-order logic
Zeng Qing-Hua
Institute of Neusoft Information and Technology, ChengDu,China
国际会议
昆明
英文
464-468
2010-10-17（万方平台首次上网日期，不代表论文的发表时间）