Formal foundations for RDF/S KB evolution.

Giorgos Flouris George Konstantinidis Grigoris Antoniou Vassilis Christophides

Published in: Knowl. Inf. Syst. (2013)

Keyphrases

knowledge base
data model
artificial intelligence
semantic web
metadata
knowledge representation
relational data
linked data
formal representation
social networks
search engine
data sources
neural network
formal model
graph databases
formal specification
formal methods
rdf graphs
machine processable