-
Type: Bug
-
Status: New
-
Priority: Major
-
Resolution: Unresolved
-
Affects Version/s: LegalRuleML Core Specification Version 1.0 CSPRD01
-
Fix Version/s: None
-
Component/s: None
-
Labels:None
-
Environment:
Technical
-
Proposal:
The caption for Fig. 1 reads:
*****
Fig. 1. Partial Metamodel for Defeasible Concepts. LegalRuleML classes are shown with blue fill, LegalRuleML properties with pink fill, RuleML classes with orange fill.
*****
The classes of "RuleML" are AtomicFormula and Formula. Formula is defined in: Glossary_of_Reaction_RuleML_1.02.
*****
60 Formula
Node indicating a member of a theory or rulebase. It is complementary to the syntactic category of terms.
Subcategories: Simple Formula, Compound Formula
*****
No AtomicFormula class.