Formalization and Conversion into Ontologies of Korean Negational Expressions

KJC Korea
Journal Central

Korean Semantics 2021 KCI Impact Factor : 0.92

Korean | English

pISSN : 1226-7198 / eISSN : 2734-0171

http://journal.kci.go.kr/semantics

Home > Explore Content > All Issues > Article View

4 of 9

Formalization and Conversion into Ontologies of Korean Negational Expressions

¹㈜씨컴테크

ABSTRACT
열림/닫힘 버튼

Song Do Gyu. 2006. Formalization and Conversion into Ontologies of Korean Negational Expressions. Korean Semantics, 19. This paper aims to formalize korean negational expressions with predicate- quantificational logic and convert them into OWL ontologies. As domain experts’ knowledge and information are used to be described with negational expressions, it is necessary and important to formalize them into logical form and convert them into ontologies. OWL furnishes two properties, ‘owl:complementOf’ and ‘owl:disjointWith’, to represent negational conception. This study proposes a methodology firstly to formalize them into logical form and secondly to convert them into OWL ontologies using OWL properties mentioned above. Also, we try to distinguish different meanings of ambiguous sentences with OWL representation format. In result, we can verify that OWL is systematic and powerful in representation enough to represent properly various effects of negation including ambiguity provoked by negation.
KEYWORDS
열림/닫힘 버튼

부정표현(Negational Expressions), 술어논리(Predicate Logic), 시맨틱 웹(Semantic Web), 알고리듬(Algorithm), 양화논리(Quantificational Logic), 온톨로지(Ontology), 온톨로지 구축(Ontology Construction), 온톨로지 자동변환(Automatic Conversion into Ontologies), RDF (Resource Descrip-tion Fram

201 Viewed

1 Downloaded