싸미~*

[Semantic] 03. Logic Review

.Tech/SemanticWeb
  • Introduction
    • Logic은 "delarative KR formalism" 이다. (KR = Knowledge Representation)

  • KR formalism 의 구성
    • Syntax - 'What you can say'
    • Semantics - 'What it means'
    • Inference Procedures - 'Reasoning''
신고

[Semantic] 02. RDF/RDFS - Semantic Web

.Tech/SemanticWeb
  • Introduction
    • RDF : Resource Description Framework
    • W3C Recommendation
    • 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/ Roles

  • RDF Data Model
    • Statements 는 Triples로 구성
       <subject , predicate, object> e.g. <Sean, hasColleague, Ian>


    • Statement는 Resource의 속성을 묘사한다
    • Resource란, URI을 통해서 지정될 Object이다.
    • Linking Statement
      • 한 Statment의 Subject가 다른, Object 가 될수 있슴

  • RDF Syntax
    • RDF 는 XML Syntax임
    • 모든 "Description" element는 Resource을 묘사함
    • "Descripton"내 모든 attribute와 인접한 element는 , Resource의 Property임
    • URI로 resource을 참조함
      <Description about="some.uri/person/sean_bechhofer">
          <hasCollegue resource="some.uri/person/ian_horrocks"/>
          <hasName rdf:datatype="&xsd;string"> Sean K. Bechhofer </hasName>
      </Description>
  • RDF(S): RDF Schema
    • RDF 는 meta-data annotation에 대한 형식을 제공하는것이고,
      XML 형태로 이를 기입하는 방법을 제공한다.
      하지만, 'subClassOf' / 'type'과 같은 vocabulary에 대해 특별한 의미를 부여하지는 않는다
    • RDF Schema는, RDF을 "Schema Vocabulary"로 확장한 것인데,
      이는 기본 vocabulary term들과, 다음의 terms들간의 관계를 명시한다

           extra meaning 인 semantic
           - Class, type, subClassOf
           - Property, subPropertyOf, range, domain

    • RDF(S) Examples
      <Person, type, Class>
      <hasColleague, type, Property>
      <Professor, subCalssOf, Person>
      <Carole, type, Professor>
      <hasColleague, range, Person>
      <hasColleague, domain, Person>

  • RDF Schema Example
    - 3가지 Level로 구성 (Data, Ontology , Language level)


  • RDF/ RDF(S) "Liberality"
    • Class와 Instance(Indivduals)간에 구별이 없다
      <Species, type, Class>     - Species->Instance , Class = Class
      <Lion, type, Species>
      <Leo, type, Lion>
    • Property 역시, property을 가질 수 있다
      <hasDaughter, subPropertyOf, hasChild>
      <hasDaughter, type, familyProperty>
    • Language constructorontology vocabulary간에 구별이 없다.
      따라서, 생성자는 자신한테는 다른 것한테든 적용 될 수 있다.
      <type, range, Class>
      <Property, type, Class>
      <type, subPropertyOf, subClassOf>

  • Restrictions & Notes
    • Class 와 Property는 독립적으로 모델링 되어야 한다
      • 일반적인 'Object-Oriented' modeling과 다른점이다.
        일반적인 OO는 Properties가 Class의 일부분이기 때문이다.
      • 따라서, domain/ range statement는 매우 제한적으로 구성될 수 밖에 없다.
    • 위 그림의 Level간 Line은 설명을 위한 것이다.
    • RDF(S)는 매우 작은 범위의 "formal semantics"이다.
      • RDF(S) statement 내 내포된 다른 Statement가 무엇인지 명시해야 함
      • 다른 구성들간에 몇몇 Content에 대한 상호 협정이 필요하다.
        (RDF(s)와 다른 언어간의..)
  • RDF 문제점들..
    • RDF는, resource을 자세히 기술하기에는 매우 약하다
      • No localised range and domain constraints
        'hasChild' 의 range가 'Person' 에 있는지, 'Elephant'에 있는지 알수가 없다
      • No existence/ cardinality constraints
        'Person'의 모든 instance가 'mother'을 갖는지 알수가 없고,
        'Persons'는 정확히 2명의 부모를 갖는다고 알수가 없다.
      • No transitive, inverse or symmetrical properties
    • Reasoning 지원을 제공하기는 어렵다
      • No native reasoners for non-standard semantics
  • 해결책
    • RDF(S)는 다음의 특징들을 따르는 language (OWL)로 확장한다.
      • XML, RDF, RDFS와 같은 Web 표준으로 확장
      • 이해하기 쉽고, 사용하기 쉽게
      • automated reasoning 지원
신고

[Semantic] 01. Intro - Semantic Web

.Tech/SemanticWeb
  • 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
        • Logic은, 함축된 Ontological 지식을 까보는것에 사용된다.
        • 쉽게, Logic은 Ontological 보다는 일반적인 것을 다룬다.
      • Trade off
        • 표현될수 있는 Logic이 많을수록, 결과를 그려내는데 더 많은 계산이 필요하다
    • Agents
       
  • Ontology in CS
      • It is constituted by a specify vocabulary used to descrbie a certain reality
      • A set of explicit assumptions regarding the intended meaning of the vocabulary

               "An Explicit Specification of a Conceptualisation"
                주] 무슨 말이야..;;

  • Structure of an Onotlogy

온토롤지는 두가지 구성이 있다.

  • Terms ==>Names (important concepts in the domain)

          e.g. Elephant = 동물이란 종의 한 구성원이란 개념

                  Adult_Elephant = 20년 이상의 elephant라는 개념

  • Relationship - Background Knowledge / Constraints on the domain

          e.g. Adult_Elephant 는 최소 2,000kg이 나간다는 것.

                 모든 Elephants는 '아프리카 코끼리' or '인디안 코끼리' 라는 것.

  • Web Ontology Languages
    • RDF Schema
      • Object와 그리고 이들간의 관계를 위한 Data Model
      • Vocabulary description language
      • Property와 Class의 일반적인 계층에 대한 의미(Semantic)을 제공함
    • OWL
      • Richer ontology language
      • class들간의 관계, cardinality등을 제공
  • Semantic Web.. 첫 단계
    • 자동 프로세싱이 가능한 Web Resource을 만든다
      • 기존의 'Rendering markup'을 'Semantic markup'으로 확장 (by metadata annotation)
      • Ontology을 통해서, (metadata) annotation에 대한 'vocabulary'을 제공
    • 'Web standard ontology language'
  • Semantic Layerd

 

    • XML Layer
      • Syntactic basis
    • RDF Layer
      • RDF data model
      • RDF Schema simple ontology language
    • Ontology Layer
      • More expressive languages than RDF Schema
      • OWL
    • Logic Layer
      • Enhanched ontology language
      • application-specific declarative knowledge
    • Proof Layer
      • Proof generation, exchange, validation
    • Trust Layer
      • Digital signature
      • Recommendations, Rating agencies...
신고

[스크랩] OWL 웹 온톨로지 언어 (원본 , 번역서)

.Trend/IT

OWL에 관한 자료들..

- ETRI의 장민수님이 번역한 OWL Web Ontology Language Overview 자료

- W3C에 제출된 OWL1.1 제안서
신고