Math Structural schema

Math structures segmentation schema.

Includes

Name	Value
Schema URI	schema will:seg/0.3
Class Count	45
Classes	will:seg/0.3/Root, will:seg/0.3/ContentBlock, will:seg/0.3/TextRegion, will:seg/0.3/TextLine, will:seg/0.3/Word, will:seg/0.3/WordOfStrokes, will:seg/0.3/ExtendedTextRegion, will:seg/0.3/Line, will:seg/0.3/UnlabelledBlock, will:seg/0.3/UnlabelledItemGroup, will:seg/0.3/UnlabelledItem, will:seg/0.3/Drawing, will:seg/0.3/DrawingItemGroup, will:seg/0.3/DrawingItem, will:seg/0.3/ExpressionBlock, will:seg/0.3/GenericExpressionBlock, will:seg/0.3/GenericExpressionItemGroup, will:seg/0.3/GenericExpressionItem, will:seg/0.3/MathBlock, will:seg/0.3/MathItemGroup, will:seg/0.3/MathItem, will:seg/0.3/ChemistryBlock, will:seg/0.3/ChemistryItemGroup, will:seg/0.3/ChemistryItem, will:seg/0.3/PhysicsBlock, will:seg/0.3/PhysicsItemGroup, will:seg/0.3/PhysicsItem, will:seg/0.3/ContentBlockOfStrokeNodes, will:seg/0.3/ChemicalStructure, will:seg/0.3/Signature, will:seg/0.3/Garbage, will:seg/0.3/Unlabeled, will:seg/0.3/Doodle, will:seg/0.3/Diagram, will:seg/0.3/DiagramConnector, will:seg/0.3/DiagramPart, will:seg/0.3/Table, will:seg/0.3/Border, will:seg/0.3/List, will:seg/0.3/ListItem, will:seg/0.3/ListItemBullet, will:seg/0.3/Annotation, will:seg/0.3/Marking, will:seg/0.3/Connector, will:seg/0.3/Correction
Name	Value
---------------	----------------
Schema URI	schema will:uim/1.1
Class Count	5
Classes	will:uim/1.1/InkModel, will:uim/1.1/InkNode, will:uim/1.1/Root, will:uim/1.1/StrokeNode, will:uim/1.1/StrokeGroupNode

Classes

MathBlock

Defines a math block that groups math statements.

Name	Value
Class	will:math-structures/0.1/MathBlock
Defined In	will:math-structures/0.1
Specializes	will:seg/0.3/MathBlock

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the content of the MathBlock.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the content of the MathBlock.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the content of the MathBlock.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)	will:uim/1.1/InkNode
	Description	The dataType is can't be u:StrokeGroupNode or its specialization, because the u:StrokeGroupNode class requires exactly one parent, but the Root class is not allowed to have any.
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
	Inverse Of	hasChild

MathItemGroup

Overwritten a math item group, which removes debug information.

Name	Value
Class	will:math-structures/0.1/MathItemGroup [abstract]
Defined In	will:math-structures/0.1
Specializes	will:seg/0.3/MathItemGroup
Specialized By	will:math-structures/0.1/ExpressionList,will:math-structures/0.1/Number,will:math-structures/0.1/System,will:math-structures/0.1/Cases,will:math-structures/0.1/Radical,will:math-structures/0.1/Fence,will:math-structures/0.1/Fraction,will:math-structures/0.1/Subscript,will:math-structures/0.1/Superscript,will:math-structures/0.1/SubSuperScript,will:math-structures/0.1/PreSuperScript,will:math-structures/0.1/PreSubScript,will:math-structures/0.1/PreSubSuperScript,will:math-structures/0.1/UnderScript,will:math-structures/0.1/OverScript,will:math-structures/0.1/UnderOverScript,will:math-structures/0.1/Row,will:math-structures/0.1/RowList,will:math-structures/0.1/Matrix,will:math-structures/0.1/Group,will:math-structures/0.1/Operation,will:math-structures/0.1/Relation

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)

MathItem

Overwrite math item (MathItem), which removes debug information.

Name	Value
Class	will:math-structures/0.1/MathItem [abstract]
Defined In	will:math-structures/0.1
Specializes	will:seg/0.3/MathItem
Specialized By	will:math-structures/0.1/Symbol,will:math-structures/0.1/MathematicalTerm,will:math-structures/0.1/Unit,will:math-structures/0.1/Digit,will:math-structures/0.1/NumberItem

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasChild	Data Type(s)	will:uim/1.1/StrokeNode
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)

ExpressionList

List of ordered expressions.

Name	Value
Class	will:math-structures/0.1/ExpressionList
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)	will:math-structures/0.1/MathItemGroup
	Association Type	aggregation
	Cardinality	[2, inf] overridden to [0, inf] (mandatory) (ordered)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)

Number

Defines a number as digits with a separator (decimal or thousands separator).

Name	Value
Class	will:math-structures/0.1/Number
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)	will:math-structures/0.1/Digit,will:math-structures/0.1/Separator,will:math-structures/0.1/Symbol,will:math-structures/0.1/NumberItem,will:math-structures/0.1/Fraction
	Association Type	aggregation
	Cardinality	[1, inf] overridden to [0, inf] (mandatory) (ordered)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)

Samples

Latex: _-1,234.56_

{
    "@": "will:math-structures/0.1/Number",
    "hasChild-0": {
        "@": "will:math/0.6/Symbol",
        "representation": "-",
        "symbolType": "Sign",
        "uri": "uim:node/jp-edu/70d99106-b395-4a58-8523-18388dc8be2c"
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 1,
        "uri": "uim:node/jp-edu/5a007736-5b2b-4a2c-ae38-165cf0bde643"
    },
    "hasChild-2": {
        "@": "will:math-structures/0.1/Separator",
        "representation": ",",
        "separatorType": "thousand-separator",
        "symbolType": "Separator",
        "uri": "uim:node/jp-edu/b623f448-07ac-4f41-993c-c3a210577d42"
    },
    "hasChild-3": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 2,
        "uri": "uim:node/jp-edu/03706c0f-fbc4-4fb0-9661-674a3f13d6b8"
    },
    "hasChild-4": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 3,
        "uri": "uim:node/jp-edu/890ce66c-cfa4-4676-ba17-15276f6b94e4"
    },
    "hasChild-5": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 4,
        "uri": "uim:node/jp-edu/c1ec5fa9-9484-474d-bf46-c46f66bcf819"
    },
    "hasChild-6": {
        "@": "will:math-structures/0.1/Separator",
        "representation": ".",
        "separatorType": "decimal-separator",
        "symbolType": "Separator",
        "uri": "uim:node/jp-edu/9c7fb99d-a968-4810-9c19-b7a52e524d0f"
    },
    "hasChild-7": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 5,
        "uri": "uim:node/jp-edu/c997e49e-67e2-46d2-a05c-571a3cb6fbef"
    },
    "hasChild-8": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 6,
        "uri": "uim:node/jp-edu/6c53b41d-cfb7-42e3-8004-530f54457b9d"
    },
    "uri": "uim:node/jp-edu/5f48291a-90ba-41e2-aa29-1951308a733f"
}

Latex: _-\frac{1}{2}_

