Sémantika RDF(S)
Co znamená?
ISKM89 Organizace dat - sémantický web | podzim 2023
Zuzana Nevěřilová | Centrum zpracování přirozeného jazyka
Bob is interested in The Mona Lisa .
Bob is born on 14 July 1990 .
Bob is a Person .
Bob is a friend of Alice .
La Joconde a Washington is about
The Mona Lisa .
The Mona Lisa was created by
Leonardo Da Vinci .
Příklad grafu
https://www.w3.org/TR/rdf11-primer/
Bob is interested in The Mona Lisa .
Bob is born on 14 July 1990 .
Bob is a Person .
Bob is a friend of Alice .
La Joconde a Washington is about
The Mona Lisa .
The Mona Lisa was created by
Leonardo Da Vinci .
Příklad grafu
<Bob> <interestedIn> <TheMonaLisa>.
<Bob> <DoB> “14 July 1990” .
<Bob> <isA> <Person> .
<Bob> <friendOf> <Alice> .
<LaJocondeAWashington> <about>
<TheMonaLisa> .
<TheMonaLisa> <createdBy>
<LeonardoDaVinci> .
Exactly what is considered to be the 'meaning' of an assertion in RDF or RDFS in some
broad sense may depend on many factors, including social conventions, comments in
natural language or links to other content-bearing documents. Much of this meaning
will be inaccessible to machine processing and is mentioned here only to emphasize
that the formal semantics described in this document is not intended to provide a full
analysis of 'meaning' in this broad sense; that would be a large research topic. The
semantics given here restricts itself to a formal notion of meaning which could be
characterized as the part that is common to all other accounts of meaning, and can be
captured in mechanical inference rules.
https://www.w3.org/TR/rdf-mt/
Sémantika - co data znamenají
Potřebujeme:
● syntax
<ex:Rodič> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<ex:Rodič> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <ex:Člověk> .
● deskripční logiku
<ex:Rodič>, <ex:Člověk>
Rodič ⊑ Člověk
T-Box
● interpretaci
V ontologii lidských vztahů platí, že rodič je člověk.
I ⊨ Rodič ⊑ Člověk
Sémantika - co data znamenají
Sémantika - co data znamenají
Slovník (vocabulary):
● http://www.w3.org/1999/02/22-rdf-syntax-ns#type
● http://www.w3.org/2000/01/rdf-schema#subClassOf
● ex:Rodič
● ex:Člověk
● http://www.w3.org/2000/01/rdf-schema#Class
Jmenné prostory (namespaces):
● rdf - http://www.w3.org/1999/02/22-rdf-syntax-ns#
● rdfs - http://www.w3.org/2000/01/rdf-schema
● ex
Sémantika - co data znamenají
Graf (seznam trojic):
<ex:Rodič> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
<ex:Rodič> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <ex:Člověk> .
Odvození a omezení
Nevíme nic o tom, že Člověk je (také) třída.
I nesmysl může v RDF existovat:
<ex:Člověk> <ex:Člověk> <ex:Člověk> .
Sémantika z pohledu počítačového programu
Uzly musí být popsány jako třídy/individua.
Hrany musí být popsány jako relace určitého typu.
Pak je možné použít deskripční logiku a “porozumět” (tj. umět odvodit novou znalost).
Odvození
Člověk je třída (podtřídou owl:Thing).
owl:Thing je všechno (⊤).
owl:Nothing je nic (⊥).