A logical foundation for the semantic Web

Science in China, Series F: Information Sciences

Volumn 48, Issue 2, 2005, Pages 161-178

  Shi, Zhongzhi ^a   Dong, Mingkai ^a   Jiang, Yuncheng ^a   Zhang, Haijun ^a  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

Description logic; Dynamic description logic; Logical foundation; Semantic Web

Indexed keywords

EID: 33746337599     PISSN: 10092757     EISSN: None     Source Type: Journal    
DOI: 10.1360/03yf0506     Document Type: Article

References (15)

1. Berners-Lee, T., Hendler, J., Lassila, O., The semantic Web, Scientific American, 2001, 284(5): 34-43.
2. http://www.w3.org/TR/daml+oil-reference.
3. http://www.w3.org/TR/owl-ref/.
4. Horrocks, I., DAML+OIL: a description logic for the semantic web, Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 2002, 25(1): 4-9.
5. Horrocks, I., Patel-Schneider, P. F., Reducing OWL entailment to description logic satisfiability, in Proc. of the 2003 International Semantic Web Conference (ISWC 2003) (eds. Fensel, D., Sycara, K., Mylopoulos, J.), Berlin: Springer, 2003, 17-29.
6. Baader, F., Horrocks, I., Sattler, U., Description logics as ontology languages for the semantic web, in Festschrift in honor of Jörg Siekmann (eds. Hutter, D., Stephan, W.), Berlin: Springer, 2003.
7. McIlraith, S., Son, T. C., Zeng, H., Semantic Web Services, IEEE Intelligent Systems, Special Issue on the Semantic Web, 2001, 16(2): 46-53.
8. Baader, F., Calvanese, D., McGuinness, D. et al., The Description Logic Handbook: Theory, Implementation and Applications, Cambridge: Cambridge University Press, 2002.
9. Lutz, C., Sattler, U., A proposal for describing services with DLs, in Proceedings of the 2002 International Workshop on Description Logics (eds. Horrocks, I., Tessaris, S.), Aachen: CEUR-WS, 2002, 129-140.
10. Woher, F., Zakharyaschev, M., Dynamic description logic, in Advances in Modal Logic (eds. Segerberg, K. et al.), Volume 2, Stanford: CSLI Publications, 2000, 449-463.
11. Heflin, J., Towards the Semantic Web: Knowledge Representation in a Dynamic, Distributed Environment, Ph. D. Thesis, University of Maryland, College Park, 2001.
12. Giacomo, G., Iocchi, I., Nardi, D. et al., Planning with sensing for a mobile robot, in Proceedings of the 4th European Conference on Planning (ECP'97), LNCS 1348, Berlin: Springer-Verlag, 1997, 156-168.
13. Artale, A., Franconi, E., A temporal description logic for reasoning about actions and plans, Journal of Artificial Intelligence Research, JAIR, 1998, 9: 463-506.
14. Liebig, T., Rösner, D., Action hierarchies in description logics, in Proceedings of 1997 International Description Logics Workshop (DL'97) (eds. Brachman, R. J. et al.), USA: AAAI Press, 1997, 51-56.
15. Dong Mingkai, Jiang Yuncheng, Shi Zhongzhi, A description logic with default reasoning, Journal of Computer, 2003, 26(6): 729-736.