A dynamic description logic for semantic web service

3rd International Conference on Semantics, Knowledge, and Grid, SKG 2007

Volumn , Issue , 2007, Pages 74-79

  Chang, Liang ^a,b   Lin, Fen ^a,b   Shi, Zhongzhi ^b  

^a UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

^b INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; INFORMATION SERVICES; INFORMATION THEORY; ONTOLOGY; SEMANTIC WEB; SEMANTICS; WEB SERVICES; WORLD WIDE WEB;

ACTION THEORY; DESCRIPTION LOGIC; DYNAMIC DESCRIPTION LOGIC; INTERNATIONAL CONFERENCES; MODAL OPERATORS; REASONING TASKS; SATISFIABILITY; SEMANTIC WEB SERVICES;

DATA DESCRIPTION;

EID: 50149111562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SKG.2007.59     Document Type: Conference Paper

References (10)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, eds. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. F. Baader, C. Lutz, M. Milicic, U. Sattler and F. Wolter. A Description Logic Based Approach to Reasoning about Web Services. In Proc. of the WWW 2005 Workshop on Web Service Semantics (WSS'05), Chiba City, Japan, 2005.
3. L. Chang, Z. Shi, L. Qiu, F. Lin. Dynamic description logic: embracing actions into description logic. In Proc. of the 20th InternationalWorkshop on Description Logics (DL'07), Italy, 2007.
4. I. Horrocks, P. F. Patel-Schneider, F. V. Harmelen. From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics, 2003, 1(1): 7-26.
5. H. Liu, C. Lutz, M. Milicic, F. Wolter. Updating description logic ABoxes. In Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'06), Lake District, UK, 2006.
6. S. McIlraith, T. Son, H. Zeng. Semantic web services, IEEE Intelligent Systems, 2001, 16(2): 46-53.
7. Z. Shi, M. Dong, Y. Jiang, H. Zhang. A logic foundation for the semantic web. Science in China, Series F, 2005, 48(2): 161-178.
8. F. Wolter, M. Zakharyaschev. Dynamic description logic. In Advances in Modal Logic, Vol 2. Stanford: CSLI Publications, 2000: 449-463.
9. H.Zhuge. Active e-Document framework ADF: model and tool. Information and Management, 2003, 41(1): 87-97.
10. H.Zhuge, Autonomous semantic link networking model for the Knowledge Grid. Concurrency and Computation: Practice and Experience, 2007, 7(19): 1065-1085.