Introduction Logic은 "delarative KR formalism" 이다. (KR = Knowledge Representation) KR formalism 의 구성 Syntax - 'What you can say' Semantics - 'What it means' Inference Procedures - 'Reasoning''

Introduction RDF : Resource Description Framework W3C Recommendation http://www.w3.org/RDF Graphical formalism ( + XML syntax + Semantics) Triple에 기초한 간단한 Data Model을 제공함 [참고] Explicit Specificaiton 을 위한 다양한 언어들 (Graphic Notations) - Semantic Networks - Topic Maps - UML - RDF - Semantic Networks Object Oriented Models Objects/ Instances/ Individuals Types/ Classes/ Concepts Reations/ Properties/..

Syntactic Web vs. Semantic Web Syntactic Web... Hypermedia - digital library Database - application platform platform for multimedia naming scheme Semantic Web Technologies Explicit Metadata data about data meaning of data Ontologies (below...) Logic & Inference Logic이란, Reasoning 원리를 연구하는 규칙이라 할수 있다. 지식표현의 "Formal Language" 자동화된 reasoner는 몇가지 주어진 지식으로 부터, 결과를 도출(추론)해 낼 수 있다. Logic vs Ontology L..

OWL에 관한 자료들.. - ETRI의 장민수님이 번역한 OWL Web Ontology Language Overview 자료 - W3C에 제출된 OWL1.1 제안서