Facultatea de Matematic i Informatic

Departamentul Matematici Aplicate

Iurco Dorin
Specialitatea: ANALIZA STATISTIC A
DATELOR I OPTIMIZAREA PROCESELOR
ECONOMICO-FINANCIARE ,

Masterand, anul II

Comunicarea cu bazele de
cunotinte in limbile naturale
Conductori tiinifici:
Cataranciuc Sergiu,dr.,conf.univ.;
Ioachim Drugu, dr.

Familiarizarea cu tehnologiile Webului Semantic
Expunerea detaliat a abordrii relaionale
Studierea standartelor de baz ale Webului 3.0
Descrierea aparatului matematic care a construit WS
Enumerarea dezavantajelor abordrii relaionale
Relatarea in detaliu a a conceptului compoziional de
reprezentare a cunotinelor
Prezentarea unei aplicaii semantice
Expunerea conceptelor de baza a aplicaiei
Formularea concluziilor asupra celor realizate
Obiectivele tezei
1. Semantic Web
1.1. Comunicarea in webul semantic
1.2. Notiuni de baz
1.3. Standartele webului semantic
2. Abordarea relationala
2.1 RDF (Resource description framework)
2.2 Notation 3
3. Abordarea operationala
3.1 A3
3.2 Metalingua
4.Aplicatii
4.1 ML_Editor
4.2 Semantic Studio
Concluzii
Referine bibliografice
Planul tezei
Semantic Web
Un web al datelor

Reea semantic

Supergraf etichetat

Web al cunotinelor

Proiect multi-disciplinar

Societate de aplicaii


Comunicarea in webul semantic
Aplicaii Ageni Aplicaii
standard
normativ
standard
normativ
Bazele de
cunotine
Bazele de
cunotine

Ontologie - este o disciplin filizofic, care studiaza Fiina i Existena.

Baz cognitiv = baz de cunotine (knowledge base)

Ontologie web corp de cunotine in Web Semantic.

URI - Identificator unic in reeaua global Internet.

Notiuni de baz
Standartele webului semantic
RDF (Resource description framework) model de
reprezentare a informatiei bazat pe conceptul de graf
orientat etichetat.

RDF-SCHEMA Vocabularul limbajului RDF.

OWL- Limbaj de construire a ontologiilor web ,
implementind conceptul POO.

SPARQL Limbaj de interogare asupra bazelor de
cunostine.
Subiect nod in graf ,identificat de URI si reprezint
un proprietar .
Obiect (URI)- reprezint valoarea subiectului.

Predicat (URI) reprezint proprietatea care leaga
subiectul de obiect.
RDF
SUBIECT OBIECT PREDICAT
Notation 3


ION tata Alex

fiu fiu sef

Andrei Mihai Bill
virsta
locuieste adresa
oras New York

tara
orase

type list
first Dallas
rest
first Miami
rest rdf:nil





Tipuri de afirmatii N3
ION tata alex.
BILL virsta 52,
ION fiu,andrei,mihai.
Ion fiu mihai;tata alex.
Mihai adresa [];
Mihai adresa [oras New York].
[oras New York].
Mihai adresa _:blank1.
Mihai!adresa!tara.
New York^oras.
{andrei locuieste [].mihai adresa []}
tara [].
Tara orase (Dallas Miami).








52
Lipsa mulimilor neordonate inchise.

Imposibilitatea exprimrii disjunctiei matematice.

Abordare pentru tehnologi.

Pierderea de sens la parafrazare.

Lipsa agenilor inteligeni pentru prelucrarea datelor.

Folosirea simbolurilor matematice in alte scopuri.


Neajunsurile abordrii relaionale
3A= Atomificare+Agregare+Asociere
Atomificarea este o operaie care introduce un cuvint sau mai
multe intr-un container formal si ii atribuie un sens primar
indivizibil.
EX: <arbore> <pe duca> <a luat-o razna>
Asocierea operatie de calificare (descriere,caracterizare) a
unui atom. Operatie reprezentat de simbolurile spaiu si colon.
Ex: casa mare,fuge repede, frumosul:copac.
Agregarea operatie care contribuie la crearea unei mulimi de
atomi,reprezentat de simbolul virgul.
Ex: a,c,v,d , dar si mulimi inchise {a,c,v}.
Ordinea efecturii operaiilor este indicat de parantezele
rotunde ().
A3

