SADL Version 3

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 repository contains the Java source code for the SADL grammar and for the Eclipse-based IDE and for the browser-based Web SADL. SADL is Open Source under the Eclipse Public License. Most SADL documentation is also contained in this repository but is deployed to SourceForge.net for easy access to HTML-based documentation.

SADL Topics

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

• Capturing a Domain Model in SADL
  • 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
• Testing, Debugging, and Managing Knowledge Bases
  • Ask
  • Test
  • Explain
  • Print
  • Read
  • Write
  • Model Versioning and Version Control
• Browser-based IDE: Web SADL
• Knowledge Server for Deploying Knowledge Bases for Programmatic Access
• Additional Information
  • Appendix A: The SADL Grammar
  • Appendix B: SADL Preferences