A New Method for Knowledge Representation and Reasoning of Semantic Web

被引：0

作者：

Wang, Jie ^{[1
]}

Han, X. -P. ^{[1
]}

Zhang, Y. -Y. ^{[1
]}

Liu, C-N ^{[1
]}

机构：

[1] Beijing Univ Technol, Dept Comp, Beijing, Peoples R China

来源：

2011 AASRI CONFERENCE ON INFORMATION TECHNOLOGY AND ECONOMIC DEVELOPMENT (AASRI-ITED 2011), VOL 1 | 2011年

关键词：

RDF; classical negation; Answer Set Programming; dlv;

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Answer set programming, called ASP, is an important declarative language for knowledge representation and reasoning, and is also a mature tool for deriving potential facts. However, RDF only provides a simple data infrastructure for Semantic Web, which not only ignores the classical negation, but also doesn't support inference rules. To this problem, we introduce the classical negation of ASP into RDF, and develop a new knowledge representation form for Semantic Web, called RDF. In addition, we use the inference rules of ASP to discover the implicit facts. Finally, we show an example for the applications.

引用

页码：34 / 37

页数：4

共 8 条

[1] [Anonymous], 2004, RDF VOCABULARY DESCR
[2] BRICKLEY DAN., 2007, FOAF VOCABULARY SPEC
[3] Eiter T, 2009, LECT NOTES COMPUT SC, V5689, P40, DOI 10.1007/978-3-642-03754-2_2
[4] Gelfond M., 1991, New Generation Computing, V9, P365, DOI 10.1007/BF03037169
[5] Ianni G, 2009, LECT NOTES COMPUT SC, V5554, P857, DOI 10.1007/978-3-642-02121-3_70
[6] Efficiently Querying RDF(S) Ontologies with Answer Set Programming
Ianni, Giovambattista
Martello, Alessandra
Panetta, Claudio
Terracina, Giorgio
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (04) : 671 - 695
[7] The DLV system for knowledge representation and reasoning
Leone, Nicola
Pfeifer, Gerald
Faber, Wolfgang
Eiter, Thomas
Gottlob, Georg
Perri, Simona
Scarcello, Francesco
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (03) : 499 - 562
[8] Luukkala V, 2010, LECT NOTES COMPUT SC, V6294, P92, DOI 10.1007/978-3-642-14891-0_9

← 1 →