SADL Topical Index (Under Construction)

Last revised 1/25/2022. Contact us.

The following is an alphabetized list of topics of interest to knowledge base developers using SADL.

• Ad Hoc Queries
• Ambiguous Names
• Applications of SADL
• Articles (see Definite and Indefinite Articles)
• Ask Statement (see also Indirect Queries)
• Assumptions (see Augmented Types)
• Augmented Types
• Bug, Reporting
• Build Automatically, Eclipse Setting
• Class Declaration, SADL (see also Property Restrictions)
• Clean, Eclipse Action
• Constraints (see Augmented Types)
• Content Assist and Templates
• CSV Tabular Data Importer (see also Tabular Data Importer)
• Data Type Property (see Property Declaration, SADL)
• Data Types in SADL
• Debugging, How to debug a KB in the SADL IDE
• Debugging, How to debug a KB in SadlServer
• Debugging, How to debug the SADL IDE
• Default Values and Staged Rules
• Definite and Indefinite Articles
• Developer Information
• Enhancement Request
• Equations and External Equations (see also Wrapping Java Class Methods)
• Equivalent Classes
• Escaping Reserved Words
• Expanded Properties (see Implied and Expanded Properties)
• Explain Statement
• Exporting SADL Projects (see also Importing Files into SADL)
• Expressions in SADL
• External OWL Models, Using in SADL
• Externals (see Equations and External Equations)
• Extensions of SADL
• Grammar, SADL
• Graphs (see Visualization)
• GraphViz (see Visualization)
• History of SADL
• Implicit Model, SADL
• Implied and Expanded Properties
• Importing Files into SADL (see also Exporting SADL Projects)
• Indirect Queries
• Individual (see Instance Declaration, SADL)
• Inference (see also Test Model)
• Installing SADL (see also Updating SADL)
• Instance Declaration, SADL
• Jena Reasoner/Translator (see also Reasoner/Translator Pairs)
• Knowledge as a Service (KaaS)
• Known Issues
• known keyword
• License
• Lists in SADL
• Logic: the Second Pillar of Semantic Modeling (under Topics, Part 2)
• Named Queries (see Ask Statement)
• Named Service (see Knowledge as a Service)
• Necessary and Sufficient Conditions (see Equivalent Classes)
• Necessary Conditions (see Property Restrictions)
• Object Property (see Property Declaration, SADL)
• Ontology (Why an Ontology?)
• Overview of SADL
• OWL (Web Ontology Language) (see also RDF, RDFS, OWL Concepts, Referencing in Expressions)
• OWL to SADL Importer (see Importing Files Into SADL)
• Precedence, Expression (see Expressions in SADL)
• Preferences (and Project Properties)
• Print Statement
• Project Dependencies
• Project Properties (see Preferences)
• Prolog Reasoner/Translator (see also Reasoner/Translator Pairs)
• Property Declaration, SADL
• Property Restrictions (see also Tutorial on OWL)
• Queries (see Ask Statement)
• Quick Start Tutorial
• RDF, RDFS, OWL Concepts, Referencing in Expressions
• Read Statement
• Reasoner Settings
• Reasoner/Translator Pairs
• Regression Test (see Test Suite)
• Representing n-Ary Relationships with Binary Predicates
• Reserved Words (see Escaping Reserved Words; Grammar, SADL)
• Restrictions (see Property Restrictions)
• Rule Built-ins
• Rule Built-ins, Creating Custom
• Rules
• Run (see Test Model)
• SadlServer (see Knowledge as a Service)
• ServicesConfig.sadl (see Knowledge as a Service)
• Set Theory, Basic: a Foundational Concept (under Topics, Part 1)
• Source Code Control (see Version Control)
• SPARQL Queries
• Staged Rules (see Rules, see Default Values and Staged Rules)
• SWI-Prolog Reasoner (see Prolog Reasoner/Translator)
• Tabular Data Importer (see also CSV Tabular Data Importer)
• Templates (see Content Assist and Templates)
• Test Model
• Test Statement
• Test Suite
• There Exists
• Training, SADL
• Tutorials, SADL
• Typed Lists (see Lists in SADL)
• Union Classes in Domain and Range (see Preferences)
• Unitted Quantity (see also Implicit Model, SADL)
• Updating SADL (see also Installing SADL)
• User-defined Data Types (see also Data Types in SADL)
• Version Control
• Visualization
• Web Ontology Language (OWL) (under Topics, Part 3)
• Web SADL (see also Web SADL Backend Services)
• What's New
• Wrapping Java Class Methods as Jena Built-ins for the Jena Reasoner
• Write Statement