This study focuses on educational theories as a kind of pedagogical knowledge and proposes an information sys-tem that helps users to utilize them for instructional and learning design. We take an ontological engineering approach to grasp fundamental concepts of learning and instruction, and to enable information systems to be aware of the theories on the basis of such concepts. Through this approach we have proposed a comprehensive ontology that covers different theories and paradigms and a modeling framework of learning and instructional scenario based on it. This paper discusses the overview of the ontology and the modeling framework, and the prototype system of an theory-aware authoring system based on them.

In order to satisfy incremental business demands, it is often required to combine functionalities of several services together. Some approaches, such as BPEL, WSCI, etc. can be categorized into static, manual service composition methods. In addition, by applying Semantic Web technologies, many research works have been investigated to support automatic service composition. Despite of the significant results being achieved, the task of service composition is still a challenging and complex issue. The main reason is that the former approaches require too much detail and technical interventions for defining business processes while the latter approaches are not much scalable for sophisticated applications. In this paper, we will introduce our approach for developing an ontology/language based on the OWL, called OWL-T, which can be used for users describing and specifying formally and semantically their needs at a high-level abstraction, which can be then transformed into executable business processes by underlying systems. The OWL-T aims at facilitating the modeling of complex demands or systems without regarding details of low-level and technical aspects of underlying infrastructure.

The EKOSS (Expert Knowledge Ontology-based Semantic Search) system has been developed for supporting the sharing, discovery, and integration of expert scientific knowledge using semantic web and AI technologies. The current EKOSS system supports two ontologies that are founded on description logics and implemented in OWL-DL: the SCINTENG ontology extending the Epistle Core Model and the SCINTHUMAN ontology extending the GALEN ontology. The EKOSS concept of providing a system for empowering domain experts to author their own A-Boxes describing their knowledge resources is described and details regarding the development of the SCINTHUMAN ontology for biosciences are discussed.