Next
Previous
Point 1: Build Upon a Common Formal Foundation
- What is semantics anyways?
- Using a Semantic Web standard like RDF or OWL?
- The mysterious philosophical connection between some representation and what it represents?
- Having a precise formal model of what the computation is doing?
- Answer: All of the above!
- Concentrate on formal semantics ala the operation semantics of XQuery or the model theory of OWL
- The obvious answer: π calculus!
- The π calculus is one of a family of calculi that describe processes - a free standing computation on a channel that receives and sends messages with other processes, possibly in parallel.
- All one knows is the input and output of a process. Non-functional properties can be encapsulated as parameters, and real-world effects captured as output.