@article{ART001007916},
author={송도규},
title={Formalization and Conversion into Ontologies of Korean Negational Expressions},
journal={Korean Semantics},
issn={1226-7198},
year={2006},
volume={19},
pages={85-104}
TY - JOUR
AU - 송도규
TI - Formalization and Conversion into Ontologies of Korean Negational Expressions
JO - Korean Semantics
PY - 2006
VL - 19
IS - null
PB - The Society Of Korean Semantics
SP - 85
EP - 104
SN - 1226-7198
AB - 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.
KW - 부정표현(Negational Expressions);술어논리(Predicate Logic);시맨틱 웹(Semantic Web);알고리듬(Algorithm);양화논리(Quantificational Logic);온톨로지(Ontology);온톨로지 구축(Ontology Construction);온톨로지 자동변환(Automatic Conversion into Ontologies);RDF (Resource Descrip-tion Fram
DO -
UR -
ER -
송도규. (2006). Formalization and Conversion into Ontologies of Korean Negational Expressions. Korean Semantics, 19, 85-104.
송도규. 2006, "Formalization and Conversion into Ontologies of Korean Negational Expressions", Korean Semantics, vol.19, pp.85-104.
송도규 "Formalization and Conversion into Ontologies of Korean Negational Expressions" Korean Semantics 19 pp.85-104 (2006) : 85.
송도규. Formalization and Conversion into Ontologies of Korean Negational Expressions. 2006; 19 85-104.
송도규. "Formalization and Conversion into Ontologies of Korean Negational Expressions" Korean Semantics 19(2006) : 85-104.
송도규. Formalization and Conversion into Ontologies of Korean Negational Expressions. Korean Semantics, 19, 85-104.
송도규. Formalization and Conversion into Ontologies of Korean Negational Expressions. Korean Semantics. 2006; 19 85-104.
송도규. Formalization and Conversion into Ontologies of Korean Negational Expressions. 2006; 19 85-104.
송도규. "Formalization and Conversion into Ontologies of Korean Negational Expressions" Korean Semantics 19(2006) : 85-104.