{
    "@": "will:math-structures/0.1/Number",
    "hasChild-0": {
        "@": "will:math/0.6/Symbol",
        "representation": "-",
        "symbolType": "Sign",
        "uri": "uim:node/jp-edu/a6beb646-1457-447b-bf17-b625e6df1f3e"
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/Fraction",
        "denominator": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 2,
            "uri": "uim:node/jp-edu/7fc35d7a-7351-42bc-97cc-5eb9c752ab39"
        },
        "numerator": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 1,
            "uri": "uim:node/jp-edu/caef590c-abf7-4bd9-a3c4-c8f15a77465e"
        },
        "uri": "uim:node/jp-edu/d4c77977-6646-4825-8879-02bb2d930f58"
    },
    "uri": "uim:node/jp-edu/7e243aaa-2896-46d3-af32-7f9e547bbf52"
}

System

Defines a system of equations.

Name	Value
Class	will:math-structures/0.1/System
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
expressions	Data Type(s)	will:math-structures/0.1/ExpressionList
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
openingBracket	Data Type(s)	will:math-structures/0.1/Symbol
	Description	Symbol used for opening bracket, e.g., (, [, or {.
	Association Type	composition
	Cardinality	[0, 1] (optional)
	Inverse Of	hasParent

Samples

Latex: _\begin{cases}x+y=10\\\frac{x}{10}+\frac{y}{12}=9\end{cases}_

{
    "@": "will:math-structures/0.1/System",
    "hasChild-0": {
        "@": "will:math-structures/0.1/Relation",
        "hasChild-1": {
            "@": "will:math-structures/0.1/Operation",
            "hasChild-0": {
                "@": "will:math/0.6/Symbol",
                "representation": "x",
                "symbolType": "Identifier",
                "uri": "uim:node/jp-edu/1d2340c6-9dec-44d6-93fb-82bb8c109821"
            },
            "hasChild-1": {
                "@": "will:math-structures/0.1/OperatorSymbol",
                "representation": "+",
                "symbolType": "Operator",
                "uri": "uim:node/jp-edu/a9b70ccd-e628-4697-b16b-ab51e22ac9cc"
            },
            "hasChild-2": {
                "@": "will:math/0.6/Symbol",
                "representation": "y",
                "symbolType": "Identifier",
                "uri": "uim:node/jp-edu/ff575ccc-2720-4e67-9348-199123c9623f"
            },
            "uri": "uim:node/jp-edu/cbfef89c-15e8-4d23-a428-dc3896b70efd"
        },
        "hasChild-2": {
            "@": "will:math-structures/0.1/Number",
            "hasChild-0": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 1,
                "uri": "uim:node/jp-edu/8f04ec6f-81cd-4fee-984a-30e49eef332e"
            },
            "hasChild-1": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 0,
                "uri": "uim:node/jp-edu/fa729753-af02-4b48-9283-3e4fc5186695"
            },
            "uri": "uim:node/jp-edu/12bfde9c-d3e1-4da4-be7c-0ad107ebe412"
        }
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/Relation",
        "hasChild-1": {
            "@": "will:math-structures/0.1/Operation",
            "hasChild-0": {
                "@": "will:math-structures/0.1/Fraction",
                "denominator": {
                    "@": "will:math-structures/0.1/Number",
                    "hasChild-0": {
                        "@": "will:math-structures/0.1/Digit",
                        "representation": 1,
                        "uri": "uim:node/jp-edu/8c203184-bdc3-4765-bd53-c9a9f8e23f65"
                    },
                    "hasChild-1": {
                        "@": "will:math-structures/0.1/Digit",
                        "representation": 0,
                        "uri": "uim:node/jp-edu/77ab2ff5-87a2-437f-aade-8fc48a837bbf"
                    },
                    "uri": "uim:node/jp-edu/7ba9a8de-b420-4ef5-be30-3dfc61693b09"
                },
                "numerator": {
                    "@": "will:math/0.6/Symbol",
                    "representation": "x",
                    "symbolType": "Unknown",
                    "uri": "uim:node/jp-edu/3edacd62-4361-4409-aa18-9cb9b864575d"
                },
                "uri": "uim:node/jp-edu/4a7db4d1-1825-4ed9-985f-3521788e87dd"
            },
            "hasChild-1": {
                "@": "will:math-structures/0.1/OperatorSymbol",
                "representation": "+",
                "symbolType": "Operator",
                "uri": "uim:node/jp-edu/1d484f42-97ec-4210-9496-fbb2a8bd5b75"
            },
            "hasChild-2": {
                "@": "will:math-structures/0.1/Fraction",
                "denominator": {
                    "@": "will:math-structures/0.1/Number",
                    "hasChild-0": {
                        "@": "will:math-structures/0.1/Digit",
                        "representation": 1,
                        "uri": "uim:node/jp-edu/8cfb2e22-20b2-4f29-bfaf-54de203b0579"
                    },
                    "hasChild-1": {
                        "@": "will:math-structures/0.1/Digit",
                        "representation": 2,
                        "uri": "uim:node/jp-edu/317b4f82-566d-4858-8b3c-8b2a43e4b48d"
                    },
                    "uri": "uim:node/jp-edu/499522f0-171b-4de9-9440-375e4151eb21"
                },
                "numerator": {
                    "@": "will:math/0.6/Symbol",
                    "representation": "y",
                    "symbolType": "Unknown",
                    "uri": "uim:node/jp-edu/2d69dc56-c70b-47b5-b04b-5dccf36d1d32"
                },
                "uri": "uim:node/jp-edu/785315ae-72a4-4383-a483-da62943f0f48"
            },
            "uri": "uim:node/jp-edu/88444b06-f65f-4513-91a3-a97b263a36a6"
        },
        "hasChild-2": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 9,
            "uri": "uim:node/jp-edu/766f3a01-9545-47b5-bc7a-0c6c2ae9015e"
        }
    }
}

Cases

Defines a case(s).

Name	Value
Class	will:math-structures/0.1/Cases
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
closingBracket	Data Type(s)	will:math-structures/0.1/Symbol
	Description	Symbol used for closing bracket, e.g., ), ], or }.
	Association Type	composition
	Cardinality	[0, 1] (optional)
	Inverse Of	hasParent
