DBLP Ontology

SAPIENZA Università di RomaFacoltà di Ingegneria

Tesina per il corso di Seminari di ingegneria del software

Anno accademico 2006/2007

Autore: Germano Rocco

Indice

• Studio della bibliografia DBLP• Conversione dei dati• Ontologia • Il linguaggio DL-LiteA

• Data source• I mappings• Architettura del sistema• Esempio di query sull’ontologia• Query evaluation• Cenni sulla complessità• Demo

Indice

A cura del prof. Michael Ley,docente presso il dipartimento di Computer Science dell‘università di Trier, Germania.

Contenente 1048576 pubblicazioni

Stessi attributi del formato

Studio della bibliografia DBLP

100000

150000

200000

250000

300000

350000

400000

450000

500000

DBLP: Numero dei record bibliografici

master thesis

phd thesis

incollection

proceedings

inproceedings

articles

DBLP: Tipi di record (Gennaio 2006)

article : articolo contenuto in una rivista scientifica inproceedings : articolo presentato in una conferenzaproceedings : gli atti di una conferenzabook : libroincollection : la parte di un librophdthesis : tesi di dottoratomasterthesis : tesi di laureawww : indirizzo web

Elementi della bibliografia:

Attributi della bibliografia:

auhoreditortitlebooktitlepagesmonthyearaddressjournalvolumenumber

urleecdromcitepublishernotecrossrefisbnseriesschoolchapter

Sintassi XML:

<incollection mdate="2002-01-03" key="books/el/RV01/CalvaneseGLN01"> <author>Diego Calvanese</author> <author>Giuseppe De Giacomo</author> <author>Maurizio Lenzerini</author> <author>Daniele Nardi</author> <title>Reasoning in Expressive Description Logics.</title> <pages>1581-1634</pages> <year>2001</year> <crossref>books/el/RobinsonV01</crossref> <booktitle>Handbook of Automated Reasoning</booktitle> <url>db/books/collections/RobinsonV01.html#CalvaneseGLN01</url> <\incollection>

Sintassi XML:

<article mdate="2004-01-14" key="journals/amai/HaDVH98"> <author>Vu A. Ha</author> <author>AnHai Doan</author> <author>Van H. Vu</author> <author>Peter Haddawy</author> <title>Geometric Foundations for Interval-Based Probabilities.</title> <pages>1-21</pages> <year>1998</year> <volume>24</volume> <journal>Ann. Math. Artif. Intell.</journal> <number>1-4</number> <url>db/journals/amai/amai24.html#HaDVH98</url> <\article>

Indice

• Studio della bibliografia DBLP• Studio della bibliografia DBLP• Conversione dei dati• Ontologia • Il linguaggio DL-LiteA

• Ontologia • Il linguaggio DL-LiteA

• Data source• I mappings• Architettura del sistema• Esempio di query sull’ontologia• Cenni sulla complessità• Demo

Requisiti:

• input: file xml bibliografia• output:

file SQL connessione dbms

• gestione dbms (creazione, cancellazione, …)• possibilità di scegliere i tipi di elementi da aggiungere• stato avanzamento processo

Conversione dei dati

L’applicazione DBLPConverter

La base di dati

Indice

Def: specifica formale di una concettualizzazione su un determinato dominio

Ontologia

Espressa mediante:

• Concetti

• Proprietà

• Relazioni

• Assiomi

Def: specifica formale di una concettualizzazione su un determinato dominio

Ontologia

• Livello intensionale - TBOX

• Livello estensionale - ABOX

Author Person

Publication created Author

Author(Giuseppe De Giacomo)

Publication(2341)

created(2341, Giuseppe De Giacomo)

Ontologia

Indice

Il linguaggio DL-LiteA

Distinzione tra:

• Concetti

• Ruoli

• Attributi

Attributi:

Associazioni

Relazioni Is-A:

Disgiunzione tra classi:

Indice

Data source

• Scelto inizialmente MySQL 5.0.45

Passaggio ad Oracle 10g

• Impossibilità di eseguire il carico di lavoro richiesto

Indice

I mappings

