Functional-Logic Programming for Web Knowledge Representation, Sharing and Querying

被引：0
作者：
Nickles, Matthias [1 ,2 ]
机构：
[1] Natl Univ Ireland, Insight Ctr Data Analyt, Galway, Ireland
[2] Natl Univ Ireland, Dept Informat Technol, Galway, Ireland
来源：
KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2014 | 2014年 / 8876卷
关键词：
Knowledge representation; !text type='JSON']JSON[!/text]-LD; !text type='JSON']JSON[!/text; !text type='Java']Java[!/text]Script; Functional-Logic Programming; Relational Programming; Linked Data; Semantic Web;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We propose a unified approach to semantically rich knowledge representation, querying and exchange for the Web, based on functional-logic programming. JavaScript- and JSON-based so-called information scripts serve as a unified knowledge representation and query format, with logical reasoning being a constraint solving or narrowing task. This way, our framework provides a highly versatile, easy to use and radically different alternative compared to conventional forms of knowledge representation and exchange for the Web.
引用
收藏
页码：333 / 338
页数：6
相关论文
共 50 条
[21]   Enabling knowledge representation on the Web by extending RDF Schema [J].
Broekstra, J ;
Klein, M ;
Decker, S ;
Fensel, D ;
van Harmelen, F ;
Horrocks, I .
COMPUTER NETWORKS, 2002, 39 (05) :609-634
[22]   Organization and Representation of Knowledge and Information on the Web: Theories and Techniques [J].
de Lima, Gercina Angela .
PERSPECTIVAS EM CIENCIA DA INFORMACAO, 2020, 25 :57-97
[23]   Temporal logic and operation relations based knowledge representation for land cover change web services [J].
Chen, Jun ;
Wu, Hao ;
Li, Songnian ;
Liao, Anping ;
He, Chaoying ;
Peng, Shu .
ISPRS JOURNAL OF PHOTOGRAMMETRY AND REMOTE SENSING, 2013, 83 :140-150
[24]   Qualified Computations in Functional Logic Programming [J].
Caballero, Rafael ;
Rodriguez-Artalejo, Mario ;
Romero-Diaz, Carlos A. .
LOGIC PROGRAMMING, 2009, 5649 :449-463
[25]   Evaluation strategies for functional logic programming [J].
Antoy, S .
JOURNAL OF SYMBOLIC COMPUTATION, 2005, 40 (01) :875-903
[26]   Towards knowledge-based geovisualisation using Semantic Web technologies: a knowledge representation approach coupling ontologies and rules [J].
Huang, Weiming ;
Harrie, Lars .
INTERNATIONAL JOURNAL OF DIGITAL EARTH, 2020, 13 (09) :976-997
[27]   RDF 1.1: Knowledge Representation and Data Integration Language for the Web [J].
Tomaszuk, Dominik ;
Hyland-Wood, David .
SYMMETRY-BASEL, 2020, 12 (01)
[28]   Modular Logic Programming for Web Data, Inheritance and Agents [J].
Karali, Isambo .
KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2010, 6291 :354-365
[29]   Database query languages and functional logic programming [J].
Jesús M. Almendros-Jiménez ;
Antonio Becerra-Terón .
New Generation Computing, 2006, 24 :129-184
[30]   Database query languages and functional logic programming [J].
Almendros-Jiménez, JM ;
Becerra-Terón, A .
NEW GENERATION COMPUTING, 2006, 24 (02) :129-184
12345