This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04)
A Default Extension to Distributed Description Logics
Beijing, China
September 20-September 24
ISBN: 0-7695-2101-0
Yinglong Ma, Chinese Academy of Science, Beijing, China
Jun Wei, Chinese Academy of Science, Beijing, China
Description Logic is now an active research area, which is applied universally to knowledge representation, Semantic Web and Ontology language. Compared with Description Logic, Distributed Description Logic can be used to better establish distributed ontologies from distributed information sources. But little attention has been paid to the problem of endowing Distributed Description Logic with default reasoning capabilities to deal with incomplete or conflict information. In this paper we present a default extension to Distributed Description Logics to handle the heterogeneity and incompleteness of different information sources. We extend Distributed Description Logics by adding default information into a distributed knowledge base, and discuss the default satisfiability based on Distributed Description Logics with default rules. To perform default reasoning, a default Tableau algorithm is developed to check satisfiability of complex concepts and subsumption assertions.
Citation:
Yinglong Ma, Jun Wei, "A Default Extension to Distributed Description Logics," iat, pp.38-44, 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.