SADL Version 3

Last revised 09/03/2020. Send comments to mailto:crapo@research.ge.com.

Introduction

The Semantic Application Design Language (SADL) is both a controlled-English language for capturing semantic models, which are translated automatically to the Web Ontology Language (OWL), and an integrated development environment (IDE) that facilitates authoring knowledge bases in the SADL language. This documentation is for SADL Version 3. The Java source code for the SADL grammar and for the Eclipse-based IDE. SADL are Open Source under the Eclipse Public License. SADL documentation resides on SourceForge.net. The source code for SADL Version 3 resides on GitHub, Inc.

For installation instructions please go to https://github.com/crapo/sadlos2/wiki/Installation-Instructions-for-SADL-IDE,-Version-3.4.

For releases please go to https://github.com/crapo/sadlos2/releases.

SADL Topics

A number of topics describing authoring and deploying semantic models in SADL are available. These include the following.

• Capturing a Domain Model in SADL and OWL
  • Why an Ontology?
  • Foundational Concepts
  • The Web Ontology Language (OWL) and the Semantic Application Design Language (SADL)
  • Leveraging OWL: SADL Constructs Useful in Building Models
    • Rules and Built-in Functions
    • Equations
    • Typed Lists
    • Implied Properties
    • Expanded Properties
    • Unitted Quantities
    • External Models
    • Capturing Equation Assumptions and Constraints Using Augmented Types
  • Named Structures as Instances of Implicit Classes
• Beyond OWL: SADL Constructs for Model Enhancement, Inspection, and Testing
  • Ask
  • Test
  • Explain
  • Print
  • Read
  • Write
  • Model Versioning and Version Control
• Knowledge Server for Deploying Knowledge Bases for Programmatic Access
• Additional Information
  • Appendix A: The SADL Grammar
  • Appendix B: SADL Preferences
  • Developer Information