An Algebraic Specification of the Semantic Web

Katerina Ksystra Nikolaos Triantafyllou Petros S. Stefaneas Panayiotis Frangos

Published in: CoRR (2011)

Keyphrases

semantic web
metadata
formal specification
semantic web data
knowledge base
user defined
formal verification
high level
knowledge representation
semantic web technologies
ontology learning
data sets
digital libraries
conceptual model
linked data
asynchronous circuits