expressions	Data Type(s)	will:math-structures/0.1/ExpressionList
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
openingBracket	Data Type(s)	will:math-structures/0.1/Symbol
	Description	Symbol used for opening bracket, e.g., (, [, or {.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: _f(n)=_

{
    "@": "will:math-structures/0.1/Relation",
    "hasChild-1": {
        "@": "will:math-structures/0.1/Group",
        "hasChild-0": {
            "@": "will:math/0.6/Symbol",
            "representation": "f",
            "symbolType": "Function",
            "uri": "uim:node/jp-edu/ae9730e5-3e9c-4d92-800c-60192aaf12e5"
        },
        "hasChild-1": {
            "@": "will:math-structures/0.1/Fence",
            "closingBracket": {
                "@": "will:math/0.6/Symbol",
                "representation": ")",
                "symbolType": "Identifier",
                "uri": "uim:node/jp-edu/26ec7fa7-14fd-4ab5-8850-a90d8cca44d0"
            },
            "hasChild": {
                "@": "will:math/0.6/Symbol",
                "representation": "n",
                "symbolType": "Identifier",
                "uri": "uim:node/jp-edu/8396b5c0-b3f7-4117-ae54-f85f047aba47"
            },
            "openingBracket": {
                "@": "will:math/0.6/Symbol",
                "representation": "(",
                "symbolType": "Bracket",
                "uri": "uim:node/jp-edu/140a3453-dc8a-4d3f-9655-266cc60dc892"
            },
            "uri": "uim:node/jp-edu/bf0adf79-9a46-4840-b3c4-d47d50b18764"
        }
    },
    "hasChild-2": {
        "@": "will:math-structures/0.1/Cases"
    }
}

Radical

Defines a radical.

Name	Value
Class	will:math-structures/0.1/Radical
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
index	Data Type(s)	will:math-structures/0.1/Symbol,will:math-structures/0.1/Number,will:math-structures/0.1/Fraction,will:math-structures/0.1/Operation
	Description	Describes the index of the radical.
	Association Type	composition
	Cardinality	[0, 1] (optional)
	Inverse Of	hasParent
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
radicalSymbol	Data Type(s)	will:math-structures/0.1/Symbol
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
radicand	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: _\sqrt[n]{625}_

{
    "@": "will:math-structures/0.1/Radical",
    "index": {
        "@": "will:math/0.6/Symbol",
        "representation": "n",
        "symbolType": "Unknown",
        "uri": "uim:node/jp-edu/f4547493-848b-4c22-b1ee-9e4320582465"
    },
    "radicalSymbol": {
        "@": "will:math/0.6/Symbol",
        "representation": "\u221a",
        "symbolType": "Unknown",
        "uri": "uim:node/jp-edu/9590a14a-c88f-44d7-8614-220f691cdb8d"
    },
    "radicand": {
        "@": "will:math-structures/0.1/Number",
        "hasChild-0": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 6,
            "uri": "uim:node/jp-edu/a5213c26-2667-40c1-9b0b-d269dfa1a3e3"
        },
        "hasChild-1": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 2,
            "uri": "uim:node/jp-edu/41e20ad2-6a1c-4b6c-85a1-1272e4e11d58"
        },
        "hasChild-2": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 5,
            "uri": "uim:node/jp-edu/3d488e3c-281a-40bc-8192-7e53d213aff9"
        },
        "uri": "uim:node/jp-edu/8bf9007e-8b21-4d0f-a48c-c4215f21bf49"
    },
    "uri": "uim:node/jp-edu/85ded964-6519-43f3-af1a-82f5ee9e3464"
}

Latex: _\sqrt{9}_

{
    "@": "will:math-structures/0.1/Radical",
    "radicalSymbol": {
        "@": "will:math/0.6/Symbol",
        "representation": "\u221a",
        "symbolType": "Unknown",
        "uri": "uim:node/jp-edu/9875013e-94ea-483b-b784-c5bccfa913cd"
    },
    "radicand": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 9,
        "uri": "uim:node/jp-edu/cddf0f1a-9cf1-46f8-b7f3-1ca1da9ebb41"
    },
    "uri": "uim:node/jp-edu/b3fbf95d-e7ae-4155-9846-376364f83ba3"
}

Fence

Defines a fence expression.

Name	Value
Class	will:math-structures/0.1/Fence
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
closingBracket	Data Type(s)	will:math-structures/0.1/Symbol
	Description	Symbol used for closing bracket, e.g., ), ], or }.
	Association Type	composition
	Cardinality	[0, 1] (optional)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
