Expressivity "Backbone" (Check One)
Atomic
Formulas
Ground Fact
Ground Logic
Datalog
Horn Logic
Disjunctive
Logic
Full
First-Order Logic
Treatment of Attributes With Default Values (Check
One)
Required to be
Absent
Required to be
Present
Optional
Term Sequences: Number of Terms (Check One)
None
Binary (Zero
or Two)
Polyadic (Zero
or More)
Language (Check One)
English
Abbreviated Names
English Long Names
French Long Names
Serialization Options (Check Zero or More)
Unordered Groups
Stripe-Skipping
Explicit Datatyping
Schema Location Attribute
Propositional Options (Check Zero or More)
IRIs
Rulebases
Entailments
Degree of Uncertainty
Strong Negation
Weak Negation
(Negation as Failure)
Node Identifiers
In-Place Annotation
XML base
XML id
Implication Options (Check Zero or More)
Equivalences
Inference Direction
Non-Material
Term Options (Check Zero or More)
Object Identifiers
Slots
Slot Cardinality
Slot Weight
Equations
Oriented Equations
Term Typing
Data Terms
Skolem Constants
Reified Terms
Quantification Options (Check Zero or More)
Implicit Closure
Slotted Rest Variables
Positional Rest Variables
Expression Options (Check Zero or More)
Generalized Lists
Set-valued Expressions
Interpreted Expressions