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