무지외반증에서 저상형 금속판 고정을 이용한 근위 개방형 절골술의 임상적 결과: 근위 갈매기형 절골술 후 K-강선 고정술과의 비교

서은석,방태정,전숙하,Seo, Eun-Seok,Bang, Tae-Jung,Jeon, Suk-Ha 대한족부족관절학회 2013 대한족부족관절학회지 Vol.17 No.4

Purpose: To present clinical results of proximal first metatarsal opening wedge osteotomy and low profile plate fixation in hallux valgus deformity. Materials and Methods: Thirty-two patients (39 feet) underwent surgery for hallux valgus deformity. Fourteen patients (18 feet; Group A) underwent proximal first metatarsal opening wedge osteotomy fixed with low profile titanium plate ($Arthrex^{(R)}$), and 18 patients (21 feet; Group B) underwent proximal chevron osteotomy with two K-wires. Improvement in hallux valgus angle (HVA), 1, 2 intermetatarsal angle (IMA), range of motion of 1st metatarsophalangeal joint, VAS score, and the length of first metatarsal on weight-bearing radiograph were evaluated preoperatively and at final follow-up. Results: HVA improved from $36.2{\pm}6.6$ degrees to $11.7{\pm}5.1$ degrees, and 1, 2 IMA improved from $15.7{\pm}2.6$ degrees to $7.2{\pm}1.9$ degrees. VAS score improved from $7.2{\pm}1.2$ to $1.4{\pm}0.9$. There were no significant differences clinically and radiologically. Conclusion: Proximal first metatarsal opening wedge osteotomy with stable fixation using low profile plate may be an effective surgical option for correction of hallux valgus deformity.

전족부 거대신경초종: 증례 보고

서은석,이주한,전숙하,Seo, Eun-Seok,Lee, Joo-Han,Jeon, Suk-Ha 대한족부족관절학회 2014 대한족부족관절학회지 Vol.18 No.4

A schwannoma is a benign neurogenic tumor derived from Schwann cells. A rare case of a large painful schwannoma in the foot with metatarsal deformity was presented. Due to suspicion of malignancy, amputation had been recommended previously. We report on a rare case of a large forefoot schwannoma causing pain and paresthesia of the forefoot.

다양한 OWL-DL 추론 엔진에서 대용량 ABox 추론에 대한 성능평가

서은석(Eun-Seok Seo),박영택(Young-Tack Park) 한국정보과학회 2007 정보과학회논문지 : 소프트웨어 및 응용 Vol.34 No.7

Reasoners using typical Tableaux algorithm such as RacerPro, Pellet have a problem in Tableaux algorithm large ABox reasoning. Researches to solve these problems are dealt with Instance Store of University of Manchester which uses Tableaux algorithm based reasoner and DBMS and KAON2 of University of Karlsruhe using Disjunctive Datalog approach. An evaluation experiment for present reasoners is the experiment of TBox reasoning in most of Tableaux algorithm based one. The most of benchmarking tests in reasoning systems haven't done with ABox reasoning based Tableaux Algorithm but done with TBox reasoning based Tableaux Algorithm. Especially, rarely reported benchmarking tests in reasoners have been issued nowadays. Therefore, this thesis evaluates systems with theory of each reasoners for large ABox reasoning that becomes issues recently with typical reasoners. The large ABox reasoning engine will be analyzed using Instance Store and KAON2 of Manchester University for large ABox processing. At the analysing method, LUBM(Lehigh University BenchMark), benchmarking test method, and it's test system will be introduced. In conclusion, I recommend appropriate reasoner in various environment with experiment result and characteristic of algorithm used for each reasoner. RacerPro, Pellet 등 지금까지의 전형적인 추론 시스템들은 주로 Tableaux Algorithm 기반의 추론 시스템으로 Tableaux Algorithm의 특성상 대용량 ABox 추론에서 문제점을 나타낸다. 이를 해결하기 위한 연구로 Tableaux Algorithm 기반에 DBMS를 함께 사용한 영국 Manchester 대학의 Instance Store와 Disjunctive Datalog Approach를 사용한 독일 Karlsruhe 대학의 KAON2가 있다. 현재 추론 시스템들에 대한 벤치마크 실험은 대부분 Tableaux Algorithm 기반의 TBox 추론 위주이며 ABox 추론에 대한 평가는 거의 진행되지 않았다. 특히 최근 이슈로 부각된 (대용량 ABox 추론을 위한 추론 시스템)의 특성별 벤치마크 실험은 거의 보고되지 않았다. 이에 본 논문에서는 각 추론엔진들의 이론적 배경을 근간으로 전형적 추론엔진들과 최근 이슈에 따른 대용량 ABox를 위한 추론엔진들을 상호 비교를 통해 살펴보며 특히, 대용량 ABox 처리를 위한 추론엔진인 Manchester 대학의 Instance Store와 Karlsruhe 대학의 KAON2를 LUBM을 통하여 분석 평가함으로 사용자의 요구에 따른 대용량 ABox 추론엔진을 제시한다. 평가방법에서는 LUBM(Lehigh University BenchMark)에 대한 소개와 이를 이용한 벤치마크 실험 방법 및 평가 시스템에 대하여 소개한다. 본 논문은 결론을 통해 실험 결과와 각 추론엔진의 사용 Algorithm 특성을 기초로 다양한 환경에서의 대용량 ABox 처리에 적합한 추론엔진을 제시한다.

