.주제별/일반 [Semantic] 03. Logic Review 쌈이 2007. 6. 20. 10:35 Introduction Logic은 "delarative KR formalism" 이다. (KR = Knowledge Representation) KR formalism 의 구성 Syntax - 'What you can say' Semantics - 'What it means' Inference Procedures - 'Reasoning'' 공유하기 게시글 관리 싸미~* '.주제별/일반' Related Articles [Study] 03-01.Logic (Discrete Mathmatics) [Semantic] 04. Web Ontology Language : OWL [Semantic] 02. RDF/RDFS - Semantic Web [Semantic] 01. Intro - Semantic Web