Tags / 2 quotes from 1 source
#formal-specification
Where Are The Semantics In The Semantic Web?
Formal semantics for human processing
Yet further along the continuum, we have explicit semantics expressed in a formal language. However, they are intended for human processing only. We can think of this as formal documentation, or as formal specifications of meaning. Some examples of this are: 1. Modal logic is…
Problem of term heterogeneity and different modeling styles
Even if we assume a shared language and compatible conceptualizations, it is still possible, indeed likely, that different people will build different ontologies for the same domain. Two different terms may have the same meaning and the same term may have two different…