In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
In the context of open environments like the Semantic Web, knowledge-based applications with autonomous knowledge sources have recently gained increased interest. For such sources...
Tina Froehner, Matthias Nickles, Gerhard Weiß...
LTP (Language Technology Platform) is an integrated Chinese processing platform which includes a suite of high performance natural language processing (NLP) modules and relevant c...
Grid has emerged as a new paradigm for integration within dynamic virtual enterprises. Given a service-oriented Grid environment, more complex, value-added sophisticated services a...
Zhonghua Yang, Jing-Bing Zhang, Jiao Tao, Robert K...
In order to support various requirements from the user’s perspective, digital library (DL) systems may need to apply a large variety of services, such as query services for a spe...