Due sottoinsiemi di mapping assertion:

• Data-to-object mappings

• Typing-mappings

I mappings

Regole:

Instanze di concetto: Classe(funct(VAR))Attributo: Attr(funct(VAR),VAR_ATT)Associazione: Assoc(funct(VAR),funct2(VAR2))

I mappings

Esempio di Typing mapping:

I mappings

Esempio di Data-to-object mapping:

Indice

Architettura del sistema

Protégé

Protégé + Plugin OBDA

Protégé + Plugin OBDA + DIG-MASTRO

Indice

Esempio di query sull’ontologia

Query n.1

Query n.2

Query n.3

Indice

Query evaluation

Processo di valutazione suddiviso in 3 step:

1. Perfect Reformulation

2. Unfolding

3. Evaluation

Query evaluation

Esempio: SELECT $x WHERE {$x rdf:type ‘Person’}

1. Perfect Reformulation

2. Unfolding

3. Evaluation

q(x) :- Author(x).q(x) :- created(_,x).q(x) :- has(x,_).q(x) :- Person(x).q(x) :- pers_name(x,_).q(x) :- edited(_,x).q(x) :- Editor(x).

SELECT DISTINCT alias_0.term FROM (SELECT DISTINCT CONCAT('pers(',CONCAT(author,')')) AS term FROM (SELECT author, id aspublication FROM dblp_author_ref_new WHERE editor = '0') DummyTable) alias_0 UNION SELECT DISTINCT alias_0.term2 FROM (SELECT DISTINCT CONCAT('pub(',CONCAT(publication,')')) ASterm1,CONCAT('pers(',CONCAT(author,')')) AS term2 FROM (SELECT author, id as publication FROM dblp_author_ref_new WHEREeditor = '1') DummyTable) alias_0 UNION SELECT DISTINCT alias_0.term FROM (SELECT DISTINCT CONCAT('pers(',CONCAT(author,')')) AS term FROM (SELECT author, id as publication FROM dblp_author_ref_new WHERE editor = '1') DummyTable) alias_0 UNION SELECT DISTINCT alias_0.term2 FROM (SELECT DISTINCT CONCAT('pub(',CONCAT(publication,')')) AS term1,CONCAT('pers(',CONCAT(author,')')) AS term2 FROM (SELECT author, id as publication FROM dblp_author_ref_new WHERE editor = '0') DummyTable) alias_0 UNION SELECT DISTINCT alias_0.term1 FROM (SELECT DISTINCT CONCAT('pers(',CONCAT(person,')')) AS term1,CONCAT('ww(',CONCAT(www,')')) AS term2 FROM (SELECT a.author as person, p.id as www, p.title, p.ee as url FROM dblp_author_ref_new a, dblp_pub_new p WHERE p.type = 'www' and a.id = p.id) DummyTable) alias_0 UNION SELECT DISTINCT alias_0.term1 FROM ((SELECT DISTINCT CONCAT('pers(',CONCAT(author,')')) AS term1,author AS term2 FROM (SELECT author, id as publication FROM dblp_author_ref_new WHERE editor = '1') DummyTable) UNION (SELECT DISTINCT CONCAT('pers(',CONCAT(author,')')) AS term1,author AS term2 FROM (SELECT author, id as publication FROM dblp_author_ref_new WHERE editor = '0') DummyTable))

Query evaluation