추론을 위한 OWL-DL과 SWRL의 효율적 결합

서은석(Eun-Seok Seo),박준상(Jun-Sang Park),박영택(Young-Tack Park) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.2B

유비쿼터스 컴퓨팅 시대의 도래와 시맨틱 웹에 대한 관심이 높아짐에 따라 관련 기술인 온톨로지와 이를 이용한 추론 기술에 대한 요구가 증가하고 있다. 따라서, 추론이 가능한 시맨틱 웹 기반의 모델링과 추론에 대한 연구가 필요하다. 모델링을 위해 사용되는 OWL-DL과 임의의 사용자 규칙을 표현하는 SWRL은 각각 W3C의 표준안으로서, 유비쿼터스 컴퓨팅 환경에 효율적으로 자동적인 개인화 서비스[1][2]를 제공하는데 있어서 적합하다. 그러나 OWL-DL과 SWRL의 단순한 결합은 질의응답(Query Answering)에 대한 처리가 비결정 가능한(undecidable) 문제를 야기한다. 본 논문에서는, 비결정가능성 문제의 원인인 무한반복의 가능성을 제거하기 위한 블록(blocking) 방법을 제안한다. OWL-DL이 지닌 서술논리(Description Logic)의 표현력을 유지하고, 그에 따른 추론의 질적인 성능을 유지하는 범위에서 블록방법을 사용하여 결정 가능한 질의응답을 수행하는데 궁극적인 목적을 두고 있다. OWL-DL의 TBox에 위치하는 존재 정량자(Existential Quantifier)를 대체하고 ABox에 삽입하여, 무한반복의 가능성을 없애는 해결 방법을 제시한다. 실험은 비결정가능성 문제를 DL-Safe 규칙을 통해 해결한 KAON2와 비교하여 진행한다.

계란 껍데기 분말을 채움재로 활용한 모르타르의 물리적 특성에 관한 연구

서은석 ( Seo Eun-seok ),김봉주 ( Kim Bong-joo ),홍상훈 ( Hong Sang-hun ),김해나 ( Kim Han-nah ),정의인 ( Jung Ui-in ) 한국건축시공학회 2020 한국건축시공학회 학술발표대회 논문집 Vol.20 No.1

Use fire resistant construction methods, of which fire resistant boards are used to protect buildings and structures from fire. However, in the case of fire resistant boards, the unit price of the main raw material is high and the cost efficiency is low. There have been studies to apply oyster shells to fire resistant boards to solve these problems. On the other hand, egg shells are also considered to be applicable to fire-resistant boards with components like oyster shells, but there is no case of using egg shells as building materials. Therefore, in this study, we confirmed the physical properties of egg shell powers used as mortar filler and compared them with the fire resistant board flexural strength standard. As a result, it was judged that the powder of egg shells could be used as a building material, because the standards for the flexural strength of fire resistant boards were satisfied except for a part.

환경 조건에 따른 열전도율 변화에 관한 연구

서은석 ( Seo Eun-seok ),김봉주 ( Kim Bong-joo ),유남규 ( You Nam-gyu ),홍상훈 ( Hong Sang-hun ),김해나 ( Kim Han-nah ),정의인 ( Jung Ui-in ) 한국건축시공학회 2019 한국건축시공학회 학술발표대회 논문집 Vol.19 No.2

Insulated buildings are exposed to the external environment due to aging and construction problems, resulting in a decrease in building energy efficiency. Therefore, the purpose of this paper is to provide a material for the change in thermal conductivity of the insulation when it is exposed to various external environments. In the experiment, five types of heat insulating materials were selected, stored under different environmental conditions, and the thermal conductivity was measured periodically to confirm the change in thermal conductivity. As a result, the thermal conductivity of all the insulating materials except the PF board increased with the passage of time. This is because thermal insulation absorbs atmospheric moisture under all environmental conditions and the thermal conductivity increases, and in the case of thermal insulation stored indoors in environmental conditions, the temperature differs from the thermal insulation stored outside. It is considered that there is little evaporation of moisture absorbed constantly, and the change in thermal conductivity is large.

