• 한국IT서비스학회:학술대회논문집
• /
• 2009.05a
• /
• pp.353-356
• /
• 2009

OWL 온톨로지의 확장 가능한(scalable) 추론(reasoning)에 대한 접근 방법으로 SQL로 구축된 논리 규칙을 관계형 데이터베이스에 저장되어있는 개체(individual)에 대한 사실(facts)과 공리(axioms)들에 적용하는 것이다. 예로서 미네르바(Minerva)는 서술 논리 프로그램(Description Logic Program, DLP)을 적용함으로써 ABox 추론을 수행한다. 본 연구에서는 관계형 데이터베이스를 기반으로 추론을 시도하며, 대규모 논리 규칙 집합을 사용한 추론을 시도한다. 뿐만 아니라, 특정 클래스에 속한 익명(anonymous)의 개체들과 개체들의 묵시적(implicit)인 관계성 추론을 시도하며, 필요한 경우 새로운 개체를 생성함으로써 명시화하여 추론을 시도한다. 더욱이, 추론의 논리 패러다임(paradigm)에서부터 데이터베이스 패러다임에 이르기까지 변화 시켜가면서 카디널리티(cardinality) 제약을 만족하는 개체들에 대한 제약적인 추정 추론을 시도하며, 벤치마크 테스트 결과 향상된 추론 능력을 얻을 수 있음을 보인다.

• Korean Journal of Social Welfare
• /
• v.65 no.4
• /
• pp.295-315
• /
• 2013

The purpose of this study is to analyse the ethical basis of two influential global citizenship idea - Rawls' liberal approach and cosmopolitan republicanism - as a theory on global justice. In the aspect of deontology, Rawls' view has the limit not to reflect reciprocal obligation and duty on civil right in the era of economic globalization that inequality has been structured. But cosmopolitan republicanism has the basis of deontological justification because advocates the realization of anti-domination principle at global level. In the aspect of utilitarianism, Rawls attempts to justify the logic rejecting redistribution intra nations. But cosmopolitan republicanism has the potential to decrease maleficence at global level and to increase utility level through overcoming the structured sacrifice of the citizens of developing countries.

• Journal of Educational Research in Mathematics
• /
• v.26 no.2
• /
• pp.159-172
• /
• 2016

This study examines the approach of introduction of the real numbers through the infinite decimal, which is suggested by Lee Ji-Hyun(2014; 2015) in the aspect of the overcoming the double discontinuity, and analyses Li(2011), which is the mathematical background of the foregoing Lee's. Also, this study compares these construction methods given by Lee and Li with the traditional method using the nested intervals. As a result of analysis, this study shows that Lee Ji-Hyun(2014; 2015) and Li(2011) face the risk of the circulation logic in making the infinite decimal corresponding each point on the geometrical line, and need the steps not using the 'limit to a real number' in order to compensate the mathematical and educational defect. Accordingly, this study raises the opinion that the traditional method of defining the infinite decimal as a sequence by using the geometrical nested intervals axiom would be a appropriate supplementation.

• (The)Study of the Eastern Classic
• /
• no.32
• /
• pp.129-158
• /
• 2008

After Four-Seven debate in late 16C, Korean Neo-Confucian scholars had developed their theories on human nature and morality such as Insimdosimsoel (theories on the moral emotion and desire), Inmulsoengron(theories on human nature and animal nature), Mibalsimcheron(theories on the calm mind as the embodiment of morality). Confucian scholars had been active member of society since acceptance of Neo-Confucianism. They had the plans of social reforms on the basis of moral self cultivation from the elite Confucians to commoners. So the Confucian scholar took part in the foundation of new Confucian kingdom, the Joseon Dynasty(1392). Kwon gun(1352~1409), the famous Neo-Confucian scholar wrote Iphakdosoel(pictogram for beginer of Neo-Confucianism) which emphasized the importance of moral self cultivation and that the mandate of heaven in human nature is identical with Li, the moral principle which the origin of the human intrinsic moral ability as the basis of unity with man and heaven. He thought that ethical life is identical with mandate of heaven, so he insisted all the member of society should follow Li, the moral principle which the origin of human morality and social goodness. Also he emphasized the morality was the intrinsic and most important value of human being. Therefore ethical life became essential part of self cultivation. Joeng Ji-un(1509~1561) wrote the Chunmyongdosoel (pictogram of mandate of Heaven), the start point of Four-Seven debate in mid 16C. Joeng followed Kwon's theoretical line. He emphasized the importance of moral self cultivation and the human intrinsic moral ability. He wrote that the Four moral emotions arise from Li, the moral principle of mind, while Seven emotions arise from Ki, vital force of body. He insisted that human being should control Ki, the vital force to follow the Li, the moral principle of mind. This Korean Confucian scholars developed theories of morality and self cultivation. This theories not only show the philosophical speculation of Korean Confucian scholars but also show the social idealism and moral utopianism which grounded on the human morality. So they had trust in human morality which can guide human being into the right track to the good and peaceful society. These tendencies are main characteristics of Korean Neo-Confucianism which has seen from the begining of acceptance of Neo-Confucianism. Some modern philosophical criticism which insist the Korean Neo-Confucian theories such as Four-Senven theories was indulged in academic discussion are not only neglect the historical realty but also ignore the potential of Korean Neo-Confucian heritage.