Syntax OWL은 RDF/ RDFS에 기초를 둘뿐 아니라, RDF의 XML syntax을 사용한다. 물론 XML Syntax는 OWL의 Primary syntax이지만, 효과있는 Readable syntax가 되기에는 한계가 있다. 이런 이유로, OWL의 다른 Syntactic Form들이 명시된다. XML-based syntax RDF convention을 따르지 않는 XML-Based syntax이다. Abstract syntax 'Language specification doc'에 사용되는 'Abstract syntax'이다. 이는 XML syntax 또는 RDF/XML syntax보다는 좀더 readable/ compact 하다. Graphical syntax UML 언어 변환에 기반한 Gra..

Intro - RDF는 'binary ground predicates' 에 있어서, RDF Schema는 'subclass hierarchy' / 'property hierachy' 에 있어서 매우 제한적이다. - 미국/ 유럽의 여러 그룹에서 보다 강력한 "ontology modeling language"의 필요성을 확인하고, 이는 DAML+OIL 라 불리는 언어로 연구가 진행되었다. Requirements for ontology language Ontology language는, Domain 모델의 'Explicit, formal conceptualizations' 을 할수 있어야 하는데, 이를 위해서는 다음의 요구사항들을 만족해야 한다. A well-defined syntax - 정보의 Machin-..

Logic이란 수학적 표현의 의미를 정확하게 기술할 수 있게 함 명제 (Proposition) 명제란 참(true, T) 또는 거짓(false, F)을 판정할 수 있는 선언적 문장을 말함 A proposition (p,q,r,s,...) is declarative statement that is either true(T) or falsh(F), but not both. 용어 Compound proposition (복합명제) 하나 또는 여러 명제를 조합하여 새로운 수학적 명제를 만들 수 있슴 Logical operator / Connective 복합명제를 만들때 사용하는 연산자 논리연산자(Logical operator)는 명제 연산자(Propositional operator) 혹은 불리언 연산자(Boole..

OWL Family Tree OIL : European language frame 기반의 언어를 기반을 둠 formal rigour을 강조함 Description logic 들로 구성된 semantic RDFS 기반의 syntax DAM-ONT : USA language RDFS을 OO의 Constructor을 통하여 확장, frame기반의 언어 Semantic 표준과는 약간 거리가 있다 - Machine interpretation , Human interpretation에 문제 DAM+OIL : EU/US Committe DAML-ONT와 OIL을 수용 RDFS 기반 Syntax의 DL W3C에 WebOnt로서 기초가 됨 OWL W3C 권고안 DAML+OIL 에 기초를 둠 RDF/XML 과 연속성을 가..

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/..