• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.247-249
• /
• 2004

그동안 planning 분야에서는 action 또는 plan이 epistemically feasible한지에 대한 Knowledge Preconditions(KP) 문제(1)를 다루기 위해 여러 연구들이 제안되었다. 하지만 기존 연구에서는 feasibility에 대한 검사를 design-time에만 수행하며 run-time에서 수행하지 않기 때문에 여러 agent의 트랜잭션들이 발생하는 웹서비스 조합(WSC : Web Services Composition)에서는 문제가 발생하게 된다. 따라서 본 논문에서는 이 문제(Interfering Agent Problem)를 해결하기 위해 transactionally feasible한 WSC를 정의하고 WSC의 atomicity를 보장하기 위한 방법을 제안한다. 뿐만 아니라 WSC를 표현하기 위해 Description Logics기반의 TL-ALCF(2)를 적용하여 시맨틱 웹의 온톨로지(OWL-S)와 성능이 좋은 기존 subsumption 프로시저를 그대로 이용할 수 있도록 한다.

• Journal of Korea Multimedia Society
• /
• v.10 no.2
• /
• pp.147-169
• /
• 2007

Semantic Web Services Discovery matches between users' requirements and the ontological description of Web Services. However, concepts of an ontology can be interpreted differently according to a point of view. Previous works are limited in interpreting concepts. Since they lack a precise scheme of describing the advertisements and requirements of services and users, respectively, and even do not support a sophisticated matching, semantic mismatches may occur. This paper presents a sophisticated method of discovering Web services. The proposed method facilitates specifying semantics precisely and flexibly based on a proposed integrated concept model. Additionally, more sophisticated discovery is supported by computing complex matchings with many-to-many relationships. Experimental results show that the proposed method performs more efficiently for various kinds of user requests, compared with previous works.

• The Journal of Society for e-Business Studies
• /
• v.9 no.3
• /
• pp.259-276
• /
• 2004

ebXML and Web Services provide UDDI and ebXML registry for storing and managing the business and Service information of companies, respectively. Recently, W3C have released the OWL(Web Ontology Language) to Recommendation, and OWL-S proposed to describe the semantics of Web Services using the OWL ontologies. In this paper, we compared the OWL-S with the registry information model(RIM) of ebXML and the data structure of UDDI, and directly connect ones, which that of ebXML similar to that of UDDI; we extend the structure of the OWL to connect the rests. Consequently, our system enables to construct the ontologies of services and discover their semantics by using the information stored in the registries, and tintegrate UDDI, ebXML registry and OWL-S registry. By using the extending OWL-S documents in our system, agents can utilize for the semantic matchmaking.

• The Journal of Society for e-Business Studies
• /
• v.15 no.2
• /
• pp.167-189
• /
• 2010

As adopting ubiquitous technology into civil engineering, new city model is suggested called U-City. This paper proposes the framework of U-City management center to support effective services operation. The aims of the framework are to provide the development and operation environment for U-City services. Basically, these objectives are achieved by adopting the semantic web service technology to the framework. In this paper, OWL-S is mainly conducted to represent the description of U-City services. In addition, this paper insists that fine grained unit services are required to guarantee reusability, compatibility, and scalability of the services on U-City management center. The documentations conducted by OWL-S are provided as an example of service descriptions. At the last section, this paper also presents the architecture of U-City management center which enables automatic service discovery, selection, composition and interoperation.

• Journal of KIISE:Computing Practices and Letters
• /
• v.13 no.3
• /
• pp.179-192
• /
• 2007

Based on ontologies, semantic Web services enable the discovery, selection, and composition. OWL-S is a do facto standard ontology for describing semantics of Web services. Due to the difficulty of the OWL-S grammar, the teaming curve for constructing OWL-S description manually can be steep. This paper presents an efficient method for generating OWL-S descriptions from UML diagrams, which are widely used for software design and development. The proposed method is based on UML profiles to generate an OWL-S ontology from sequence or activity diagrams, which represent the behavior of a business process. Specifically, an XMI file extracted from UML diagrams is transformed into an OWL-S description via an XSLT script. Experimental results with a large volume of UML diagrams show that the proposed method deals with the control flow of complex processes and is superior to previous methods.

• The Journal of the Korea Contents Association
• /
• v.9 no.10
• /
• pp.32-39
• /
• 2009