openingBracket	Data Type(s)	will:math-structures/0.1/Symbol
	Description	Symbol used for opening bracket, e.g., (, [, or {.
	Association Type	composition
	Cardinality	[0, 1] (optional)
	Inverse Of	hasParent

Samples

Latex: _f(x)=x⋅(x+1)_

{
    "@": "will:math-structures/0.1/Relation",
    "hasChild-1": {
        "@": "will:math-structures/0.1/Group",
        "hasChild-0": {
            "@": "will:math/0.6/Symbol",
            "representation": "f",
            "symbolType": "Function",
            "uri": "uim:node/jp-edu/190654aa-3bda-4632-b54b-e4bb6973baac"
        },
        "hasChild-1": {
            "@": "will:math-structures/0.1/Fence",
            "closingBracket": {
                "@": "will:math/0.6/Symbol",
                "representation": ")",
                "symbolType": "Unknown",
                "uri": "uim:node/jp-edu/d2ca28fa-f6bb-4c30-9651-96f66704862a"
            },
            "hasChild": {
                "@": "will:math/0.6/Symbol",
                "representation": "x",
                "symbolType": "Identifier",
                "uri": "uim:node/jp-edu/e158c6d4-d2f2-467c-9df9-de514f1b829d"
            },
            "openingBracket": {
                "@": "will:math/0.6/Symbol",
                "representation": "(",
                "symbolType": "Unknown",
                "uri": "uim:node/jp-edu/aef05f14-7a8e-438e-8be5-49bb7ab4253d"
            },
            "uri": "uim:node/jp-edu/fa4005eb-7206-4cbc-8c21-1e1d146f21c7"
        }
    },
    "hasChild-2": {
        "@": "will:math-structures/0.1/Operation",
        "hasChild-0": {
            "@": "will:math/0.6/Symbol",
            "representation": "x",
            "symbolType": "Identifier",
            "uri": "uim:node/jp-edu/dc2bc185-c711-4a42-9ddc-6c131be848e3"
        },
        "hasChild-1": {
            "@": "will:math/0.6/Symbol",
            "representation": "\u22c5",
            "symbolType": "Unknown",
            "uri": "uim:node/jp-edu/5ba6d093-c28d-4f99-836b-4acd4ccd3d63"
        },
        "hasChild-2": {
            "@": "will:math-structures/0.1/Fence",
            "closingBracket": {
                "@": "will:math/0.6/Symbol",
                "representation": ")",
                "symbolType": "Unknown",
                "uri": "uim:node/jp-edu/feca9178-f80d-446a-93c9-12ce23d38332"
            },
            "hasChild": {
                "@": "will:math-structures/0.1/Operation",
                "hasChild-0": {
                    "@": "will:math/0.6/Symbol",
                    "representation": "x",
                    "symbolType": "Identifier",
                    "uri": "uim:node/jp-edu/1c433904-7f61-419a-8290-f2b5029502f9"
                },
                "hasChild-1": {
                    "@": "will:math-structures/0.1/OperatorSymbol",
                    "representation": "+",
                    "symbolType": "Operator",
                    "uri": "uim:node/jp-edu/3b0cfbc5-8d02-41ba-8b03-b494465f2195"
                },
                "hasChild-2": {
                    "@": "will:math-structures/0.1/Digit",
                    "representation": 1,
                    "uri": "uim:node/jp-edu/10dbf9e5-f207-4fb2-ae19-68404dd60aa4"
                },
                "uri": "uim:node/jp-edu/7d80e840-b8e6-4804-8d88-1af72944a63f"
            },
            "openingBracket": {
                "@": "will:math/0.6/Symbol",
                "representation": "(",
                "symbolType": "Unknown",
                "uri": "uim:node/jp-edu/4319edf5-c87b-47d1-ae2a-0c59eca3dc43"
            },
            "uri": "uim:node/jp-edu/186e5241-5d5b-4803-81c9-8306eed55c0c"
        },
        "uri": "uim:node/jp-edu/cd8e1523-4b32-431d-9b80-e13b10772084"
    }
}

Fraction

Defines a fraction expression.

Name	Value
Class	will:math-structures/0.1/Fraction
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
denominator	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Denominator part of the fraction (optional for partial fraction).
	Association Type	composition
	Cardinality	[0, 1] (optional)
	Inverse Of	hasParent
fractionLine	Data Type(s)	will:math-structures/0.1/Separator
	Description	Marks the fraction line.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
fractionType	Data Type(s)	@string
	Description	Describes the type of fraction.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
numerator	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Numerator part of the fraction. (optional for partial fraction)
	Association Type	composition
	Cardinality	[0, 1] (optional)
	Inverse Of	hasParent

Samples

Latex: _\frac{1}{x+1}_

{
    "@": "will:math-structures/0.1/Fraction",
    "denominator": {
        "@": "will:math-structures/0.1/Operation",
        "hasChild-0": {
            "@": "will:math/0.6/Symbol",
            "representation": "x",
            "symbolType": "Identifier",
            "uri": "uim:node/jp-edu/a0a1da04-33c8-41e6-885e-f242d5ae5da2"
        },
        "hasChild-1": {
            "@": "will:math-structures/0.1/OperatorSymbol",
            "representation": "+",
            "symbolType": "Operator",
            "uri": "uim:node/jp-edu/11bb8399-e12b-48c6-8cb9-acacabdb08c4"
        },
        "hasChild-2": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 1,
            "uri": "uim:node/jp-edu/36c97f5c-c52a-47a1-a592-c2f0eb7f9125"
        },
        "uri": "uim:node/jp-edu/0acebac1-9745-4136-a911-109f9f1bb1ff"
    },
    "numerator": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 1,
        "uri": "uim:node/jp-edu/e0936a74-2b60-4bfd-9673-130620214fb0"
    },
    "uri": "uim:node/jp-edu/8616f0ed-790c-46c3-a592-4442150017a5"
}

Subscript

Defines a subscript expression.

Name	Value
Class	will:math-structures/0.1/Subscript
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Base expression.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
subScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Subscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: __

{
    "@": "will:math-structures/0.1/Subscript",
    "body": {
        "@": "will:math/0.6/Symbol",
        "representation": "x",
        "symbolType": "Identifier",
        "uri": "uim:node/jp-edu/2371938c-42c5-4f6e-aeb0-234275ec55b5"
    },
    "uri": "uim:node/jp-edu/ebc51bc9-be49-4e2d-b2fd-08c017b4db4b"
}

Superscript

Defines a superscript expression.

Name	Value
Class	will:math-structures/0.1/Superscript
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Base expression.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
superScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Superscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: _xˆn_

{
    "@": "will:math-structures/0.1/Superscript",
    "body": {
        "@": "will:math/0.6/Symbol",
        "representation": "x",
        "symbolType": "Identifier",
        "uri": "uim:node/jp-edu/5644a5dc-4013-49f1-8c4f-425097165e39"
    },
    "superScript": {
        "@": "will:math/0.6/Symbol",
        "representation": "n",
        "symbolType": "Identifier",
        "uri": "uim:node/jp-edu/57c589dc-b06c-4ed8-9055-9b53086e745a"
    },
    "uri": "uim:node/jp-edu/220e4ba2-8616-40fd-b52d-d71a56f3e5ed"
}

SubSuperScript

Defines a sub-/subscript expression.

Name	Value
Class	will:math-structures/0.1/SubSuperScript
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Base expression.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
subScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Subscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
superScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Superscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

PreSuperScript

Defines a pre-superscript expression.

Name	Value
Class	will:math-structures/0.1/PreSuperScript
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Base expression.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
preSuperScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Pre-superscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

PreSubScript

Defines a pre-subscript expression.

Name	Value
Class	will:math-structures/0.1/PreSubScript
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Base expression.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
preSubScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Pre-subscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: __

{
    "@": "will:math-structures/0.1/PreSubScript",
    "body": {
        "@": "will:math-structures/0.1/Number",
        "hasChild-0": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 5,
            "uri": "uim:node/jp-edu/b98b3150-1de5-479e-8fb4-49a67c6efefd"
        },
        "hasChild-1": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 6,
            "uri": "uim:node/jp-edu/07253ef4-349d-42ed-8bbb-c60cc7059e10"
        },
        "uri": "uim:node/jp-edu/827b4f3b-31d2-4d08-85d5-b9467918cf5b"
    },
    "preSubScript": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 1,
        "uri": "uim:node/jp-edu/7d69df3c-1a4e-4ce5-9d42-cc9fc26c7cb5"
    },
    "uri": "uim:node/jp-edu/d3d53126-4c50-4ea6-8723-11134ad3c5f1"
}

PreSubSuperScript

Defines a pre-sub-/subscript expression.

Name	Value
Class	will:math-structures/0.1/PreSubSuperScript
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Base expression.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
preSubScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Pre-Subscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
preSuperScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Pre-Superscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: __

{
    "@": "will:math-structures/0.1/PreSubSuperScript",
    "body": {
        "@": "will:math/0.6/Symbol",
        "representation": "x",
        "symbolType": "Identifier",
        "uri": "uim:node/jp-edu/ea50f99a-8a6f-4e35-8862-86f27118d417"
    },
    "preSubScript": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 2,
        "uri": "uim:node/jp-edu/814d8796-dd48-4c34-af62-a129fe74aa86"
    },
    "preSuperScript": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 1,
        "uri": "uim:node/jp-edu/2739030f-3bb3-4978-bc9f-2979ff3d1a7c"
    },
    "uri": "uim:node/jp-edu/25e7f98a-55ce-4002-942f-7e357f25aeb6"
}

UnderScript

Defines an under-script expression.

Name	Value
Class	will:math-structures/0.1/UnderScript
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Base expression.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
underScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Underscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: __

{
    "@": "will:math-structures/0.1/UnderScript",
    "body": {
        "@": "will:math/0.6/Symbol",
        "representation": "\u03a3",
        "symbolType": "Unknown",
        "uri": "uim:node/jp-edu/04e311f7-b5d4-460e-9098-d4586276325c"
    },
    "uri": "uim:node/jp-edu/076dc349-60b9-4653-a7f4-6f8cb61d56f9"
}

OverScript

Defines an over-script expression.

Name	Value
Class	will:math-structures/0.1/OverScript
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Base expression.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
overScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Overscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: __

{
    "@": "will:math-structures/0.1/Subscript",
    "body": {
        "@": "will:math/0.6/Symbol",
        "representation": "\u03a3",
        "symbolType": "Unknown",
        "uri": "uim:node/jp-edu/2b72af29-b3f4-4b7c-a61f-1d7d101c4ba1"
    },
    "overScript": {
        "@": "will:math/0.6/Symbol",
        "representation": "n",
        "symbolType": "Identifier",
        "uri": "uim:node/jp-edu/c5325499-3ecd-44bd-bf57-b190bd4c7826"
    },
    "uri": "uim:node/jp-edu/a5c5204f-ddfd-403b-a7e5-4ed29743f08a"
}

UnderOverScript

Defines an over- / under-script expression.

Name	Value
Class	will:math-structures/0.1/UnderOverScript
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
body	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Base expression.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
overScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Overscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent
underScript	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Underscript expression / term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: __