Unfolded query - esempio 3SELECT DISTINCT alias_0.term2, alias_2.term2, alias_6.term2, alias_7.term2, alias_4.term2 FROM ((SELECT DISTINCT CONCAT('pub(',CONCAT(book,')')) AS term1,titleAS term2 FROM(SELECT id as book, title FROM dblp_pub_new WHERE type = 'book') DummyTable) UNION (SELECT DISTINCT CONCAT('pub(', CONCAT(proceedings,')')) AS term1,title AS term2 FROM (SELECT id as proceedings, title FROM dblp_pub_new WHEREtype = 'proceedings') DummyTable) UNION (SELECT DISTINCT CONCAT('pub(',CONCAT(article,')')) AS term1,title AS term2 FROM (SELECT id as article, title, source asjournal FROMdblp_pub_new WHERE type = 'article') DummyTable) UNION (SELECT DISTINCT CONCAT('pub(',CONCAT(m_thesis,')')) AS term1,title ASterm2 FROM (SELECT idas m_thesis, title FROM dblp_pub_new WHERE type = 'masterthesis')DummyTable) UNION (SELECT DISTINCT CONCAT('pub(',CONCAT(p_thesis,')'))AS term1,title AS term2 FROM (SELECT id as p_thesis, titleFROM dblp_pub_new WHERE type = 'phdthesis') DummyTable) UNION (SELECT DISTINCT CONCAT('pub(',CONCAT(incollection,')')) AS term1,titleAS term2 FROM (SELECT a.id as incollection, a.title, b.id as book FROMdblp_pub_new a, dblp_pub_new b WHERE a.type = 'incollection' anda.crossref =b.dblp_key) DummyTable) UNION (SELECT DISTINCT CONCAT('pub(',CONCAT(inproceedings,')')) AS term1,title AS term2 FROM (SELECT a.id as inproceedings, a.title, b.id as proceedings FROM dblp_pub_new a, dblp_pub_new b WHERE a.type = 'inproceedings‘ and a.crossref = b.dblp_key) DummyTable)) alias_0 , ((SELECT DISTINCT CONCAT('pers(',CONCAT(author,')')) AS term1,author AS term2 FROM (SELECT author, id as publication FROM dblp_author_ref_new WHERE editor = '1') DummyTable) UNION (SELECT DISTINCT CONCAT('pers(',CONCAT(author,')')) AS term1,author AS term2 FROM (SELECT author, id as publication FROM dblp_author_ref_new WHERE editor = '0') DummyTable)) alias_1 , (SELECT DISTINCT CONCAT('pub(',CONCAT(article,')')) AS term1,pages AS term2 FROM (SELECT id as article, pages FROM dblp_pub_new WHERE type = 'article‘ and pages is not null) DummyTable) alias_2 , (SELECT DISTINCT CONCAT('pub(',CONCAT(publication,')')) AS term1,CONCAT('pers(', CONCAT(author,')')) AS term2 FROM (SELECT author, id as publication FROM dblp_author_ref_new WHERE editor = '0') DummyTable) alias_3 , (SELECT DISTINCT CONCAT('jnl(',CONCAT(journal,')')) AS term1,journal AS term2 FROM (SELECT id as article, title, source as journal FROM dblp_pub_new WHERE type = 'article') DummyTable) alias_4 , (SELECT DISTINCT CONCAT('pub(',CONCAT(article,')')) AS term1, CONCAT('jnl(',CONCAT(journal,')')) AS term2 FROM (SELECT id as article, title, source as journal FROM dblp_pub_new WHERE type = 'article')DummyTable) alias_5 , (SELECT DISTINCT CONCAT('pub(',CONCAT(article,')')) AS term1,num AS term2 FROM (SELECT id as article, number_ as num FROM dblp_pub_new WHERE type = 'article' and number_ is not null) DummyTable) alias_6 , (SELECT DISTINCT CONCAT('pub(',CONCAT(article,')')) AS term1, volume AS term2 FROM (SELECT id as article, volume FROM dblp_pub_new WHERE type = 'article' and volume is not null) DummyTable) alias_7 WHERE alias_1.term2='GiuseppeDe Giacomo' AND alias_0.term1= alias_2.term1 AND alias_2.term1=alias_3.term1 AND alias_1.term1= alias_3.term2 AND alias_3.term1=alias_5.term1 AND alias_4.term1= alias_5.term2 AND alias_5.term1=alias_6.term1 AND alias_6.term1= alias_7.term1

Indice

Cenni sulla complessità

Theorem 7. Given a DL-LiteA ontology with mappings Om and a UCQ Qover Om, Answer(Q,Om) runs in LogSpace in the size of DB (data complexity).Moreover, it runs in polynomial time in the size of M, in exponential time inthe size of Q, and in polynomial time in the size of T.

• complessità polinomiale rispetto alla dimensione dei mappings;

• complessità esponenziale rispetto alla dimensione della query;

• complessità polinomiale rispetto alla dimensione della TBOX;

• complessità LOGSPACE rispetto alla dimensione dei dati;

Indice

DBLP Ontology

Documents

Transcript of DBLP Ontology

ONTOMETRIC: A Method to Choose the Appropriate Ontologyoa.upm.es/6467/1/ONTOMETRIC_A_Method.pdf · 1 ONTOMETRIC: A Method to Choose the Appropriate Ontology Adolfo Lozano-Tello alozano@unex.es

ONTOLOGY DESIGN PATTERN: Analisi di pattern esistenti e alcune … · ovviamente) limitato le) possibilità) di) approfondimento) su) alcune categorie,) su) cui è possibile)soltantofornire)la)descrizione)della)stessa)fornita)dal)comitatoeditoriale)del)sito

