A distributed dynamic description logic

Jisuanji Yanjiu yu Fazhan/Computer Research and Development

Volumn 43, Issue 9, 2006, Pages 1603-1608

  Jiang, Yuncheng ^a,b   Shi, Zhongzhi ^c   Tang, Yong ^a   Wang, Ju ^b  

^a SUN YAT SEN UNIVERSITY   (China)

^b GUANGXI NORMAL UNIVERSITY   (China)

^c INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

Description logic; Distributed dynamic description logic; Dynamic description logic; Semantic Web

Indexed keywords

ARTIFICIAL INTELLIGENCE; DISTRIBUTED COMPUTER SYSTEMS; SEMANTICS;

DESCRIPTION LOGIC; DISTRIBUTED DYNAMIC DESCRIPTION LOGIC; DYNAMIC DESCRIPTION LOGIC; SEMANTIC WEB;

FORMAL LOGIC;

EID: 33750901275     PISSN: 10001239     EISSN: None     Source Type: Journal    
DOI: 10.1360/crad20060917     Document Type: Article

References (16)

1. F Baader, W Nutt. Basic description logic [G]. In: F Baader, et al, eds. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003. 47-100
2. R J Brachman, J G Schmolze. An overview of the KL-ONE knowledge representation system [J]. Cognitive Science, 1985, 9 (2): 171-216
3. Dong Mingkai, Zhang Haijun, Shi Zhongzhi. An agent model based on dynamic description logic [J]. Journal of Computer Research and Development, 2004, 41 (5): 780-786 (in Chinese)
4. A Artale, E Franconi. A temporal description logic for reasoning about actions and plans [J]. Journal of Artificial Intelligence Research, 1998, 9 (2): 463-506
5. I Horrocks. DAML + OIL: A description logic for the semantic Web [J]. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 2002, 25 (1): 4-9
6. I Horrocks, P F Patel-Schneider. Reducing OWL entailment to description logic satisfiability [J]. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 2004, 1 (4): 345-357
7. F Baader, I Horrocks, U Sattler. Description logics as ontology languages for the semantic Web [G]. In: D Hutter, W Stephan, eds. Mechanizing Mathematical Reasoning: Essays in Honor of J H Siekmann on the Occasion of His 60th Birthday. Berlin: Springer-Verlag, 2005. 228-248
8. Shi Zhongzhi, Jiang Yuncheng, Zhang Haijun, et al. Agent service matchmaking based on description logic [J]. Chinese Journal of Computers, 2004, 27 (5): 625-635 (in Chinese)
9. T D Noia, E D Sciascio, F M Donini, et al. Adaptive matchmaking using description logics [C]. In: Proc of the 18th Int'l Joint Conf on Artificial Intelligence. Los Alamitos, CA: Morgan Kaufmann, 2003. 337-342
10. A Borgida, L Serafini. Distributed description logics: assimilating information from peer sources [J]. Journal of Data Semantics, 2003, 1 (1): 153-184
11. A Borgida, L Serafini. Distributed description logics: Directed domain correspondences in federated information sources [G]. In: R Meersman, Z Tari, eds. On the Move to Meaningful Internet Systems, LNCS 2519. Berlin: Springer-Verlag, 2002. 36-53
12. T Berners-Lee, J Hendler, O Lassila. The semantic Web [J]. Scientific American, 2001, 284 (5): 34-43
13. Shi Zhongzhi, Dong Mingkai, Jiang Yuncheng, et al. A logic foundation for the semantic Web [J]. Science in China, Series E, 2004, 34 (10): 1123-1138 (in Chinese)
14. P Bouquet, F Giunchiglia, F V Harmelen, et al. Contextualizing ontologies [J]. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 2004, 1 (4): 325-343
15. C Ghidini, L Serafini. Distributed first order logics [G]. In: D M Gabbay, M D Rijke, eds. Frontiers of Combining Systems, Studies in Logic and Computation. Baldock, Hertfordshire: Research Studies Press, 2000. 121-139
16. L Serafini, A Tamilin. Local tableaux for reasoning in distributed description logics [C]. In: V Haarslev, R Moeller, eds. Proc of 2004 Int'l Workshop on Description Logics. Aachen, Germang: CEUR-WS. org, 2004. 100-109