Table of contents
-
1. Introduction
-
2. The NAI Suite
-
2.1. The Annotation Editor
-
2.2. The Reasoning Technology
-
2.3. Cloud-Based External Services
-
-
3. Case Study: Scottish Smoking Regulation
-
3.1. Formalizing the Article
-
3.2. Resolving Legal Questions using the Query Editor
-
-
4. Summary and Discussion
-
5. Literature