{
    "@": "will:math-structures/0.1/UnderOverScript",
    "body": {
        "@": "will:math/0.6/Symbol",
        "representation": "\u03a3",
        "symbolType": "Unknown",
        "uri": "uim:node/jp-edu/0204317f-7928-4530-83fb-3520d31c42c5"
    },
    "overScript": {
        "@": "will:math/0.6/Symbol",
        "representation": "n",
        "symbolType": "Unknown",
        "uri": "uim:node/jp-edu/03b54d42-07a9-41a1-b6f8-b8876dd967f6"
    },
    "underScript": {
        "@": "will:math-structures/0.1/Relation",
        "hasChild-1": {
            "@": "will:math/0.6/Symbol",
            "representation": "i",
            "symbolType": "Unknown",
            "uri": "uim:node/jp-edu/ada925bc-ea1a-47a0-a1dc-156fc419e7e4"
        },
        "hasChild-2": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 0,
            "uri": "uim:node/jp-edu/a62c8290-502c-4919-b937-7080f80d58e9"
        }
    },
    "uri": "uim:node/jp-edu/633959f7-db02-4df7-824d-bd60d859fe32"
}

Row

A row of a matrix structure.

Name	Value
Class	will:math-structures/0.1/Row
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Description	Represents the content a cell within a matrix.
	Association Type	aggregation
	Cardinality	[1, inf] overridden to [0, inf] (mandatory) (ordered)
	Inverse Of	hasParent
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)

RowList

List of rows.

Name	Value
Class	will:math-structures/0.1/RowList
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)	will:math-structures/0.1/Row
	Association Type	aggregation
	Cardinality	[1, inf] overridden to [0, inf] (mandatory) (ordered)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)

Matrix

Matrix expression, which consists of multiple rows.

Name	Value
Class	will:math-structures/0.1/Matrix
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
closingBracket	Data Type(s)	will:math-structures/0.1/Symbol
	Description	Symbol used for closing bracket, e.g., ), ], or }.
	Association Type	composition
	Cardinality	[0, 1] (optional)
	Inverse Of	hasParent
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
matrixType	Data Type(s)	@string
	Description	Defines the type of matrix.
	Association Type	composition
	Cardinality	[0, 1] (optional)
openingBracket	Data Type(s)	will:math-structures/0.1/Symbol
	Description	Symbol used for opening bracket, e.g., ( or [.
	Association Type	composition
	Cardinality	[0, 1] (optional)
	Inverse Of	hasParent
rows	Data Type(s)	will:math-structures/0.1/RowList
	Description	Rows of the matrix.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
	Inverse Of	hasParent

Samples

Latex: _A=\begin{matrix}1&0&0\\0&1&0\\0&0&1\end{matrix}_

{
    "@": "will:math-structures/0.1/Relation",
    "hasChild-1": {
        "@": "will:math/0.6/Symbol",
        "representation": "A",
        "symbolType": "Identifier",
        "uri": "uim:node/jp-edu/6b456e02-6402-483e-bc08-3265bc4b039f"
    },
    "hasChild-2": {
        "@": "will:math-structures/0.1/Matrix",
        "hasRow-0": {
            "@": "will:math-structures/0.1/Row",
            "hasCell-0": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 1,
                "uri": "uim:node/jp-edu/72ef3b91-fa19-4866-a3dc-8e4e6c9b9cb9"
            },
            "hasCell-1": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 0,
                "uri": "uim:node/jp-edu/7d084fd2-df32-442f-b8d8-68b4ac013438"
            },
            "hasCell-2": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 0,
                "uri": "uim:node/jp-edu/59027aa7-501b-453c-a537-1443ce482146"
            },
            "uri": "uim:node/jp-edu/9271a805-fd0e-48d3-a492-6f37185706fb"
        },
        "hasRow-1": {
            "@": "will:math-structures/0.1/Row",
            "hasCell-0": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 0,
                "uri": "uim:node/jp-edu/0abdf613-ccee-4333-8043-2a11c4aa796d"
            },
            "hasCell-1": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 1,
                "uri": "uim:node/jp-edu/65b8d53c-3d2d-401b-9199-cace15b85acd"
            },
            "hasCell-2": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 0,
                "uri": "uim:node/jp-edu/58800d25-405c-4684-bc65-d9e1fdb130c2"
            },
            "uri": "uim:node/jp-edu/9271a805-fd0e-48d3-a492-6f37185706fb"
        },
        "hasRow-2": {
            "@": "will:math-structures/0.1/Row",
            "hasCell-0": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 0,
                "uri": "uim:node/jp-edu/1748a12d-42cc-4d63-b5a6-0d822dc34247"
            },
            "hasCell-1": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 0,
                "uri": "uim:node/jp-edu/7600fb82-e8b5-4bec-8bfb-02d812491c7e"
            },
            "hasCell-2": {
                "@": "will:math-structures/0.1/Digit",
                "representation": 1,
                "uri": "uim:node/jp-edu/1aaa14eb-d601-4337-8bde-8a20626abadd"
            },
            "uri": "uim:node/jp-edu/9271a805-fd0e-48d3-a492-6f37185706fb"
        },
        "uri": "uim:node/jp-edu/f3453224-6ac2-4c56-af2c-5cedaa0e9b3c"
    }
}

Group

Group of elements.

Name	Value
Class	will:math-structures/0.1/Group
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Association Type	aggregation
	Cardinality	[1, inf] overridden to [0, inf] (mandatory) (ordered)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)

Samples

Latex: _6x_

{
    "@": "will:math-structures/0.1/Group",
    "hasChild-0": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 6,
        "uri": "uim:node/jp-edu/97087bb3-b697-41d9-9b1a-56214482a5f2"
    },
    "hasChild-1": {
        "@": "will:math/0.6/Symbol",
        "representation": "x",
        "symbolType": "Identifier",
        "uri": "uim:node/jp-edu/c6f1e152-b625-4166-a97a-83a45ee73a62"
    }
}

Latex: _f(x)_

{
    "@": "will:math-structures/0.1/Group",
    "hasChild-0": {
        "@": "will:math/0.6/Symbol",
        "representation": "f",
        "symbolType": "Function",
        "uri": "uim:node/jp-edu/d1fc98f4-0369-4303-bfe8-cb9d666cce77"
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/Fence",
        "closingBracket": {
            "@": "will:math/0.6/Symbol",
            "representation": ")",
            "symbolType": "Bracket",
            "uri": "uim:node/jp-edu/35b543b6-e361-4702-ac5e-885b8d8913bc"
        },
        "hasChild": {
            "@": "will:math/0.6/Symbol",
            "representation": "x",
            "symbolType": "Identifier",
            "uri": "uim:node/jp-edu/34302925-0db8-4d3a-8b62-86145fb19626"
        },
        "openingBracket": {
            "@": "will:math/0.6/Symbol",
            "representation": "(",
            "symbolType": "Bracket",
            "uri": "uim:node/jp-edu/59b49b50-fa54-4412-8528-416dd66f3fa1"
        },
        "uri": "uim:node/jp-edu/0133fa38-13ac-4245-a42a-4294d4d3ad0f"
    }
}

Operation

An operation is a function that takes zero or more input values (also called 'operands') to a well-defined output value. The number of operands is the arity of the operation.

Name	Value
Class	will:math-structures/0.1/Operation
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
operationType	Data Type(s)	@string
	Description	Defines the type of the operation.
	Association Type	composition
	Cardinality	[0, 1] (optional)

Samples

Latex: _1+2_

