ISO5087-1:ConjunctiveState - Revision history

Megankatsumi: Text replacement - "DisjunctiveState" to "ISO5087-1:DisjunctiveState"

2022-12-19T13:54:21Z

Text replacement - "DisjunctiveState" to "ISO5087-1:DisjunctiveState"

← Older revision		Revision as of 13:54, 19 December 2022
Line 10:		Line 10:
	\|Manchester Row={{Manchester Row		\|Manchester Row={{Manchester Row
	\|Property=disjointWith		\|Property=disjointWith
	\|Value=DisjunctiveState		\|Value=ISO5087-1:DisjunctiveState
	}}		}}
	}}		}}

Megankatsumi: Megankatsumi moved page 5087-1:ConjunctiveState to ISO5087-1:ConjunctiveState: Text replacement - "5087-1:ConjunctiveState" to "ISO5087-1:ConjunctiveState"

2022-12-16T04:51:02Z

Megankatsumi moved page 5087-1:ConjunctiveState to ISO5087-1:ConjunctiveState: Text replacement - "5087-1:ConjunctiveState" to "ISO5087-1:ConjunctiveState"

← Older revision		Revision as of 04:51, 16 December 2022
(No difference)

Megankatsumi: Megankatsumi moved page ConjunctiveState to 5087-1:ConjunctiveState: Text replacement - "ConjunctiveState" to "5087-1:ConjunctiveState"

2022-11-16T20:49:37Z

Megankatsumi moved page ConjunctiveState to 5087-1:ConjunctiveState: Text replacement - "ConjunctiveState" to "5087-1:ConjunctiveState"

← Older revision		Revision as of 20:49, 16 November 2022
(No difference)

Xuanni1 at 21:54, 3 July 2021

2021-07-03T21:54:59Z

← Older revision		Revision as of 21:54, 3 July 2021
Line 15:		Line 15:
	{{Supplementary Figures		{{Supplementary Figures
	\|Figure Row={{Figure Row		\|Figure Row={{Figure Row
	\|Figure=Act-1.png,		\|Figure=Act-1.png
	\|Caption=Figure 1: A generic activity cluster.		\|Caption=Figure 1: A generic activity cluster.
	}}{{Figure Row		}}{{Figure Row
	\|Figure=Act-2.png,		\|Figure=Act-2.png
	\|Caption=Figure 2: Example use of the Activity Ontology.		\|Caption=Figure 2: Example use of the Activity Ontology.
	}}		}}
	}}		}}

Xuanni1 at 21:03, 3 July 2021

2021-07-03T21:03:58Z

← Older revision		Revision as of 21:03, 3 July 2021
Line 1:		Line 1:
	{{Class Definition		{{Class Definition
	\|Description=A conjunctive state is a type of NonTerminalState that is defined by the conjunction of its child states.		\|Description=A conjunctive state is a type of NonTerminalState that is defined by the conjunction of its child states.
			\|Class Diagram Description=An activity cluster provides a basic structure for representing activity specifications. Illustrated in Figure 1, it consists of an activity connected to an enabling and caused state, each of which may be a state tree that defines complex states via decomposition into conjunctions and disjunctions of states.

			Figure 2 illustrates the use of the Activity Ontology to describe a class of objects that should be identified as “Drive to Work” activities, where the effect of such an activity is a Conjunctive state. The conjunctive state is decomposed into two terminal states, meaning that it should be interpreted as a state where both sub-states (DriverAtWork and CarAtWork) are true.
	\|Definition Status=Pending Approval		\|Definition Status=Pending Approval
	}}		}}
Line 10:		Line 13:
	}}		}}
	}}		}}
	{{Supplementary Figures}}		{{Supplementary Figures
			\|Figure Row={{Figure Row
			\|Figure=Act-1.png,
			\|Caption=Figure 1: A generic activity cluster.
			}}{{Figure Row
			\|Figure=Act-2.png,
			\|Caption=Figure 2: Example use of the Activity Ontology.
			}}
			}}

Xuanni1: Created page with "{{Class Definition |Description=A conjunctive state is a type of NonTerminalState that is defined by the conjunction of its child states. |Definition Status=Pending Approval }..."

2021-06-25T21:23:38Z

Created page with "{{Class Definition |Description=A conjunctive state is a type of NonTerminalState that is defined by the conjunction of its child states. |Definition Status=Pending Approval }..."

New page

{{Class Definition
|Description=A conjunctive state is a type of NonTerminalState that is defined by the conjunction of its child states.
|Definition Status=Pending Approval
}}
{{Annotation Specification}}
{{Manchester Specification
|Manchester Row={{Manchester Row
|Property=disjointWith
|Value=DisjunctiveState
}}
}}
{{Supplementary Figures}}