Limbaj <<discursional>>
Pricncipiul compoziionalitaii
Conine A3+ operaiile inverse la operaiile A3
Operaia sens formal este inversul operatiei atomificare,se
noteaza cu simbolul paranteze patrate [].
EX: ion a zis : [ma voi plimba cu bicicleta].
Operaia Alias,notat cu simbolul ,,= care reprezint o relaie
unar .
Ex: Ghia = chistruiatu.
METALINGUA
Operaia de agregare satisface urmtoarele identiti:
(a, b) = (b, a) comutativitatea.
((a, b), c) = (a, (b, c)) asociativitatea.
(a, a) = a - idempotena
Operaia de asociere satisface o singur identitate:
((a : b) : c) = (a : (b : c)) asociativitatea.
Distributivitatea asocierii n raport cu agregarea satisface urmtoara identitate:
(a : (b, c)) = ((a : b), (a : c)) distributivitatea asocierii in raport cu agregarea.

Proprietile algebrice operaiilor de
asociere i agregare
METALINGUA N3
A B Property1 a owl:Property.
A property1 B.
A:B Property2 a owl:Property.
B property2 A.
A,B,C
_:blank3 a rdf:bag .
_:blank3 rdf:_1 A.
_:blank3 rdf:_2 B.
_:blank3 rdf:_3 C.

{A,B,C} {$ A ,B ,C$}

A=B A rdfs:label B.
<pe de o parte> Pe%20De%20O%20Parte
[A]


[ a b c d f ]
A


a b c d f
N3-ML ML-N3
Ml_Editor- Conceptul transformarii
Notatia 3 Metalingua
<Entity> <Entity>
Literal [Literal]
S P O. (S (P O)).
S P O1 , O2. (S (P O1)),(S (P O2)).
S P1 O1; P2 O2. (S (P1 O1)),(S (P2 O2)).
[ mother Mag]
Sau _:blank1 mother Mag.
(Mother Mag)
A=B. (A=B),(B=A)
(A B ) {((rdf:first ) A), (rdf:rest) {((rdf:first)
B ), (rdf:rest) (rdf:nil)}}
{s p o . q w e.} {(s (p o)),(q ( w e ))}
ForAll C .
A B C.
(A (B (All:C)) ).
ML-N3_TRANSFORMARE
N3-ML_TRANSFORMARE
Semantic Studio
S-a descris principiul de functionare a webului
semantic.
S-a facut cunostinta cu tehnologiile de baza ale WS
Am relatat conceptul de baza al fundamentului
limbajului N3
Am evidentiat problema de baza a WS.
Am relatat cu exctitate conceptele de baza ale
abordarii operationale
Am facut cunostinta cu limbajul denotational A3 si
limbajul ML.
Am expus conceptele de baz ale convertoarelor ML-
N3 si N3-ML.

Concluzii

Toby Segaran, Colin Evans, Jamie Taylor. Programming the Semantic Web. Sebastopol:
OReilly, 2009.

Drugus I.: Metalingua a Formal Language for Integration of Disciplines via their
Universes of Discourse. ETC, pp. 17--23 (2009).

Drugus I.: Universics - a Structural Framework for Knowledge Representation. In:
Knowledge Engineering Principles and Techniques. Cluj-Napoca, Romania, pp. 115118
(2009).

Drugus I.: Metalingua: A Language to Mediate Communication with Semantic Web in
Natural Languages. K.S. Thaung (Ed.): Advanced Information Technology in Education,
AISC 126, pp. 109115. 2011. Springer-Verlag Berlin Heidelberg 2012.

Drugus I.: Universics: a Common Formalization Framework for Brain Informatics and
Semantic Web. In: Web Intelligence and Intelligent Agents. InTech Publishers, Vucovar
pp. 55--78 (2010)

Bazele notatiei 3- http://www.w3.org/TeamSubmission/n3/

Logica notatiei 3-http://www.w3.org/DesignIssues/N3Logic
Bazele WS-http://www.semantictools.ru/component/jootags/semantic%20web.html



Referine bibliografice