분류 전체보기
-
OWL DL?카테고리 없음 2004. 3. 3. 16:41
[OWL Reference의 8.2절 번역입니다.] OWL DL은 여러 OWL 언어 구문의 사용상 제약 사항을 포함하는 OWL의 하위 언어입니다. 제약 사항들을 간략하게 나열해 보면 다음과 같습니다. OWL DL은 클래스, 데이터타입, 데이터타입 속성, 객체 속성, 주석 속성(annotation properties), 온톨로지 속성 (예: 온톨로지 임포트 및 버전 정보에 관련된 속성들), 개체, 데이터 값 및 사전 정의 어휘 간에 상호 배타적인 분리를 전제한다. 예를 들면, 클래스는 개체가 될 수 없다. OWL DL에서 객체 속성과 데이터타입 속성은 서로 겹치지 않는 집합을 구성한다. 따라서 데이터타입 속성에 대해서는 속성의 역 관계, 역함수 특성, 대칭성, 이행성은 기술될 수 없다. OWL DL에서 이..
-
OWL Full에 대하여카테고리 없음 2004. 2. 24. 16:52
[OWL Reference의 8.1절 번역입니다.] OWL Full을 OWL의 하위 언어라 하기는 뭣하다. 모든 OWL 구문을 포함하고 있을 뿐 아니라 자유로운 RDF 구문 구조를 제약 없이 사용할 수 있도록 허용하고 있기 때문이다. OWL Full에서 owl:Class는 rdfs:Class와 동치이다. 반면 OWL Lite와 OWL DL에서 owl:Class는 rdfs:Class의 진부분집합이다. (즉, 모든 RDF 클래스가 OWL Lite 또는 DL 클래스는 아니다.) 또한, OWL Full에서는 클래스를 개체로 취급할 수 있다. 예를 들면, OWL Full에서는 "Fokker-100"이라는 이름을 (운항 중인 Fokker-100 기종 항공기들의 집합이란 의미로) 클래스 이름으로 사용할 수도 있고 동..
-
OWL 클래스에 속성 달기카테고리 없음 2004. 2. 24. 16:48
"OWL Full을 사용하지 않고 OWL의 클래스에 속성을 매달 수 있는가?" 최근 W3C의 webont-comment 메일링리스트에 올라왔던 질문의 요지다. 예를 들어, 용어 사전을 만든다고 치자. 사전은 명사와 동사로 이루어져 있다. 그리고, 각 명사마다 관련된 동사들을 엮어준다고 하자. "과자"와 "먹다"를 연결해 주는 식으로 말이다. 간단하게 다음과 같은 예를 적어볼 수 있을 것이다. :Cookie rdf:type owl:Class. :Eat rdf:type owl:Class. :relatedAction rdf:type owl:ObjectProperty. :Cookie :relatedAction :Eat. 위와 같은 OWL 구문을 포함하는 문서는 OWL Lite, DL, Full 중 어디에 속할까..
-
Magma - Kohntarkosz음악/감상평 2004. 2. 23. 16:53
마그마의 정식 발매 네번째 앨범이다. 마그마의 최전성기를 구지 꼽는다면 1973년부터 1976년을 꼽을 수 있다. 이 앨범은 1974년에 발매되었으니 마그마 전성기의 중앙을 가른다고 할 수 있겠다. 음악적으로 보더라도 이 앨범은 마그마의 활동을 기승전결로 나눴을 때 가장 높은 봉우리의 점을 찍은 앨범이 아니었나 싶다. 본 앨범은 이전 앨범인 "M.D.K."와 쌍벽을 이룰만 한 마그마의 핵심 작품이다. 본 앨범은 대작인 Kohntarkosz 1, 2부와 두 개의 단편을 담고 있다. 전반적인 앨범의 분위기는 "M.D.K"와 달리 내면적이고 암시적이다. "Kohntarkosz"는 Ementeht-Re라는 구도자가 우주의 도를 깨달아가는 과정을 그리고 있다. 이 과정은 깨달음,희열, 망각, 오랜 세월에 걸친 구..
-
OWL Overview 한글 번역 완료카테고리 없음 2004. 2. 21. 16:56
방금 OWL Overview 한글 번역을 마쳤다. 분량이 아주 적어서 비교적 수월하게 번역할 수 있었다. 되도록 의미 전달이 잘 될 수 있도록 문장 구조를 다듬었으나 역시 한계가 있고 개중엔 아직 원본의 내용을 충분히 이해하지 못한 부분도 있어 아쉽다. 기회가 되면 다른 OWL 권고안들도 번역을 시도해 볼 생각이다. OWL Overview 번역본은 http://mknows.etri.re.kr/translations/REC-owl-features-20040210-ko-v01.html에 있다. [Note] 2007년 1월 현재 위 문서의 위치는 바뀌었다. 새 주소는: http://www.geocities.com/jangminsu/REC-owl-features-20040210-ko-v01
-
기계학습 적용의 문제점카테고리 없음 2004. 1. 26. 15:09
좀 더 똑똑하고 다채로운 모습을 보여주는 소프트웨어를 만들어보라고 한다면 나는 쉽사리 기계 학습을 활용한 시스템을 떠올리게 된다. 경험을 통해 개성을 발달시키고 특정한 주위 환경에 적절히 대응하려면 학습은 필요 불가결한 요소다. 그런데, 기계 학습은 그 환상적인 장점만큼 문제점을 많이 가지고 있다. 아니, 본디 기계학습으로 이루고자 했던 목표를 만족시킬 만 한 방법론이 아직 없다는 것이 큰 문제이다. 아래는 기계학습을 활용하는데 있어 발생하는 문제점을 나열해 놓은 것이다. 기계학습 시스템이 잘못된 내용을 학습하기 쉽다. 잘못 학습한 시스템은 전혀 사용자가 원치 않는 반응을 하게 될 것이다.기계학습 기법은 원하는 결과를 성취하기 위해 조율하거나 변경하기가 어려울 수 있다. 예를 들어, 다양한 학습 상황에 ..
-
논리학 용어들카테고리 없음 2004. 1. 26. 15:08
온톨로지, DL, 규칙 등 시맨틱 웹 관련 문서들을 보다 보면 논리학 관련 용어들이 심심치 않게 등장한다. 우연찮게 발견한 국내 논리학 논문을 통해 몇몇 용어들의 한글 이름을 적어본다. - entailment: 필함 - entail: 필함한다. - conjunction: 연접 - disjunction: 선접 - disjunct: 선접지 - negation: 부정 - boolean expression: 부울식 - Herbrand Base: 허브랜드 토대 - sentential logic: 문장 논리 - connective: 연결사 - tautology: 항진식 - equality: 동치
-
Situation Calculus...카테고리 없음 2004. 1. 26. 15:07
상황 계산법(Situation Calculus)은 시간에 따라 변화하는 세계를 표현하기 위한 지식 표현법의 하나이다. 상황 계산법에서는 어떤 사실이 참이 되는 상황, 또는 - 반대로 - 어떤 상황을 묘사하기 위해 필요한 사실들을 기술하는 방법 및 이들의 변화 과정 속에서 추론을 수행하는 방법이 무엇인지를 연구한다. [1]에 따르면, 상황 계산법은 "시간에 따른 변화를 추론하기 위해 매카시(John McCarthy)가 개발한 일차 술어 논리 이론"이다. 다음 문단은 매카시의 논문 [2]에서 발췌한 것이다. One of the basic entities in our theory is the situation. Intuitively, a situation is the complete state of affai..