Inductive Logic Programming in Databases: From DATALOG to DL+LoG(sic)V

被引：9
作者：
Lisi, Francesca A. [1 ]
机构：
[1] Univ Bari Aldo Moro, Dipartimento Informat, Bari, Italy
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2010年 / 10卷
关键词：
Inductive Logic Programming; relational databases; ontologies; description logics; hybrid Knowledge Representation and reasoning systems; ONTOLOGIES; RULES; DL;
D O I：
10.1017/S1471068410000116
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e., the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through a better understanding of Knowledge Representation (KR) aspects related to databases. In particular, we investigate this issue from the 1LP perspective by considering two database problems, (i) the definition of views and (ii) the definition of constraints, for a database whose schema is represented also by means of an ontology. Both can be reformulated as I LP problems and can benefit from the expressive and deductive power of the KR framework DL+LOG(V). We illustrate the application scenarios by means of examples.
引用
收藏
页码：331 / 359
页数：29
相关论文
共 47 条
[1]  
[Anonymous], 2007, DESCRIPTION LOGIC HD, DOI DOI 10.1017/CBO9780511711787
[2]  
[Anonymous], 2001, RELATIONAL DATA MINI
[3]  
[Anonymous], P 1 C ALG LEARN THEO
[4]  
Berners-Lee T., 2001, Scientific American May
[5]   Scaling up inductive logic programming by learning from interpretations [J].
Blockeel, H ;
de Raedt, L ;
Jacobs, N ;
Demoen, B .
DATA MINING AND KNOWLEDGE DISCOVERY, 1999, 3 (01) :59-93
[6]   On the relative expressiveness of description logics and predicate logics [J].
Borgida, A .
ARTIFICIAL INTELLIGENCE, 1996, 82 (1-2) :353-367
[7]   GENERALIZED SUBSUMPTION AND ITS APPLICATIONS TO INDUCTION AND REDUNDANCY [J].
BUNTINE, W .
ARTIFICIAL INTELLIGENCE, 1988, 36 (02) :149-176
[8]   Tractable reasoning and efficient query answering in description logics:: The DL-Lite family [J].
Calvanese, Diego ;
De Giacomo, Giuseppe ;
Lembo, Domenico ;
Lenzerini, Maurizio ;
Rosati, Riccardo .
JOURNAL OF AUTOMATED REASONING, 2007, 39 (03) :385-429
[9]   Conjunctive query containment and answering under description logic constraints [J].
Calvanese, Diego ;
De Giacomo, Giuseppe ;
Lenzerini, Maurizio .
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (03)
[10]  
Ceri S., 1989, IEEE Transactions on Knowledge and Data Engineering, V1, P146, DOI 10.1109/69.43410
12345