Argumentation, Parallel Markup and Logical and Mathematical Knowledge Representation Formats

Argumentation Community Group,

Some existing formats pertaining to logic and mathematics include: MathML, OpenMath, OWL RL, R2ML, RIF, RuleML, SWRL.  Such formats, in addition to text, HTML5 and RDF, may comprise a list of interoperable formats for use in parallel markup scenarios when representing the claims of arguments.  While parallel markup solutions are highly scalable, often to all text and XML formats, a list of formats which are expected to be oft utilized in claims and other argument components may become topical during requirements-related discussion about new formats and/or systems.

Additionally, with parallel markup, an interface like DataTransfer can be utilized by argumentation formats' DOM elements' interfaces.



Kind regards,

Adam