Ontological Semantic Compatibility

Our final example is an example of a solution that would rely more strongly upon ontology-based semantic information encoded in kind theory.

Consider the following classes. Class ISODate Class OffsetDate

method setDate(year: Integer; method setDate(days_since_jan1_1970:

month: Integer; Integer); day: Integer); method getDate(): OffsetDate;

method getDate(): ISODate; EndClass EndClass Assume that the parameter days since jan1 1970 was annotated with a reference to a kind that

described days since jan1 1970 meant. The context of such a description would necessarily have to have a ground— a common, base understanding that is universal. In this case, the ground element is the notion of a day. The relationship between the parameter days - since jan1 1970 and the day ground element need be established. This relationship might be constructed any of a number of correct, equivalent manners. For example, a

direct interpretation from the triple year/month/day to days since jan1 1970 would suffice. Or perhaps a more complicated, multistage interpretation would be all that is available. For example, the composition of interpretations from year to month, then month to day, then day to days since -

jan1 1970, would provide enough information for the generation of a semantic bridge. This composition of interpretations is automatically discovered and verified using the semantic compatibility

theorem via the rewriting logic-based component search algorithm of kind theory.