A Logic Foundation for the Semantic Web, Science in China, Series F Information Sciences, vol.48, issue.2, pp.161-178, 2005. ,
Agent service matchmaking based on description logic, Chinese Journal of Computers, vol.27, issue.5, pp.625-635, 2004. ,
A Distributed Dynamic Description Logic, Journal of Computer Research and Development, vol.43, issue.9, pp.1603-1608, 2006. ,
Distributed Information Retrieval Oriented Automatic Reasoning. Doctor's thesis, Institute of Computing Technology, Chinese Academy of Sciences, 2010. ,
On the Semantics of Linking and Importing in Modular Ontologies, LNCS, vol.4273, pp.72-86, 2006. ,
DOI : 10.1007/11926078_6
The description logic handbook: Theory, implementation, and applications, 2007. ,
Criteria and Evaluation for Ontology Modularization Techniques, LNCS, vol.5445, pp.67-89, 2009. ,
A distributed tableau algorithm for package-based description logics. In: 2nd International Workshop on Context Representation and Reasoning, 2008. ,
Combining OWL ontologies using ?-connections, Journal of Web Semantics, vol.4, issue.1, pp.40-59, 2006. ,
Ontology Integration Using ? ?Connections, LNCS, vol.5445, pp.293-320, 2009. ,
E-connections of abstract description systems, Artificial Intelligence, vol.156, issue.1, pp.1-73, 2004. ,
DOI : 10.1016/j.artint.2004.02.002
URL : http://doi.org/10.1016/j.artint.2004.02.002
Package-Based Description Logics, LNCS, vol.12, issue.2, pp.349-371, 2009. ,
DOI : 10.1007/11926078_2
URL : http://archives.cs.iastate.edu/documents/disk0/00/00/05/63/00000563-00/2007-06-02_ombookr.2.0.0.pdf
Conservative extensions in expressive description logics, Twentieth International Joint Conference on Artificial Intelligence(IJCAI'07), pp.453-458, 2007. ,
Aspects of Distributed and Modular Ontology Reasoning, Tenth International Joint Conference on Artificial Intelligence(IJCAI'05), pp.570-575, 2005. ,