{
    "@": "will:math-structures/0.1/Operation",
    "hasChild-0": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 1,
        "uri": "uim:node/jp-edu/ff558c87-e4cf-4879-aaa7-463ba0c11754"
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/OperatorSymbol",
        "representation": "+",
        "symbolType": "Operator",
        "uri": "uim:node/jp-edu/1f713198-33c6-4062-afd4-3195762c7463"
    },
    "hasChild-2": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 2,
        "uri": "uim:node/jp-edu/b45f4a05-00e9-43f4-91ad-f68884851e81"
    },
    "uri": "uim:node/jp-edu/101395b4-2d7c-41af-b387-7ef0aaded848"
}

Relation

A n-ary relation is a general concept that defines some relation between the elements of two sets.

Name	Value
Class	will:math-structures/0.1/Relation
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItemGroup

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasChild	Data Type(s)	will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)

Samples

Latex: _x=1_

{
    "@": "will:math-structures/0.1/Relation",
    "hasChild-1": {
        "@": "will:math/0.6/Symbol",
        "representation": "x",
        "symbolType": "Identifier",
        "uri": "uim:node/jp-edu/763d60d4-3010-4a14-a3f9-3c6ebbf70e25"
    },
    "hasChild-2": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 1,
        "uri": "uim:node/jp-edu/1aac4313-92cb-4a34-aa2c-b1536ba5a896"
    }
}

Symbol

Mathematical symbols (including operators).

Name	Value
Class	will:math-structures/0.1/Symbol
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItem
Specialized By	will:math-structures/0.1/OperatorSymbol,will:math-structures/0.1/RelationSymbol,will:math-structures/0.1/Separator

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasChild	Data Type(s)	will:uim/1.1/StrokeNode
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
representation	Data Type(s)	@string
	Description	Contains the representation of the symbol.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
symbolType	Data Type(s)	@string
	Description	Defines the type of the symbol.
	Association Type	composition
	Cardinality	[0, 1] (optional)

Samples

Latex: _x_

{
    "@": "will:math/0.6/Symbol",
    "representation": "x",
    "symbolType": "Identifier",
    "uri": "uim:node/jp-edu/fe122c28-14a5-467e-88b3-280c297ae47a"
}

MathematicalTerm

Mathematical terms, such as sin, cos, log, min, max, inf, etc..

Name	Value
Class	will:math-structures/0.1/MathematicalTerm [final]
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItem

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasChild	Data Type(s)	will:uim/1.1/StrokeNode
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
representation	Data Type(s)	@string
	Description	Contains the representation of the mathematical term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)

Samples

Latex: _log1_

{
    "@": "will:math-structures/0.1/Group",
    "hasChild-0": {
        "@": "will:math-structures/0.1/Unit",
        "representation": "log",
        "uri": "uim:node/jp-edu/77289761-3693-4731-9ca0-0619f065f85a"
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 1,
        "uri": "uim:node/jp-edu/3938761d-7290-4bb3-bd63-383e7e8651d5"
    }
}

Latex: _cos(α)_

{
    "@": "will:math-structures/0.1/Group",
    "hasChild-0": {
        "@": "will:math-structures/0.1/Unit",
        "representation": "cos",
        "uri": "uim:node/jp-edu/592607ef-18b9-4063-9c46-e282ef9d3ef1"
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/Fence",
        "closingBracket": {
            "@": "will:math/0.6/Symbol",
            "representation": ")",
            "symbolType": "Bracket",
            "uri": "uim:node/jp-edu/d6ef7eb7-70be-4b04-ae02-9778eadcf237"
        },
        "hasChild": {
            "@": "will:math/0.6/Symbol",
            "representation": "\u03b1",
            "symbolType": "Unknown",
            "uri": "uim:node/jp-edu/cbef7f33-c634-4e6a-966d-8d0cb34c1b9a"
        },
        "openingBracket": {
            "@": "will:math/0.6/Symbol",
            "representation": "(",
            "symbolType": "Bracket",
            "uri": "uim:node/jp-edu/8ff908f7-ebda-4fcf-8307-86f4df3cad31"
        },
        "uri": "uim:node/jp-edu/bb00ab25-f0f3-459a-874b-11fb9f26afc1"
    }
}

Unit

International convention units (weight, length, frequency, luminosity, dosage, pressure, etc.).

Name	Value
Class	will:math-structures/0.1/Unit [final]
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItem

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasChild	Data Type(s)	will:uim/1.1/StrokeNode
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
representation	Data Type(s)	@string
	Description	Contains the representation of the mathematical term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)

Samples

Latex: _5cm_

{
    "@": "will:math-structures/0.1/Group",
    "hasChild-0": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 5,
        "uri": "uim:node/jp-edu/c88a57ca-db13-448a-bc74-ebed3de7d10f"
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/Unit",
        "representation": "cm",
        "uri": "uim:node/jp-edu/408a48db-0469-474a-be66-8221d469a4ab"
    }
}

OperatorSymbol

Operator symbol.

Name	Value
Class	will:math-structures/0.1/OperatorSymbol [final]
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/Symbol

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasChild	Data Type(s)	will:uim/1.1/StrokeNode
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
representation	Data Type(s)	@string
	Description	Contains the representation of the mathematical term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
symbolType	Data Type(s)	@string
	Description	Defines the type of the symbol.
	Association Type	composition
	Cardinality	[0, 1] (optional)

RelationSymbol

Relation symbol

Name	Value
Class	will:math-structures/0.1/RelationSymbol [final]
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/Symbol

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasChild	Data Type(s)	will:uim/1.1/StrokeNode
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
representation	Data Type(s)	@string
	Description	Contains the representation of the mathematical term.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
symbolType	Data Type(s)	@string
	Description	Defines the type of the symbol.
	Association Type	composition
	Cardinality	[0, 1] (optional)

Separator

Defines a separator.

Name	Value
Class	will:math-structures/0.1/Separator
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/Symbol

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasChild	Data Type(s)	will:uim/1.1/StrokeNode
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
representation	Data Type(s)	@string
	Description	Contains the separator symbol.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
separatorType	Data Type(s)	@string
	Description	Defines the type of the separator.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)
symbolType	Data Type(s)	@string
	Description	Defines the type of the symbol.
	Association Type	composition
	Cardinality	[0, 1] (optional)

Digit

Defines a digit.

Name	Value
Class	will:math-structures/0.1/Digit
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItem

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasChild	Data Type(s)	will:uim/1.1/StrokeNode
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
representation	Data Type(s)	@int
	Description	Contains the numerical representation of the digit.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)

NumberItem

Combining several digits.

Name	Value
Class	will:math-structures/0.1/NumberItem
Defined In	will:math-structures/0.1
Specializes	will:math-structures/0.1/MathItem

Properties

Property	Attribute	Value
hasASCIIMath	Data Type(s)	@string
	Description	An ASCII Math expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasChild	Data Type(s)	will:uim/1.1/StrokeNode
	Association Type	composition
	Cardinality	[0, 1] overridden to [0, inf] (optional)
hasEntityLabel	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasEntityType	Data Type(s)	@string
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasLatex	Data Type(s)	@latex
	Description	A latex expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasMathML	Data Type(s)	@mathml
	Description	A MathML expression representing the current math sub-structure.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
hasParent	Data Type(s)
	Association Type	aggregation
	Cardinality	[1, 1] overridden to [0, 1] (mandatory)
isBaseEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
isStructuralEntity	Data Type(s)	@bool
	Description	Reserved for debug purposes.
	Association Type	composition
	Cardinality	[0, 0] overridden to [0, 1] (optional)
