|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| 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
| ASCII Text | x | ||
| Yinglong Ma, Jun Wei, "A Default Extension to Distributed Description Logics," Intelligent Agent Technology, IEEE / WIC / ACM International Conference on, pp. 38-44, 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), 2004. | |||
| BibTex | x | ||
| @article{ 10.1109/IAT.2004.1342921, author = {Yinglong Ma and Jun Wei}, title = {A Default Extension to Distributed Description Logics}, journal ={Intelligent Agent Technology, IEEE / WIC / ACM International Conference on}, volume = {0}, year = {2004}, isbn = {0-7695-2101-0}, pages = {38-44}, doi = {http://doi.ieeecomputersociety.org/10.1109/IAT.2004.1342921}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Intelligent Agent Technology, IEEE / WIC / ACM International Conference on TI - A Default Extension to Distributed Description Logics SN - 0-7695-2101-0 SP38 EP44 A1 - Yinglong Ma, A1 - Jun Wei, PY - 2004 KW - null VL - 0 JA - Intelligent Agent Technology, IEEE / WIC / ACM International Conference on ER - | |||
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.
