Verification of semantic commutativity conditions and inverse operations on linked data structures.
Deokhwan KimMartin C. RinardPublished in: PLDI (2011)
Keyphrases
- linked data
- semantic data
- semantic web
- semantic search
- linked open data
- data sources
- structured data
- using semantic web technologies
- semantic annotation
- data integration
- semantic web technologies
- knowledge representation
- semantic technologies
- structured information
- update operations
- high level
- qr codes
- mashup
- rdf graphs
- semantic information
- semantic representation
- machine learning
- data publishing
- information systems