An Algebraic Specification of the Semantic Web

Preprint English OPEN
Ksystra, Katerina ; Triantafyllou, Nikolaos ; Stefaneas, Petros ; Frangos, Panayiotis (2011)
  • Subject: Computer Science - Logic in Computer Science

We present a formal specification of the Semantic Web, as an extension of the World Wide Web using the well known algebraic specification language CafeOBJ. Our approach allows the description of the key elements of the Semantic Web technologies, in order to give a bette... View more
Share - Bookmark