Uploaded image for project: 'Technical Advisory Board'
  1. Technical Advisory Board
  2. TAB-1481

AtomicFormula cited but not found

    XMLWordPrintable

    Details

    • 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:
      Hide

      This example calls into doubt the use of (assuming they are cited) Deliberation RuleML, Reaction RuleML and Consumer RuleML as normative references. There is no apparent process for tracking changes to these documents nor are they equipped with conformance clauses against which conformance could be measured.

      That is in addition to the technical error of omitting a definition.

      Show
      This example calls into doubt the use of (assuming they are cited) Deliberation RuleML, Reaction RuleML and Consumer RuleML as normative references. There is no apparent process for tracking changes to these documents nor are they equipped with conformance clauses against which conformance could be measured. That is in addition to the technical error of omitting a definition.

      Description

      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.

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              patrick Patrick Durusau
            • Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated: