• Glossary

For now this glossary is intended to be for internal WG use. Don't worry about making it make sense outside. Later on we can rework it for inclusion into a publication, if we want.

To add an entry:

1. Edit this page, adding your term to the list like ["Some Term"] (unless it happens to be a WikiName)

2. Click on the term to follow the link
3. You should get a message about the page not existsing

4. Select "GlossaryEntryTemplate" from the list of page templates

5. Fill in the new page as much as you like. Others may then notice and refine the entry.

Entries

• Abstract Syntax

• Antecedent

• Business Rule

• Consequence

• CIF

• Common Logic

• Constructive Rule

• Deduction Rule

• ECA Rule

• Event-Condition-Action Rule

• First-Order Logic

• F-logic

• FLORA-2

• Higher-Orderness

• HiLog

• Horn Clause

• Horn Logic

• Integrity Constraint

• JSR 94

• MathML

• Meta-model

• Normative Rule

• OWL

• Pure Prolog

• Prolog

• PRR

• Production Rule

• RDF

• Relax NG

• RuleML

• SBVR

• SOA

• Semantics Extensibility Point

• SPARQL

• SWBPDWG

• SWRL

• SWRL FOL

• SWSL-Rules

• Transaction Logic

• WebArch

• WebRuleLanguage

• Xcerpt

• XChange

• XPath Function

• XML Schema

• XSD