representation	Data Type(s)	@string
	Description	Contains the numerical representation of the several digits digit.
	Association Type	aggregation
	Cardinality	[1, 1] (mandatory)

Samples

Latex: _-1,234.56_

{
    "@": "will:math-structures/0.1/Number",
    "hasChild-0": {
        "@": "will:math/0.6/Symbol",
        "representation": "-",
        "symbolType": "Sign",
        "uri": "uim:node/jp-edu/70d99106-b395-4a58-8523-18388dc8be2c"
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 1,
        "uri": "uim:node/jp-edu/5a007736-5b2b-4a2c-ae38-165cf0bde643"
    },
    "hasChild-2": {
        "@": "will:math-structures/0.1/Separator",
        "representation": ",",
        "separatorType": "thousand-separator",
        "symbolType": "Separator",
        "uri": "uim:node/jp-edu/b623f448-07ac-4f41-993c-c3a210577d42"
    },
    "hasChild-3": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 2,
        "uri": "uim:node/jp-edu/03706c0f-fbc4-4fb0-9661-674a3f13d6b8"
    },
    "hasChild-4": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 3,
        "uri": "uim:node/jp-edu/890ce66c-cfa4-4676-ba17-15276f6b94e4"
    },
    "hasChild-5": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 4,
        "uri": "uim:node/jp-edu/c1ec5fa9-9484-474d-bf46-c46f66bcf819"
    },
    "hasChild-6": {
        "@": "will:math-structures/0.1/Separator",
        "representation": ".",
        "separatorType": "decimal-separator",
        "symbolType": "Separator",
        "uri": "uim:node/jp-edu/9c7fb99d-a968-4810-9c19-b7a52e524d0f"
    },
    "hasChild-7": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 5,
        "uri": "uim:node/jp-edu/c997e49e-67e2-46d2-a05c-571a3cb6fbef"
    },
    "hasChild-8": {
        "@": "will:math-structures/0.1/Digit",
        "representation": 6,
        "uri": "uim:node/jp-edu/6c53b41d-cfb7-42e3-8004-530f54457b9d"
    },
    "uri": "uim:node/jp-edu/5f48291a-90ba-41e2-aa29-1951308a733f"
}

Latex: _-\frac{1}{2}_

{
    "@": "will:math-structures/0.1/Number",
    "hasChild-0": {
        "@": "will:math/0.6/Symbol",
        "representation": "-",
        "symbolType": "Sign",
        "uri": "uim:node/jp-edu/a6beb646-1457-447b-bf17-b625e6df1f3e"
    },
    "hasChild-1": {
        "@": "will:math-structures/0.1/Fraction",
        "denominator": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 2,
            "uri": "uim:node/jp-edu/7fc35d7a-7351-42bc-97cc-5eb9c752ab39"
        },
        "numerator": {
            "@": "will:math-structures/0.1/Digit",
            "representation": 1,
            "uri": "uim:node/jp-edu/caef590c-abf7-4bd9-a3c4-c8f15a77465e"
        },
        "uri": "uim:node/jp-edu/d4c77977-6646-4825-8879-02bb2d930f58"
    },
    "uri": "uim:node/jp-edu/7e243aaa-2896-46d3-af32-7f9e547bbf52"
}

Schema Definition

