General Computer Science 320201 GenCS I & II Lecture ... - Kwarc

R⌉}〉∫⊔⌉∇⌉⌈√⊣∇⊔〉⌋〉√⊣\⊔∫⌋≀⇕〉\}{∇≀⇕
⊣⊓∫⊔∇⊣↕〉⊣⇔⌋⊣\⊣⌈⊣⇔⌋〈〉↕⌉⌈⌉\⇕⊣∇⇔{∇⊣\⌋⌉⇔}⌉∇⇕⊣\†⇔}〈⊣\⊣⇔〈≀\}≀\}⇔〉\⌈〉⊣⇔
〉∇⌉↕⊣\⌈⇔〉⊔⊣↕†⇔|⊣√⊣\⇔⇕⊣↕⊔⊣⇔\⌉⊒‡⌉⊣↕⊣\⌈⇔⊔〈⌉\⌉⊔〈⌉∇↕⊣\⌈∫⇔\≀∇⊒⊣†⇔
∫〉\}⊣√≀∇⌉⇔∫⊒〉⊔‡⌉∇↕⊣\⌈⇔⊔〈⌉⊓\〉⊔⌉⌈〉\}⌈≀⇕⇔⊔〈⌉⊓\〉⊔⌉⌈∫⊔⊣⊔⌉∫⇔⊑〉⌉⊔\⊣⇕⇔
‡⊣〉∇⌉
O\⊔〈⌉↦⊔〈M⊣†H≀\≀↕⊓↕⊓⊒〉↕↕√∇≀⊑〉⌈⌉⊔〈⌉⌊⊣⌋⌈∇≀√≀{⊔〈⌉⌉↕⌉⊑⌉\⊔〈〉\⊔⌉∇\⊣⊔〉≀\⊣↕
⊒≀∇↕⌈⊒〉⌈⌉⊒⌉⌊⌋≀\{⌉∇⌉\⌋⌉↙
S√⌉⊣⌉∇∫⌋≀\{〉∇⇕⌉⌈
T〉⇕⌊⌉∇\⌉∇∫↖↕⌉⌉¬T〉⇕〉∫⊔〈⌉⊒⌉↕↕\≀⊒\〉\⊑⌉\⊔≀∇≀{⊔〈⌉W⌉⌊
I⊣\F≀∫⊔⌉∇¬I⊣\〉∫⊔〈⌉√〉≀\⌉⌉∇≀{⊔〈⌉G∇〉⌈⇔⊔〈⌉\⌉§⊔}⌉\⌉∇⊣⊔〉≀\〉\⊔⌉∇\⌉⊔
Need to add “Semantics”
c○: Michael Kohlhase 401
External agreement on meaning of annotations E.g., Dublin Core
Agree on the meaning of a set of annotation tags
Problems with this approach: Inflexible, Limited number of things can be expressed
Use Ontologies to specify meaning of annotations
Ontologies provide a vocabulary of terms
New terms can be formed by combining existing ones
Meaning (semantics) of such terms is formally specified
Can also specify relationships between terms in multiple ontologies
Inference with annotations and ontologies (get out more than you put in!)
Standardize annotations in RDF [KC04] or RDFa [BAHS] and ontologies on OWL [w3c09]
Harvest RDF and RDFa in to a triplestore or OWL
c○: Michael Kohlhase 402
230