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
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;
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
DOI :
10.1109/SMAP.2012.8
