Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
The production process of multimedia learning material includes many participants, tasks, and tools. The system described in this paper combines all data from the development and ...
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
The paper presents a conceptual solution and an implementation for acquiring, modeling, publishing, retrieving, reusing and maintaining knowledge within XWiki, an open source coll...
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...