11. Jolie is currently supported by an formal semantics , meaning that the execution of Jolie programs is mathematically defined. 12. The fact that YAWL is based on formal semantics has enabled the implementation of several techniques for analyzing YAWL processes. 13. Logic is used to supply formal semantics of how reasoning functions should be applied to the symbols in the KR system. 14. The drawback was that it could be more difficult to initially specify the model in a language with a formal semantics . 15. However, the attempt to attribute exact formal semantics to transitivity reveals problems, related to the notion of a context. 16. Its applications are found in theoretical computer science, theoretical linguistics, formal semantics , mathematical logic, and other areas. 17. This cannot be done within OWL . They may need to adopt a pattern instead which encodes the meaning outside the formal semantics . 18. One acknowledges the formal semantic analyses, where one is concerned with the proper account of scope facts of quantifiers and logical operators. 19. As a result, the original formal semantics of YAWL are defined as a labelled transition system and not in terms of Petri nets. 20. TIL applications cover a wide range of topics from formal semantics , philosophy of language, epistemic logic, philosophical, and formal logic.
