Difference between revisions of "Semantics"

From PKC
Jump to navigation Jump to search
Line 13: Line 13:
[[Category:Category Theory]]
[[Category:Category Theory]]
[[Category:Mathematical semantics]]
[[Category:Mathematical semantics]]
[[Category:Data Science]]
[[Category:Digital Twin]]
</noinclude>
</noinclude>

Revision as of 09:13, 3 January 2022

Semantics of data can be visualized using Semantic Result Formats. This presents a conduit to represent any spatial-temporal events or data content in a semantically represented framework. The hint is that semantics of any data don't need to be bound to a given scale. The nature of semantics is scale-free. This simply means that we can reuse the functionality of Semantic Result Formats for a wide range of applications.

Software Engineering and Semantics

To relate semantics with software engineering, we can start from Dana Scott's work on mathematical semantics. He wrote a famous paper[1], that outlined the nature of computation into a scale-free mathematical object called lattice. He also axiomatically claimed that all computable structures of any scale must be representable using lattices, which are time-like structures.


References

  1. Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group. 

Related Pages