{
    "body": {
        "classes": {
            "will:math-structures/0.1/Cases": {
                "@desc": "Defines a cases.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "closingBracket": {
                        "@desc": "Symbol used for closing bracket, e.g., `)`, `]`, or `}`.",
                        "dataType": "will:math-structures/0.1/Symbol",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "expressions": {
                        "dataType": "will:math-structures/0.1/ExpressionList",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "openingBracket": {
                        "@desc": "Symbol used for opening bracket, e.g., `(`, `[`, or `{`.",
                        "dataType": "will:math-structures/0.1/Symbol",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Digit": {
                "@desc": "Defines a digit.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "representation": {
                        "@desc": "Contains the numerical representation of the digit.",
                        "dataType": "@int",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItem"
            },
            "will:math-structures/0.1/ExpressionList": {
                "@desc": "List of ordered expressions.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "hasChild": {
                        "dataType": "will:math-structures/0.1/MathItemGroup",
                        "isFinal": false,
                        "isOrdered": true,
                        "maxCardinality": -1,
                        "minCardinality": 2
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Fence": {
                "@desc": "Defines a fence expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "closingBracket": {
                        "@desc": "Symbol used for closing bracket, e.g., `)`, `]`, or `}`.",
                        "dataType": "will:math-structures/0.1/Symbol",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "openingBracket": {
                        "@desc": "Symbol used for opening bracket, e.g., `(`, `[`, or `{`.",
                        "dataType": "will:math-structures/0.1/Symbol",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Fraction": {
                "@desc": "Defines a fraction expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "denominator": {
                        "@desc": "Denominator part of the fraction (optional for partial fraction).",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "fractionLine": {
                        "@desc": "Marks the fraction line.",
                        "dataType": "will:math-structures/0.1/Separator",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "fractionType": {
                        "@desc": "Describes the type of fraction.",
                        "dataRange": "Normal,Slanted,Partial",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "numerator": {
                        "@desc": "Numerator part of the fraction. (optional for partial fraction)",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Group": {
                "@desc": "Group of elements.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "hasChild": {
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "isFinal": false,
                        "isOrdered": true,
                        "maxCardinality": -1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/MathBlock": {
                "@desc": "Defines a math block which groups math statements.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "hasChild": {
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    }
                },
                "subclassOf": "will:seg/0.3/MathBlock"
            },
            "will:math-structures/0.1/MathItem": {
                "@desc": "Overwrite math item (`MathItem`), which removes debug information.",
                "isAbstract": true,
                "isFinal": false,
                "properties": {
                    "hasASCIIMath": {
                        "@desc": "An ASCII Math expression representing the current math sub-structure.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "hasChild": {
                        "dataType": "will:uim/1.1/StrokeNode",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "hasEntityLabel": {
                        "@desc": "Reserved for debug purposes.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "hasEntityType": {
                        "@desc": "Reserved for debug purposes.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "hasLatex": {
                        "@desc": "A latex expression representing the current math sub-structure.",
                        "dataType": "@latex",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "hasMathML": {
                        "@desc": "A MathML expression representing the current math sub-structure.",
                        "dataType": "@mathml",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "isBaseEntity": {
                        "@desc": "Reserved for debug purposes.",
                        "dataType": "@bool",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "isStructuralEntity": {
                        "@desc": "Reserved for debug purposes.",
                        "dataType": "@bool",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    }
                },
                "subclassOf": "will:seg/0.3/MathItem"
            },
            "will:math-structures/0.1/MathItemGroup": {
                "@desc": "Overwritten a math item group, which removes debug information.",
                "isAbstract": true,
                "isFinal": false,
                "properties": {
                    "hasChild": {
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "hasEntityLabel": {
                        "@desc": "Reserved for debug purposes.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "hasEntityType": {
                        "@desc": "Reserved for debug purposes.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "isBaseEntity": {
                        "@desc": "Reserved for debug purposes.",
                        "dataType": "@bool",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "isStructuralEntity": {
                        "@desc": "Reserved for debug purposes.",
                        "dataType": "@bool",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    }
                },
                "subclassOf": "will:seg/0.3/MathItemGroup"
            },
            "will:math-structures/0.1/MathematicalTerm": {
                "@desc": "Mathematical term, such as sin, cos, log, min, max, inf, etc..",
                "isAbstract": false,
                "isFinal": true,
                "properties": {
                    "representation": {
                        "@desc": "Contains the representation of the mathematical term.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItem"
            },
            "will:math-structures/0.1/Matrix": {
                "@desc": "Matrix expression, which consists of multiple rows.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "closingBracket": {
                        "@desc": "Symbol used for closing bracket, e.g., `)`, `]`, or `}`.",
                        "dataType": "will:math-structures/0.1/Symbol",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "matrixType": {
                        "@desc": "Defines the type of matrix.",
                        "dataRange": "Matrix,Vector,Binomial",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "openingBracket": {
                        "@desc": "Symbol used for opening bracket, e.g., ( or [.",
                        "dataType": "will:math-structures/0.1/Symbol",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "rows": {
                        "@desc": "Rows of the matrix.",
                        "dataType": "will:math-structures/0.1/RowList",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "isOrdered": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Number": {
                "@desc": "Defines a number as digits with separator (decimal or thousands separator).",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "hasChild": {
                        "dataType": "will:math-structures/0.1/Digit,will:math-structures/0.1/Separator,will:math-structures/0.1/Symbol,will:math-structures/0.1/NumberItem,will:math-structures/0.1/Fraction",
                        "isFinal": false,
                        "isOrdered": true,
                        "maxCardinality": -1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/NumberItem": {
                "@desc": "Combining several digits.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "representation": {
                        "@desc": "Contains the numerical representation of the several digits digit.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItem"
            },
            "will:math-structures/0.1/Operation": {
                "@desc": "An operation is a function which takes zero or more input values (also called \u0027operands\u0027) to a well-defined output value. The number of operands is the arity of the operation.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "operationType": {
                        "@desc": "Defines the type of the operation.",
                        "dataRange": "Vertical,Horizontal",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/OperatorSymbol": {
                "@desc": "Operator symbol.",
                "isAbstract": false,
                "isFinal": true,
                "properties": {
                    "representation": {
                        "@desc": "Contains the representation of the mathematical term.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/Symbol"
            },
            "will:math-structures/0.1/OverScript": {
                "@desc": "Defines an over-script expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "@desc": "Base expression.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "overScript": {
                        "@desc": "Overscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/PreSubScript": {
                "@desc": "Defines a pre-subscript expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "@desc": "Base expression.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "preSubScript": {
                        "@desc": "Pre-subscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/PreSubSuperScript": {
                "@desc": "Defines a pre-sub-/subscript expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "@desc": "Base expression.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "preSubScript": {
                        "@desc": "Pre-Subscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "preSuperScript": {
                        "@desc": "Pre-Superscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/PreSuperScript": {
                "@desc": "Defines a pre-superscript expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "@desc": "Base expression.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "preSuperScript": {
                        "@desc": "Pre-superscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Radical": {
                "@desc": "Defines a radical.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "index": {
                        "@desc": "Describes the index of the radical.",
                        "dataType": "will:math-structures/0.1/Symbol,will:math-structures/0.1/Number,will:math-structures/0.1/Fraction,will:math-structures/0.1/Operation",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    },
                    "radicalSymbol": {
                        "dataType": "will:math-structures/0.1/Symbol",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "radicand": {
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Relation": {
                "@desc": "A n-ary relation is a general concept that defines some relation between the elements of two sets.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {},
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/RelationSymbol": {
                "@desc": "Relation symbol",
                "isAbstract": false,
                "isFinal": true,
                "properties": {
                    "representation": {
                        "@desc": "Contains the representation of the mathematical term.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/Symbol"
            },
            "will:math-structures/0.1/Row": {
                "@desc": "Row of a matrix structure.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "hasChild": {
                        "@desc": "Represents the content a cell within a matrix.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "isOrdered": true,
                        "maxCardinality": -1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/RowList": {
                "@desc": "List of rows.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "hasChild": {
                        "dataType": "will:math-structures/0.1/Row",
                        "isFinal": false,
                        "isOrdered": true,
                        "maxCardinality": -1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Separator": {
                "@desc": "Defines a separator.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "representation": {
                        "@desc": "Contains the separator symbol.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "separatorType": {
                        "@desc": "Defines the type of the separator.",
                        "dataRange": "thousand-separator,decimal-separator,separator,fraction-line,segmentation-line",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/Symbol"
            },
            "will:math-structures/0.1/SubSuperScript": {
                "@desc": "Defines a sub-/subscript expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "@desc": "Base expression.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "subScript": {
                        "@desc": "Subscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "superScript": {
                        "@desc": "Superscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Subscript": {
                "@desc": "Defines a subscript expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "@desc": "Base expression.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "subScript": {
                        "@desc": "Subscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Superscript": {
                "@desc": "Defines a superscript expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "@desc": "Base expression.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "superScript": {
                        "@desc": "Superscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Symbol": {
                "@desc": "Mathematical symbols (including operators).",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "representation": {
                        "@desc": "Contains the representation of the symbol.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "symbolType": {
                        "@desc": "Defines the type of the symbol.",
                        "dataRange": "Identifier,Function,Numerical,Mathematical Constant,Bracket,Separator,Sign",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItem"
            },
            "will:math-structures/0.1/System": {
                "@desc": "Defines a system of equations.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "expressions": {
                        "dataType": "will:math-structures/0.1/ExpressionList",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "openingBracket": {
                        "@desc": "Symbol used for opening bracket, e.g., `(`, `[`, or `{`.",
                        "dataType": "will:math-structures/0.1/Symbol",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 0
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/UnderOverScript": {
                "@desc": "Defines a over- / under-script expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "@desc": "Base expression.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "overScript": {
                        "@desc": "Overscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "underScript": {
                        "@desc": "Underscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/UnderScript": {
                "@desc": "Defines a under-script expression.",
                "isAbstract": false,
                "isFinal": false,
                "properties": {
                    "body": {
                        "@desc": "Base expression.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    },
                    "hasChild": {
                        "dataType": "",
                        "isFinal": false,
                        "maxCardinality": 0,
                        "minCardinality": 0
                    },
                    "underScript": {
                        "@desc": "Underscript expression / term.",
                        "dataType": "will:math-structures/0.1/MathItemGroup,will:math-structures/0.1/MathItem",
                        "inverseOf": "hasParent",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItemGroup"
            },
            "will:math-structures/0.1/Unit": {
                "@desc": "International convention units (weight, length, frequency, luminosity, dosage, pressure, etc.).",
                "isAbstract": false,
                "isFinal": true,
                "properties": {
                    "representation": {
                        "@desc": "Contains the representation of the mathematical term.",
                        "dataType": "@string",
                        "isFinal": false,
                        "maxCardinality": 1,
                        "minCardinality": 1
                    }
                },
                "subclassOf": "will:math-structures/0.1/MathItem"
            }
        },
        "extensions": {}
    },
    "head": {
        "classUriTemplate": "will:math-structures/0.1/[class]",
        "description": "Math structures segmentation schema.",
        "includes": [
            {
                "namespace": "seg",
                "schema": "will:seg/0.3"
            },
            {
                "namespace": "u",
                "schema": "will:uim/1.1"
            }
        ],
        "propertyUriTemplate": "will:math-structures/0.1/[class]#[property]",
        "uri": "will:math-structures/0.1",
        "version": "0.1"
    }
}