Semantic Web and Algebraic Reasoning: Some first applications using behavioral specifications

被引：0

作者：

Ksystra, Katerina ^{[1
]}

Triantafyllou, Nikolaos ^{[1
]}

Stefaneas, Petros ^{[2
]}

Frangos, Panayiotis ^{[1
]}

机构：

[1] Natl Tech Univ Athens, Sch Elect & Comp Engn, Athens, Greece

[2] Natl Tech Univ Athens, Sch Appl Math & Phys Sci, Athens, Greece

来源：

2012 SEVENTH INTERNATIONAL WORKSHOP ON SEMANTIC AND SOCIAL MEDIA ADAPTATION AND PERSONALIZATION (SMAP 2012) | 2012年

关键词：

semantic web; formal methods; behavioral algebraic specifications; CafeOBJ; Observational Transition Systems; reasoning; OTS/CAFEOBJ METHOD; PROOF SCORES;

D O I：

10.1109/SMAP.2012.8

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present an abstract model of the Semantic Web stack, using algebraic specifications. This work is a first step towards a unifying framework for the various Semantic Web technologies that will allow reasoning tasks to be performed, via rewriting and behavioral logic.

引用

页码：81 / 86

页数：6

共 12 条

[1] Logical foundations of CafeOBJ [J].

Diaconescu, R ;

Futatsugi, K .

THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) :289-318

[2]

Diaconescu R, 1999, LECT NOTES COMPUT SC, V1709, P1644

[3]

Diaconescu R., 2005, J THEORETICAL COMPUT, V343

[4]

Diaconescu R., 1998, AMAST Series in Computing, V6

[5]

Diaconescu R., 2000, CAFE IND STRENGTH AL

[6]

Galinski, TKE TERM KNOWL ENG C

[7]

Goguen J., 1992, ELECT NOTES THEOR CO, V105, P217, DOI DOI 10.1016/0304-3975(92)90302-V

[8]

Iida S., 1998, TECHNICAL REPORT

[9]

Ksystra K., 2012, LECT NOTES COMPUTER, V7438/2012, P136

[10]

Mossakowski T., 2011, P 1 INT C TERM LANG, P97

← 1 2 →