대용량 ABox에서 서술논리 SHIQ(D) 추론 지원 방법

서은석(Eun-Seok Seo),최용준(Yong-Joon Choi),박영택(Young-Tack Park) 한국정보과학회 2007 정보과학회논문지 : 소프트웨어 및 응용 Vol.34 No.6

현존하는 추론 엔진들은 대부분 Tableaux 알고리즘 기반의 TBox의 최적화를 위한 연구를 진행하였다. 하지만 현실에서 대용량의 ABox를 추론하기 위해서는 유한한 시간 내에 결정 가능하지 못하다. 따라서 실용성 있는 추론 엔진 효율을 위해서는 대용량 데이타를 가지는 ABox를 위한 최적화된 추론 기법이 필요하다. 본 논문에서는 OWL-DL 기반의 온톨로지(Ontology)를 데이타로그(Datalog)와 같은 규칙(Rule) 형태로 변형하여 관계형 데이타베이스와 같은 저장장치와 연동하기 위한 방법을 이용한다. 최종적으로 실세계의 환경에서의 데이타타입 속성(Datatype Property)이 포함된 SHIQ(D) 구성의 실용적인 지식 표현 시스템을 수행하고자 한다. 따라서 OWL이 가지는 공리(Axiom)를 이용한 데이타타입이 포함된 규칙을 적용한 추론 방법에 대해서 제안하였다. Most existing deductive engines study for optimization of TBox based on Tableaux algorithm. However, in order to deduce mass-storing ABox in reality, it can't be decided in finite time. Therefore, for the efficiency of the deductive engine, there needs to be reasoning technique optimized for ABox. This paper uses the method that changes OWL-DL based Ontology to the form of Rule like Datalog in order to interlock store device such as RDBMS. Ultimately, it tries to in circumstance of real world. Therefor, using Axiom that OWL holds, it suggests reasoning method that applies rules including datatype.

OWL-DL과 SWRL 추론의 결합에 대한 연구

서은석(Eun-Seok Seo),권순현(SunHyon Kwon),오수영(Soo-Young Oh),박영택(Young-Tack Park) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.2

최근, 지식 표현을 위해 W3C의 온톨로지 표준 표현 언어인 OWLOI 활발히 사용되고 있다. OWL 온톨로지 언어는 서술논리 기반으로 지식을 표현한다. 이러한 OWL 온톨로지로부터 내재된 정보를 도출하기 위해 많은 추론기가 개발되고 있다. 그러나 대부분의 추론기들은 서술논리 표현만을 지원하거나 제한적인 규칙 표현을 지원한다. 따라서 본 논문에서는 보다 폭넓은 지식표현 및 효율적인 추론을 지원하기 위하여 OWL 온톨로지와 의미적 규칙을 결합한 융합형 추론 기법을 제안한다. 융합형 추론을 위해서는 OWL 기반 추론기와 규칙 기반 추론기의 유기적 연동이 매우 중요하다. 따라서 본 논문은 상호 이질적인 두 가지 추론기의 연동 기법 및 적합한 결과를 얻기 위해 적용한 추론 방법론에 대해서 소개한다. 더불어 융합형 추론의 진행 과정에서 각 단계 별 추론결과 분석을 위한 온톨로지 시각화 기법에 대해서 소개한다.

OWL-DL 기반의 대용량 ABox 추론 기법

서은석(Eun-Seok Seo),최용준(Yong-Joon Choi),박영택(Young-Tack Park) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.2B

현존하는 추론 엔진들은 대부분 Tableaux 알고리즘 기반의 TBox의 최적화를 위한 연구를 진행하였다. 하지만 현실에서 대용량의 ABox를 추론하기 위한 유한한 시간 내에 결정 가능성을 보장하지 못한다. 따라서 실용성 있는 추론 엔진 효율을 위해서는 대용량 데이터를 가지는 ABox를 위한 최적화된 추론 기법이 필요하다. 본 논문에서는 OWL-DL 기반의 온톨로지(Ontology)를 데이터로그(Datalog)와 같은 규칙(Rule) 형태로 변형하여 관계형 데이터베이스와 같은 저장 시스템과 연동하기 위한 방법을 이용한다. 최종적으로 실세계의 환경에서의 데이터타입 속성(Datatype Property)이 포함된 SHIQ(D) 구성의 실용적인 추론 시스템을 수행하고자 한다. 따라서 OWL이 가지는 공리(Axiom)를 이용하여 데이터타입 속성이 포함된 규칙을 적용한 추론 방법에 대해서 제안하였다.

온톨로지 상황모델 추론을 이용한 의미적 상황인지

서은석(Eun-Seok Seo),박영택(Young-Tack Park) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.2