Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications
Katerina Ksystra, Nikolaos Triantafyllou, Petros Sotirios Stefaneas, Panayiotis Frangos · 2012
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.