Title
A formal, scalable approach to semantic interoperability
Abstract
Scientific progress is increasingly dependent upon the acquisition, processing, and analysis of large volumes of data. The validity of results and the safety of applications rely upon an adequate understanding of the real-world semantics of this data: its intended interpretation, and the context in which it is acquired and processed. This presents a challenge: interpretations vary, context is infinite, and either may change over time.
Year
DOI
Venue
2020
10.1016/j.scico.2020.102426
Science of Computer Programming
Keywords
Field
DocType
Semantic interoperability,Refinement,Formal methods
Metadata,Programming language,Computer science,Denotational semantics,Automation,Semantic interoperability,Medical research,Scientific progress,Semantics,Scalability
Journal
Volume
Issue
ISSN
192
C
0167-6423
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Jim Davies167380.95
James Welch200.34
David Milward319627.51
Steve Harris400.34