ONTOLOGY BUILDING - Altervista

Introduzione allâ€™ontology Sommario engineering

Analogia e Ontologia · 2015-06-23 · di un altro suo scritto del 1974, Logic and Ontology [Bochenski 1974, p. 288]. Più spe-cificamente, l’ontologia non formalizzata o “descrittiva”,

Bibliography on Plotinus' Criticism of Categories - Ontology · 6hh lq sduwlfxodu 7kh &dwhjrulhv dqg wkh jhqhud ri %hlqj ss 'xirxu 5lfkdug 3orwlqxv $ %leolrjudsk\ 3kurqhvlv $ -rxuqdo

Ontologia, Mente e Linguaggio Abstractssifa.unige.it/bergamo2008/bookofabstracts.pdfOntologia, Mente e Linguaggio Ontology, Mind and Language Abstracts Università degli studi di Bergamo

E-Commerce 1 - Dott. E. G. Rapisarda - A.A. 2006-2007 eBMF vs e 3 -value ontology Verso la generalizzazione del concetto di modello di e-business.

1 DBLP Ontology SAPIENZA Università di Roma Facoltà di Ingegneria Tesina per il corso di Seminari di ingegneria del software Anno accademico 2006/2007.

Marco Rospocher - dlls.univr.it · 2.3.4 Dimostrazioni e Presentazioni di Poster a Conferenza Towards Integration of Ontology and Text-extracted Data for Event Coreference Reasoning

FACOLTÀ DI LETTERE E FILOSOFIA · 3 Cfr. G.E.L. OWEN, , in Logic, science and dialectic. Collected Papers in Greek philosophy,

Implementing MPEG-21’s MCO (Media Contract Ontology) to ...

Manually vs semiautomatic domain specific ontology buildingdsc.unisa.it/tesi pubblicate sul web/Tesi di Antonio Lieto.pdf · Manually vs semiautomatic domain specific ontology building

1 Ontology languages. Strato dei modelli LA SCELTA DEL LINGUAGGIO Una volta selezionati i componenti dell’ontologia occorre esprimerli in maniera esplicita,

Analogia e Ontologia · di un altro suo scritto del 1974, Logic and Ontology [Bochenski 1974, p. 288]. Più spe-cificamente, l’ontologia non formalizzata o “descrittiva”, come

Maurizio Migliori Plato’s Sophist Value and Limitation … Migliori Plato’s Sophist ... Maurizio Migliori Plato’s Sophist Value and Limitation on Ontology ... Plato is as good

Analogia, ontologia formale e problema dei fondamenti · 2008-01-08 · Logic and Ontology[Bochenski 1974, p. 288]. Più specifica-mente, l’ontologia non formalizzata o “descrittiva”,

La “Gene Ontology” Ontologia: studio dell’essere in quanto tale, e delle sue categorie fondamentali Ontologia: studio dell’essere in quanto tale, e delle.

Sviluppo di un’ontologia per sistemi di automazione ...fileadmin.cs.lth.se/ai/xj/LeonardoProsperi/thesis.pdf · Introduzione vi 1 Knowledge representation 1 ... 3 OWL Web Ontology

ITIS Lab Progetti per KR Matteo Palmonari. ITIS Lab Ontology module extraction + Semantic Distance.