Information

• A Brief History of SADL
• SADL Overview
• What, Why, and How
• Quick Reference
• Architecture
• SADL: A Detailed Look
• The Jena Reasoner in SADL
• tuProlog-Based Prolog Reasoner/Translator
• SWI-Prolog-Based Prolog Reasoner/Translator
• Standards & Tools / Terminology
• Visualization with GraphViz
• Tips
• FAQ

Tutorials

• Quick Start Tutorial
• How to Add New Jena Rule Built-ins
• SADL/Semantics Workshop
• Shapes Demo
• Creating Domain-Specific Templates
• Test cases

White Papers

• Towards a Unified English-like Representation of Semantic Models...(Int'l Journal of Semantic Computing, Vol 7, No 3)
• Documents that "Think"
• Semantic Modeling
• The Semantically Enabled Smart Grid
• Overcoming Challenges Using the CIM as a Semantic Model for Energy Applications
• A Semantic Model for Cyber Security (Slides)
• A Semantic Model for Cyber Security (Paper)
• Experiences in Using Semantic Reasoners to Evaluate Security of Cyber Physical Systems (Paper)
• Experiences in Using Semantic Reasoners to Evaluate Security of Cyber Physical Systems (Slides)
• The Smart Grid as a Semantically Enabled Internet of Things (Slides)
• The Smart Grid as a Semantically Enabled Internet of Things (Paper)

Download

• Installation Instructions
• Known Issues

Engage!

• News
• Report a Bug
• Request a Feature
• Help Forum
• Open Discussion Forum

© General Electric Company

Please send comments and questions to A. W. Crapo