DocumentCode
589341
Title
Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications
Author
Ksystra, Katerina ; Triantafyllou, Nikolaos ; Stefaneas, Petros ; Frangos, P.
Author_Institution
Sch. of Electr. & Comput. Eng., Nat. Tech. Univ. of Athens, Athens, Greece
fYear
2012
fDate
3-4 Dec. 2012
Firstpage
81
Lastpage
86
Abstract
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.
Keywords
algebra; behavioural sciences computing; semantic Web; algebraic reasoning; algebraic specification; behavioral logic; behavioral specification; rewriting; semantic Web stack; semantic Web technology; Abstracts; Equations; Mathematical model; Observers; Ontologies; Semantic Web; Vehicles; CafeOBJ; Observational Transition Systems; behavioral algebraic specifications; formal methods; reasoning; semantic web;
fLanguage
English
Publisher
ieee
Conference_Titel
Semantic and Social Media Adaptation and Personalization (SMAP), 2012 Seventh International Workshop on
Conference_Location
Luxembourg
Print_ISBN
978-1-4673-4563-7
Type
conf
DOI
10.1109/SMAP.2012.8
Filename
6406822
Link To Document