Reasoning in Formal Systems of Extended RDF Networks

被引：1

作者：

Lukasova, Alena ^{[1
]}

Zacek, Martin ^{[1
]}

Vajgl, Marek ^{[1
]}

机构：

[1] Univ Ostrava, Dept Comp & Informat, Ostrava, Czech Republic

来源：

INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2017), PT II | 2017年 / 10192卷

关键词：

Knowledge representation; Graph formal language; Clausal form logics RDF model; Semantic web; Linked data;

D O I：

10.1007/978-3-319-54430-4_36

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

It is a fact that the RDF(S) model has been declared as the ground base for implementations of further web development conception. RDF provides a common and flexible way to decompose knowledge to elementary statements that allows, as networks of indivisible knowledge atoms, to be represented by RDF triples or by RDF graph vectors. The article presents two graph based formal systems GRDF and RDFCFL defined on the base of extended RDF model with the help of clausal form logic principle and notation. The transformation process from the first order predicate logics (FOPL) to the RDF graph notation protects language expressivity and moreover both the presented systems share the partial decidability with the FOPL. As an example it is shown a reasoning of consequents in a monotonic version of the RDFCFL system.

引用

页码：371 / 381

页数：11

共 12 条

[1]

Auer S, 2011, LECT NOTES COMPUT SC, V6848, P1, DOI 10.1007/978-3-642-23032-5_1

[2]

Lukasova A., 2010, Proceedings 2010 International Multiconference on Computer Science and Information Technology (IMCSIT 2010), P67

[3]

Lukasova A., 2001, P ZNAL

[4]

Lukasova A., 2012, J COMPUT SCI, V1, P37

[5]

Lukasova A., 2009, P 10 INT C INF 2009

[6]

Lukasova A., 2003, FORMAL LOGICS ARTIFI

[7]

Lukasova A., 2016, P INT C NUM AN APPL

[8]

Lukasova A., 2016, INFORMATION, V2016, P4009

[9] Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF [J].

Lukasova, Alena ;

Zacek, Martin ;

Vajgl, Marek .

MODERN TRENDS AND TECHNIQUES IN COMPUTER SCIENCE (CSOC 2014), 2014, 285 :455-465

[10]

Richards T., 1989, CLAUSAL FORM LOGIC I

← 1 2 →