Semantically-operated services, which is different from Web services or semantic Web services with semantic markup, can be defined as the services providing search function or reasoning function using ontologies. It performs a pre-defined task by exploiting URI, ontology classes, and ontology properties. This study introduces a method for pipelining semantically-operated services based on a semantic broker which refers to ontologies and service description stored in a service manager and invokes by user constraints. The constraints consist of input instances, an output class, a visualization type, service names, and properties. This method provides automatically-generated service pipelines including composit services and a simple workflow to the user. The pipelines provided by the semantic broker can be executed in a fully-automatic manner to find a set of meaningful semantic pipelines. After all, this study would epochally contribute to develop a portal service by ways of supporting human service planners who want to find specific composit services pipelined from distributed semantically-operated services.

• Journal of KIISE:Software and Applications
• /
• v.36 no.9
• /
• pp.732-748
• /
• 2009

The technology of Semantic Web realizes the base technology for context-awareness that creates new services by dynamically and flexibly combining various resources (people, concepts, etc). According to the realization of ubiquitous computing technology, many researchers are currently working for the embodiment of web service. However, most studies of them bring about the only predefined results those are limited to the initial description by service designer. In this paper, we propose a new service supporting model to provide an automatic method for plan related tasks which achieve goal state from initial state. The inputs on an planner are intial and goal descriptions which are mapped to the current situation and to the user request respectively. The idea of the method is to infer context from world model by DL-based ontology reasoning using OWL domain ontology. The context guide services to be loaded into planner. Then, the planner searches and plans at least one service to satisfy the goal state from initial state. This is STRIPS-style backward planner, and combine OWL-S services based on AI planning theory that enabling reduced search scope of huge web-service space. Also, when feasible service do not find using pattern matching, we give user alternative services through DL-based semantic searching. The experimental result demonstrates a new possibility for realizing dynamic service modeler, compared to OWLS-XPlan, which has been known as an effective application for service composition.

• Annual Conference on Human and Language Technology
• /
• 2008.10a
• /
• pp.103-108
• /
• 2008

주제어는 정보 서비스를 비롯한 여러 응용 분야들에서 유용하게 사용되는 지식이지만, 주제어 간 관계가 다양할 뿐만 아니라 목적에 맞도록 개별적으로 설계됨으로써 주제어 관계 속성 유형과 무관하게 공유가 가능한 주제어 공통 표현 모델이 제시되지 못하였다. 본 연구는 응용 분야, 온톨로지 종류와 무관하게 적용될 수 있으며 시맨틱 웹 서비스 간 공유가 가능한 주제어 공통 표현 모델을 제시하고자 한다. 이를 위해, 주제어 관계를 범용 클래스로 정의하고, 주제어 관계 속성 유형을 데이터타입 속성 (Datatype Property)으로 선언하였다. 또한, 주제어 역시 그 속성 유형을 데이터타입 속성으로 선언하였는데, 결국 다양한 유형의 관계들을 용이하게 표현할 수 있도록 하기 위한 것이다. 실험을 위해 주제어 간 관계수가 70,804,233개이며 주제어 관계 속성 유형이 4가지인 과학 기술 기반 정보 온톨로지와 주제어 간 관계수가 44,147개이며 주제어 관계 속성 유형이 13가지인 표준 정보 온톨로지를 대상으로 본 연구에서 제안한 주제어 공통 표현 모델을 적용하였으며 총 284,744,802개의 RDF(Resource Description Framework) Triple을 생성하였다.

• Journal of KIISE
• /
• v.43 no.4
• /
• pp.470-479
• /
• 2016

As the number of various types of media data such as UCC (User Created Contents) increases, research is actively being carried out in many different fields so as to provide meaningful media services. Amidst these studies, a semantic web-based media classification approach has been proposed; however, it encounters some limitations in video classification because of its underlying ontology derived from meta-information such as video tag and title. In this paper, we define recognized objects in a video and activity that is composed of video objects in a shot, and introduce a reasoning approach based on description logic. We define sequential rules for a sequence of shots in a video and describe how to classify it. For processing the large amount of increasing media data, we utilize Spark streaming, and a distributed in-memory big data processing framework, and describe how to classify media data in parallel. To evaluate the efficiency of the proposed approach, we conducted an experiment using a large amount of media ontology extracted from Youtube videos.