Vultron Process Model Ontology
This page is not normative
This page is not considered a core part of the Vultron Protocol as proposed in the main documentation. Although within the page we might provide guidance in terms of SHOULD, MUST, etc., the content here is not normative.
We have developed a non-normative ontology to
describe the individual Vultron process models. The ontology is available in
the ontology
directory.
Markdown Ontology Documentation is Incomplete
While we have generated some markdown documentation based on the raw ontology files, the files themselves contain considerably more detail and structure than the markdown documentation.
Classes
ActiveEmbargoState
An EmbargoManagementState in which an embargo is currently active. An EmbargoManagementState in which an embargo is currently active.
Attribute | Value |
---|---|
Name | ActiveEmbargoState |
IRI | http://www.cert.org/ns/vultron_process#ActiveEmbargoState |
Description | An EmbargoManagementState in which an embargo is currently active. An EmbargoManagementState in which an embargo is currently active. |
Equivalent To | vultron_process.EmActiveState or vultron_process.EmReviseState None |
Superclasses | vultron_process.EmCompoundState |
Subclasses | vultron_process.EmReviseState vultron_process.EmActiveState |
AttackObservationTransition
Attribute | Value |
---|---|
Name | AttackObservationTransition |
IRI | http://www.cert.org/ns/vultron_process#AttackObservationTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.CsNoAttacksObservedState) & deterministicfiniteautomata.onSymbol.some(vultron_process.CsASymbol) & deterministicfiniteautomata.toState.some(vultron_process.CsAttacksObservedState) None |
Superclasses | vultron_process.CsTransition |
CaseState
A Vultron Case State A Vultron Case State
Attribute | Value |
---|---|
Name | CaseState |
IRI | http://www.cert.org/ns/vultron_process#CaseState |
Description | A Vultron Case State A Vultron Case State |
Superclasses | deterministicfiniteautomata.State |
Subclasses | vultron_process.CsInitialState vultron_process.CsParticipantAgnosticState vultron_process.CsPublicAwarenessExploitAttacksState vultron_process.CsSubstate vultron_process.CsVendorFixPathState vultron_process.CsSimpleState vultron_process.CsParticipantSpecificState vultron_process.CsFinalState |
CaseStateProcess
A VultronProcess describing the case state process model A VultronProcess describing the case state process model
Attribute | Value |
---|---|
Name | CaseStateProcess |
IRI | http://www.cert.org/ns/vultron_process#CaseStateProcess |
Description | A VultronProcess describing the case state process model A VultronProcess describing the case state process model |
Equivalent To | deterministicfiniteautomata.DeterministicFiniteAutomata & deterministicfiniteautomata.hasFinalState.some(vultron_process.CsVFDPXAState) & deterministicfiniteautomata.hasInputSymbol.some(vultron_process.CaseStateSymbol) & deterministicfiniteautomata.hasStartState.some(vultron_process.CsvfdpxaState) & deterministicfiniteautomata.hasState.some(vultron_process.CsSimpleState) & deterministicfiniteautomata.hasTransition.some(vultron_process.CsTransition) & deterministicfiniteautomata.hasFinalState.only(vultron_process.CsVFDPXAState) & deterministicfiniteautomata.hasInputSymbol.only(vultron_process.CaseStateSymbol) & deterministicfiniteautomata.hasStartState.only(vultron_process.CsvfdpxaState) & deterministicfiniteautomata.hasState.only(vultron_process.CsSimpleState) & deterministicfiniteautomata.hasTransition.only(vultron_process.CsTransition) None |
Superclasses | vultron_process.ProcessModel |
CaseStateSymbol
Attribute | Value |
---|---|
Name | CaseStateSymbol |
IRI | http://www.cert.org/ns/vultron_process#CaseStateSymbol |
Description | |
Superclasses | deterministicfiniteautomata.Symbol |
Subclasses | vultron_process.CsXSymbol vultron_process.CsDSymbol vultron_process.CsFSymbol vultron_process.CsPSymbol vultron_process.CsVSymbol vultron_process.CsASymbol vultron_protocol.MsgTypeAckableCs |
CsASymbol
Attribute | Value |
---|---|
Name | CsASymbol |
IRI | http://www.cert.org/ns/vultron_process#CsASymbol |
Description | |
Superclasses | vultron_process.CaseStateSymbol |
Subclasses | vultron_protocol.MsgTypeCA |
CsAttacksObservedState
CaseState in which attacks have been observed CaseState in which attacks have been observed
Attribute | Value |
---|---|
Name | CsAttacksObservedState |
IRI | http://www.cert.org/ns/vultron_process#CsAttacksObservedState |
Description | CaseState in which attacks have been observed CaseState in which attacks have been observed |
Superclasses | vultron_process.CsParticipantAgnosticState vultron_process.CsSubstate |
CsDSymbol
Attribute | Value |
---|---|
Name | CsDSymbol |
IRI | http://www.cert.org/ns/vultron_process#CsDSymbol |
Description | |
Superclasses | vultron_process.CaseStateSymbol |
Subclasses | vultron_protocol.MsgTypeCD |
CsFSymbol
Attribute | Value |
---|---|
Name | CsFSymbol |
IRI | http://www.cert.org/ns/vultron_process#CsFSymbol |
Description | |
Superclasses | vultron_process.CaseStateSymbol |
Subclasses | vultron_protocol.MsgTypeCF |
CsFinalState
Attribute | Value |
---|---|
Name | CsFinalState |
IRI | http://www.cert.org/ns/vultron_process#CsFinalState |
Description | |
Equivalent To | vultron_process.CsSimpleState & deterministicfiniteautomata.isFinalStateOf.some(vultron_process.CaseStateProcess) None |
Superclasses | vultron_process.CaseState |
CsFixDeployedState
CaseState in which a fix has been deployed CaseState in which a fix has been deployed
Attribute | Value |
---|---|
Name | CsFixDeployedState |
IRI | http://www.cert.org/ns/vultron_process#CsFixDeployedState |
Description | CaseState in which a fix has been deployed CaseState in which a fix has been deployed |
Superclasses | vultron_process.CsParticipantSpecificState vultron_process.CsSubstate |
Subclasses | vultron_process.FixDeployedState vultron_process.CsVFDState |
CsFixNotDeployedState
CaseState in which no fix has been deployed CaseState in which no fix has been deployed
Attribute | Value |
---|---|
Name | CsFixNotDeployedState |
IRI | http://www.cert.org/ns/vultron_process#CsFixNotDeployedState |
Description | CaseState in which no fix has been deployed CaseState in which no fix has been deployed |
Superclasses | vultron_process.CsParticipantSpecificState vultron_process.CsSubstate |
Subclasses | vultron_process.IgnorantVendorState vultron_process.CsVFdState vultron_process.CsvfdState |
CsFixNotReadyState
CaseState in which no fix is ready CaseState in which no fix is ready
Attribute | Value |
---|---|
Name | CsFixNotReadyState |
IRI | http://www.cert.org/ns/vultron_process#CsFixNotReadyState |
Description | CaseState in which no fix is ready CaseState in which no fix is ready |
Superclasses | vultron_process.CsParticipantSpecificState vultron_process.CsSubstate |
Subclasses | vultron_process.IgnorantVendorState vultron_process.CsvfdState |
CsFixReadyState
CaseState in which a fix is ready CaseState in which a fix is ready
Attribute | Value |
---|---|
Name | CsFixReadyState |
IRI | http://www.cert.org/ns/vultron_process#CsFixReadyState |
Description | CaseState in which a fix is ready CaseState in which a fix is ready |
Superclasses | vultron_process.CsParticipantSpecificState vultron_process.CsSubstate |
CsInitialState
Attribute | Value |
---|---|
Name | CsInitialState |
IRI | http://www.cert.org/ns/vultron_process#CsInitialState |
Description | |
Superclasses | vultron_process.CaseState |
CsNoAttacksObservedState
CaseState in which no attacks have been observed CaseState in which no attacks have been observed
Attribute | Value |
---|---|
Name | CsNoAttacksObservedState |
IRI | http://www.cert.org/ns/vultron_process#CsNoAttacksObservedState |
Description | CaseState in which no attacks have been observed CaseState in which no attacks have been observed |
Superclasses | vultron_process.CsParticipantAgnosticState vultron_process.CsSubstate |
CsNoPublicExploitState
CaseState in which no exploits have been made public CaseState in which no exploits have been made public
Attribute | Value |
---|---|
Name | CsNoPublicExploitState |
IRI | http://www.cert.org/ns/vultron_process#CsNoPublicExploitState |
Description | CaseState in which no exploits have been made public CaseState in which no exploits have been made public |
Superclasses | vultron_process.CsParticipantAgnosticState vultron_process.CsSubstate |
CsPSymbol
Attribute | Value |
---|---|
Name | CsPSymbol |
IRI | http://www.cert.org/ns/vultron_process#CsPSymbol |
Description | |
Superclasses | vultron_process.CaseStateSymbol |
Subclasses | vultron_protocol.MsgTypeCP |
CsPXAState
Attribute | Value |
---|---|
Name | CsPXAState |
IRI | http://www.cert.org/ns/vultron_process#CsPXAState |
Description | |
Equivalent To | vultron_process.CsAttacksObservedState & vultron_process.CsPublicAwareState & vultron_process.CsPublicExploitState None |
Superclasses | vultron_process.CsPublicAwarenessExploitAttacksState |
Subclasses | vultron_process.CsVFdPXAState vultron_process.CsVFDPXAState vultron_process.CsVfdPXAState vultron_process.CsvfdPXAState |
CsPXaState
Attribute | Value |
---|---|
Name | CsPXaState |
IRI | http://www.cert.org/ns/vultron_process#CsPXaState |
Description | |
Equivalent To | vultron_process.CsNoAttacksObservedState & vultron_process.CsPublicAwareState & vultron_process.CsPublicExploitState None |
Superclasses | vultron_process.CsPublicAwarenessExploitAttacksState |
Subclasses | vultron_process.CsVFdPXaState vultron_process.CsvfdPXaState vultron_process.CsVFDPXaState vultron_process.CsVfdPXaState |
CsParticipantAgnosticState
Attribute | Value |
---|---|
Name | CsParticipantAgnosticState |
IRI | http://www.cert.org/ns/vultron_process#CsParticipantAgnosticState |
Description | |
Superclasses | vultron_process.CaseState vultron_process.ParticipantAgnosticState |
Subclasses | vultron_process.CsPublicUnawareState vultron_process.CsPublicAwareState vultron_process.CsPublicExploitState vultron_process.CsNoAttacksObservedState vultron_process.CsNoPublicExploitState vultron_process.CsAttacksObservedState |
CsParticipantSpecificState
Attribute | Value |
---|---|
Name | CsParticipantSpecificState |
IRI | http://www.cert.org/ns/vultron_process#CsParticipantSpecificState |
Description | |
Superclasses | vultron_process.CaseState vultron_process.ParticipantSpecificState |
Subclasses | vultron_process.CsVendorAwareState vultron_process.CsFixReadyState vultron_process.CsFixNotReadyState vultron_process.CsVendorUnawareState vultron_process.CsFixNotDeployedState vultron_process.CsFixDeployedState |
CsPublicAwareState
CaseState in which the public is aware of the vulnerability CaseState in which the public is aware of the vulnerability
Attribute | Value |
---|---|
Name | CsPublicAwareState |
IRI | http://www.cert.org/ns/vultron_process#CsPublicAwareState |
Description | CaseState in which the public is aware of the vulnerability CaseState in which the public is aware of the vulnerability |
Superclasses | vultron_process.CsParticipantAgnosticState vultron_process.CsSubstate |
CsPublicAwarenessExploitAttacksState
Organizes states according to Public Awareness Exploit Public and Attack Observation status Organizes states according to Public Awareness Exploit Public and Attack Observation status
Attribute | Value |
---|---|
Name | CsPublicAwarenessExploitAttacksState |
IRI | http://www.cert.org/ns/vultron_process#CsPublicAwarenessExploitAttacksState |
Description | Organizes states according to Public Awareness Exploit Public and Attack Observation status Organizes states according to Public Awareness Exploit Public and Attack Observation status |
Superclasses | vultron_process.CaseState |
Subclasses | vultron_process.CspXAState vultron_process.CsPxaState vultron_process.CsPXAState vultron_process.CspXaState vultron_process.CspxaState vultron_process.CsPxAState vultron_process.CspxAState vultron_process.CsPXaState |
CsPublicExploitState
CaseState in which there is a public exploit for the vulnerability. Subclass of CsPublicAwareState because a public exploit implies public awareness of the vulnerability. CaseState in which there is a public exploit for the vulnerability. Subclass of CsPublicAwareState because a public exploit implies public awareness of the vulnerability.
Attribute | Value |
---|---|
Name | CsPublicExploitState |
IRI | http://www.cert.org/ns/vultron_process#CsPublicExploitState |
Description | CaseState in which there is a public exploit for the vulnerability. Subclass of CsPublicAwareState because a public exploit implies public awareness of the vulnerability. CaseState in which there is a public exploit for the vulnerability. Subclass of CsPublicAwareState because a public exploit implies public awareness of the vulnerability. |
Superclasses | vultron_process.CsParticipantAgnosticState vultron_process.CsSubstate |
CsPublicUnawareState
CaseState in which the public is not aware of the vulnerability. Subclass of CsNoPublicExploitState because public unaware requires there to be no public exploit as well. See CsPublicExploitState for the opposite. CaseState in which the public is not aware of the vulnerability. Subclass of CsNoPublicExploitState because public unaware requires there to be no public exploit as well. See CsPublicExploitState for the opposite.
Attribute | Value |
---|---|
Name | CsPublicUnawareState |
IRI | http://www.cert.org/ns/vultron_process#CsPublicUnawareState |
Description | CaseState in which the public is not aware of the vulnerability. Subclass of CsNoPublicExploitState because public unaware requires there to be no public exploit as well. See CsPublicExploitState for the opposite. CaseState in which the public is not aware of the vulnerability. Subclass of CsNoPublicExploitState because public unaware requires there to be no public exploit as well. See CsPublicExploitState for the opposite. |
Superclasses | vultron_process.CsParticipantAgnosticState vultron_process.CsSubstate |
CsPxAState
Attribute | Value |
---|---|
Name | CsPxAState |
IRI | http://www.cert.org/ns/vultron_process#CsPxAState |
Description | |
Equivalent To | vultron_process.CsAttacksObservedState & vultron_process.CsNoPublicExploitState & vultron_process.CsPublicAwareState None |
Superclasses | vultron_process.CsPublicAwarenessExploitAttacksState |
Subclasses | vultron_process.CsVFDPxAState vultron_process.CsVFdPxAState vultron_process.CsvfdPxAState vultron_process.CsVfdPxAState |
CsPxaState
Attribute | Value |
---|---|
Name | CsPxaState |
IRI | http://www.cert.org/ns/vultron_process#CsPxaState |
Description | |
Equivalent To | vultron_process.CsNoAttacksObservedState & vultron_process.CsNoPublicExploitState & vultron_process.CsPublicAwareState None |
Superclasses | vultron_process.CsPublicAwarenessExploitAttacksState |
Subclasses | vultron_process.CsVFDPxaState vultron_process.CsvfdPxaState vultron_process.CsVfdPxaState vultron_process.CsVFdPxaState |
CsSimpleState
Attribute | Value |
---|---|
Name | CsSimpleState |
IRI | http://www.cert.org/ns/vultron_process#CsSimpleState |
Description | |
Superclasses | vultron_process.CaseState |
Subclasses | vultron_process.CsVFDPXAState vultron_process.CsVfdPXaState vultron_process.CsVfdpxAState vultron_process.CsVfdpxaState vultron_process.CsVFDPXaState vultron_process.CsVFDPxAState vultron_process.CsVFDPxaState vultron_process.CsVFDpXaState vultron_process.CsVFdPXaState vultron_process.CsvfdpXaState vultron_process.CsvfdpxaState vultron_process.CsVfdpXaState vultron_process.CsVFDpxAState vultron_process.CsVfdpXAState vultron_process.CsvfdpXAState vultron_process.CsVFdPxaState vultron_process.CsVfdPxAState vultron_process.CsvfdPxAState vultron_process.CsvfdPxaState vultron_process.CsVfdPxaState vultron_process.CsvfdPXAState vultron_process.CsVfdPXAState vultron_process.CsvfdPXaState vultron_process.CsVFdPXAState vultron_process.CsVFdpxAState vultron_process.CsVFdpxaState vultron_process.CsVFdpXaState vultron_process.CsvfdpxAState vultron_process.CsVFdpXAState vultron_process.CsVFdPxAState vultron_process.CsVFDpxaState vultron_process.CsVFDpXAState |
CsSubstate
Attribute | Value |
---|---|
Name | CsSubstate |
IRI | http://www.cert.org/ns/vultron_process#CsSubstate |
Description | |
Superclasses | vultron_process.CaseState |
Subclasses | vultron_process.CsPublicUnawareState vultron_process.CsVendorAwareState vultron_process.CsFixReadyState vultron_process.CsPublicAwareState vultron_process.CsPublicExploitState vultron_process.CsNoPublicExploitState vultron_process.CsNoAttacksObservedState vultron_process.CsFixNotReadyState vultron_process.CsVendorUnawareState vultron_process.CsFixNotDeployedState vultron_process.CsFixDeployedState vultron_process.CsAttacksObservedState |
CsTransition
Attribute | Value |
---|---|
Name | CsTransition |
IRI | http://www.cert.org/ns/vultron_process#CsTransition |
Description | |
Equivalent To | deterministicfiniteautomata.Transition & deterministicfiniteautomata.fromState.some(vultron_process.CsSimpleState) & deterministicfiniteautomata.onSymbol.some(vultron_process.CaseStateSymbol) & deterministicfiniteautomata.toState.some(vultron_process.CsSimpleState) None |
Superclasses | deterministicfiniteautomata.Transition |
Subclasses | vultron_process.FixReadinessTransition vultron_process.FixDeploymentTransition vultron_process.PublicAwarenessTransition vultron_process.VendorAwarenessTransition vultron_process.ExploitPublicationTransition vultron_process.AttackObservationTransition |
CsVFDPXAState
Attribute | Value |
---|---|
Name | CsVFDPXAState |
IRI | http://www.cert.org/ns/vultron_process#CsVFDPXAState |
Description | |
Equivalent To | vultron_process.CsPXAState & vultron_process.CsVFDState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsPXAState vultron_process.FixDeployedState vultron_process.CsVFDState |
CsVFDPXaState
Attribute | Value |
---|---|
Name | CsVFDPXaState |
IRI | http://www.cert.org/ns/vultron_process#CsVFDPXaState |
Description | |
Equivalent To | vultron_process.CsPXaState & vultron_process.CsVFDState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsPXaState vultron_process.FixDeployedState vultron_process.CsVFDState |
CsVFDPxAState
Attribute | Value |
---|---|
Name | CsVFDPxAState |
IRI | http://www.cert.org/ns/vultron_process#CsVFDPxAState |
Description | |
Equivalent To | vultron_process.CsPxAState & vultron_process.CsVFDState None |
Superclasses | vultron_process.CsSimpleState vultron_process.FixDeployedState vultron_process.CsPxAState vultron_process.CsVFDState |
CsVFDPxaState
Attribute | Value |
---|---|
Name | CsVFDPxaState |
IRI | http://www.cert.org/ns/vultron_process#CsVFDPxaState |
Description | |
Equivalent To | vultron_process.CsPxaState & vultron_process.CsVFDState None |
Superclasses | vultron_process.CsSimpleState vultron_process.FixDeployedState vultron_process.CsPxaState vultron_process.CsVFDState |
CsVFDState
Attribute | Value |
---|---|
Name | CsVFDState |
IRI | http://www.cert.org/ns/vultron_process#CsVFDState |
Description | |
Equivalent To | vultron_process.FixDeployedState vultron_process.CsFixDeployedState & vultron_process.CsFixReadyState & vultron_process.CsVendorAwareState None |
Superclasses | vultron_process.CsFixDeployedState vultron_process.FixReadyState vultron_process.CsVendorFixPathState |
Subclasses | vultron_process.CsVFDPXAState vultron_process.CsVFDPXaState vultron_process.CsVFDPxAState vultron_process.CsVFDPxaState vultron_process.CsVFDpXaState vultron_process.CsVFDpxAState vultron_process.CsVFDpxaState vultron_process.CsVFDpXAState |
CsVFDpXAState
Attribute | Value |
---|---|
Name | CsVFDpXAState |
IRI | http://www.cert.org/ns/vultron_process#CsVFDpXAState |
Description | |
Equivalent To | vultron_process.CsVFDState & vultron_process.CspXAState None |
Superclasses | vultron_process.CsSimpleState vultron_process.FixDeployedState vultron_process.CspXAState vultron_process.CsVFDState |
CsVFDpXaState
Attribute | Value |
---|---|
Name | CsVFDpXaState |
IRI | http://www.cert.org/ns/vultron_process#CsVFDpXaState |
Description | |
Equivalent To | vultron_process.CsVFDState & vultron_process.CspXaState None |
Superclasses | vultron_process.CsSimpleState vultron_process.FixDeployedState vultron_process.CspXaState vultron_process.CsVFDState |
CsVFDpxAState
Attribute | Value |
---|---|
Name | CsVFDpxAState |
IRI | http://www.cert.org/ns/vultron_process#CsVFDpxAState |
Description | |
Equivalent To | vultron_process.CsVFDState & vultron_process.CspxAState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CspxAState vultron_process.FixDeployedState vultron_process.CsVFDState |
CsVFDpxaState
Attribute | Value |
---|---|
Name | CsVFDpxaState |
IRI | http://www.cert.org/ns/vultron_process#CsVFDpxaState |
Description | |
Equivalent To | vultron_process.CsVFDState & vultron_process.CspxaState None |
Superclasses | vultron_process.CsSimpleState vultron_process.FixDeployedState vultron_process.CspxaState vultron_process.CsVFDState |
CsVFdPXAState
Attribute | Value |
---|---|
Name | CsVFdPXAState |
IRI | http://www.cert.org/ns/vultron_process#CsVFdPXAState |
Description | |
Equivalent To | vultron_process.CsPXAState & vultron_process.CsVFdState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsPXAState vultron_process.CsVFdState |
CsVFdPXaState
Attribute | Value |
---|---|
Name | CsVFdPXaState |
IRI | http://www.cert.org/ns/vultron_process#CsVFdPXaState |
Description | |
Equivalent To | vultron_process.CsPXaState & vultron_process.CsVFdState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsVFdState vultron_process.CsPXaState |
CsVFdPxAState
Attribute | Value |
---|---|
Name | CsVFdPxAState |
IRI | http://www.cert.org/ns/vultron_process#CsVFdPxAState |
Description | |
Equivalent To | vultron_process.CsPxAState & vultron_process.CsVFdState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsVFdState vultron_process.CsPxAState |
CsVFdPxaState
Attribute | Value |
---|---|
Name | CsVFdPxaState |
IRI | http://www.cert.org/ns/vultron_process#CsVFdPxaState |
Description | |
Equivalent To | vultron_process.CsPxaState & vultron_process.CsVFdState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsVFdState vultron_process.CsPxaState |
CsVFdState
Attribute | Value |
---|---|
Name | CsVFdState |
IRI | http://www.cert.org/ns/vultron_process#CsVFdState |
Description | |
Equivalent To | vultron_process.CsFixNotDeployedState & vultron_process.CsFixReadyState & vultron_process.CsVendorAwareState None |
Superclasses | vultron_process.FixReadyState vultron_process.CsVendorFixPathState vultron_process.CsFixNotDeployedState |
Subclasses | vultron_process.CsVFdPXAState vultron_process.CsVFdPXaState vultron_process.CsVFdpxAState vultron_process.CsVFdpxaState vultron_process.CsVFdpXaState vultron_process.CsVFdpXAState vultron_process.CsVFdPxAState vultron_process.CsVFdPxaState |
CsVFdpXAState
Attribute | Value |
---|---|
Name | CsVFdpXAState |
IRI | http://www.cert.org/ns/vultron_process#CsVFdpXAState |
Description | |
Equivalent To | vultron_process.CsVFdState & vultron_process.CspXAState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsVFdState vultron_process.CspXAState |
CsVFdpXaState
Attribute | Value |
---|---|
Name | CsVFdpXaState |
IRI | http://www.cert.org/ns/vultron_process#CsVFdpXaState |
Description | |
Equivalent To | vultron_process.CsVFdState & vultron_process.CspXaState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsVFdState vultron_process.CspXaState |
CsVFdpxAState
Attribute | Value |
---|---|
Name | CsVFdpxAState |
IRI | http://www.cert.org/ns/vultron_process#CsVFdpxAState |
Description | |
Equivalent To | vultron_process.CsVFdState & vultron_process.CspxAState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsVFdState vultron_process.CspxAState |
CsVFdpxaState
Attribute | Value |
---|---|
Name | CsVFdpxaState |
IRI | http://www.cert.org/ns/vultron_process#CsVFdpxaState |
Description | |
Equivalent To | vultron_process.CsVFdState & vultron_process.CspxaState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsVFdState vultron_process.CspxaState |
CsVSymbol
Attribute | Value |
---|---|
Name | CsVSymbol |
IRI | http://www.cert.org/ns/vultron_process#CsVSymbol |
Description | |
Superclasses | vultron_process.CaseStateSymbol |
Subclasses | vultron_protocol.MsgTypeCV |
CsVendorAwareState
Attribute | Value |
---|---|
Name | CsVendorAwareState |
IRI | http://www.cert.org/ns/vultron_process#CsVendorAwareState |
Description | |
Superclasses | vultron_process.CsParticipantSpecificState vultron_process.CsSubstate |
CsVendorFixPathState
Organizes Case States along the vendor fix path Organizes Case States along the vendor fix path
Attribute | Value |
---|---|
Name | CsVendorFixPathState |
IRI | http://www.cert.org/ns/vultron_process#CsVendorFixPathState |
Description | Organizes Case States along the vendor fix path Organizes Case States along the vendor fix path |
Superclasses | vultron_process.CaseState |
Subclasses | vultron_process.IgnorantVendorState vultron_process.CsvfdState vultron_process.CsVFDState vultron_process.CsVfdState vultron_process.CsVFdState vultron_process.VendorAwareState |
CsVendorUnawareState
Attribute | Value |
---|---|
Name | CsVendorUnawareState |
IRI | http://www.cert.org/ns/vultron_process#CsVendorUnawareState |
Description | |
Superclasses | vultron_process.CsParticipantSpecificState vultron_process.CsSubstate |
Subclasses | vultron_process.IgnorantVendorState vultron_process.CsvfdState |
CsVfdPXAState
Attribute | Value |
---|---|
Name | CsVfdPXAState |
IRI | http://www.cert.org/ns/vultron_process#CsVfdPXAState |
Description | |
Equivalent To | vultron_process.CsPXAState & vultron_process.CsVfdState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsPXAState vultron_process.CsVfdState |
CsVfdPXaState
Attribute | Value |
---|---|
Name | CsVfdPXaState |
IRI | http://www.cert.org/ns/vultron_process#CsVfdPXaState |
Description | |
Equivalent To | vultron_process.CsPXaState & vultron_process.CsVfdState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsPXaState vultron_process.CsVfdState |
CsVfdPxAState
Attribute | Value |
---|---|
Name | CsVfdPxAState |
IRI | http://www.cert.org/ns/vultron_process#CsVfdPxAState |
Description | |
Equivalent To | vultron_process.CsPxAState & vultron_process.CsVfdState None |
Superclasses | vultron_process.CsVfdState vultron_process.CsSimpleState vultron_process.CsPxAState |
CsVfdPxaState
Attribute | Value |
---|---|
Name | CsVfdPxaState |
IRI | http://www.cert.org/ns/vultron_process#CsVfdPxaState |
Description | |
Equivalent To | vultron_process.CsPxaState & vultron_process.CsVfdState None |
Superclasses | vultron_process.CsVfdState vultron_process.CsSimpleState vultron_process.CsPxaState |
CsVfdState
Attribute | Value |
---|---|
Name | CsVfdState |
IRI | http://www.cert.org/ns/vultron_process#CsVfdState |
Description | |
Equivalent To | vultron_process.CsFixNotDeployedState & vultron_process.CsFixNotReadyState & vultron_process.CsVendorAwareState None |
Superclasses | vultron_process.CsVendorFixPathState |
Subclasses | vultron_process.CsVfdpXAState vultron_process.CsVfdPxAState vultron_process.CsVfdPXaState vultron_process.CsVfdpxaState vultron_process.CsVfdpXaState vultron_process.CsVfdPxaState vultron_process.CsVfdPXAState vultron_process.CsVfdpxAState |
CsVfdpXAState
Attribute | Value |
---|---|
Name | CsVfdpXAState |
IRI | http://www.cert.org/ns/vultron_process#CsVfdpXAState |
Description | |
Equivalent To | vultron_process.CsVfdState & vultron_process.CspXAState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CspXAState vultron_process.CsVfdState |
CsVfdpXaState
Attribute | Value |
---|---|
Name | CsVfdpXaState |
IRI | http://www.cert.org/ns/vultron_process#CsVfdpXaState |
Description | |
Equivalent To | vultron_process.CsVfdState & vultron_process.CspXaState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CspXaState vultron_process.CsVfdState |
CsVfdpxAState
Attribute | Value |
---|---|
Name | CsVfdpxAState |
IRI | http://www.cert.org/ns/vultron_process#CsVfdpxAState |
Description | |
Equivalent To | vultron_process.CsVfdState & vultron_process.CspxAState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CsVfdState vultron_process.CspxAState |
CsVfdpxaState
Attribute | Value |
---|---|
Name | CsVfdpxaState |
IRI | http://www.cert.org/ns/vultron_process#CsVfdpxaState |
Description | |
Equivalent To | vultron_process.CsVfdState & vultron_process.CspxaState None |
Superclasses | vultron_process.CsSimpleState vultron_process.CspxaState vultron_process.CsVfdState |
CsXSymbol
Attribute | Value |
---|---|
Name | CsXSymbol |
IRI | http://www.cert.org/ns/vultron_process#CsXSymbol |
Description | |
Superclasses | vultron_process.CaseStateSymbol |
Subclasses | vultron_protocol.MsgTypeCX |
CspXAState
Attribute | Value |
---|---|
Name | CspXAState |
IRI | http://www.cert.org/ns/vultron_process#CspXAState |
Description | |
Equivalent To | vultron_process.CsAttacksObservedState & vultron_process.CsPublicExploitState & vultron_process.CsPublicUnawareState None |
Superclasses | vultron_process.CsPublicAwarenessExploitAttacksState |
Subclasses | vultron_process.CsVfdpXAState vultron_process.CsvfdpXAState vultron_process.CsVFdpXAState vultron_process.CsVFDpXAState |
CspXaState
Attribute | Value |
---|---|
Name | CspXaState |
IRI | http://www.cert.org/ns/vultron_process#CspXaState |
Description | |
Equivalent To | vultron_process.CsNoAttacksObservedState & vultron_process.CsPublicExploitState & vultron_process.CsPublicUnawareState None |
Superclasses | vultron_process.CsPublicAwarenessExploitAttacksState |
Subclasses | vultron_process.CsvfdpXaState vultron_process.CsVfdpXaState vultron_process.CsVFDpXaState vultron_process.CsVFdpXaState |
CspxAState
Attribute | Value |
---|---|
Name | CspxAState |
IRI | http://www.cert.org/ns/vultron_process#CspxAState |
Description | |
Equivalent To | vultron_process.CsAttacksObservedState & vultron_process.CsNoPublicExploitState & vultron_process.CsPublicUnawareState None |
Superclasses | vultron_process.CsPublicAwarenessExploitAttacksState |
Subclasses | vultron_process.CsvfdpxAState vultron_process.CsVFDpxAState vultron_process.CsVFdpxAState vultron_process.CsVfdpxAState |
CspxaState
Attribute | Value |
---|---|
Name | CspxaState |
IRI | http://www.cert.org/ns/vultron_process#CspxaState |
Description | |
Equivalent To | vultron_process.CsNoAttacksObservedState & vultron_process.CsNoPublicExploitState & vultron_process.CsPublicUnawareState None |
Superclasses | vultron_process.CsPublicAwarenessExploitAttacksState |
Subclasses | vultron_process.CsvfdpxaState vultron_process.CsVFdpxaState vultron_process.CsVfdpxaState vultron_process.CsVFDpxaState |
CsvfdPXAState
Attribute | Value |
---|---|
Name | CsvfdPXAState |
IRI | http://www.cert.org/ns/vultron_process#CsvfdPXAState |
Description | |
Equivalent To | vultron_process.CsPXAState & vultron_process.CsvfdState None |
Superclasses | vultron_process.IgnorantVendorState vultron_process.CsSimpleState vultron_process.CsPXAState vultron_process.CsvfdState |
CsvfdPXaState
Attribute | Value |
---|---|
Name | CsvfdPXaState |
IRI | http://www.cert.org/ns/vultron_process#CsvfdPXaState |
Description | |
Equivalent To | vultron_process.CsPXaState & vultron_process.CsvfdState None |
Superclasses | vultron_process.IgnorantVendorState vultron_process.CsSimpleState vultron_process.CsPXaState vultron_process.CsvfdState |
CsvfdPxAState
Attribute | Value |
---|---|
Name | CsvfdPxAState |
IRI | http://www.cert.org/ns/vultron_process#CsvfdPxAState |
Description | |
Equivalent To | vultron_process.CsPxAState & vultron_process.CsvfdState None |
Superclasses | vultron_process.IgnorantVendorState vultron_process.CsSimpleState vultron_process.CsvfdState vultron_process.CsPxAState |
CsvfdPxaState
Attribute | Value |
---|---|
Name | CsvfdPxaState |
IRI | http://www.cert.org/ns/vultron_process#CsvfdPxaState |
Description | |
Equivalent To | vultron_process.CsPxaState & vultron_process.CsvfdState None |
Superclasses | vultron_process.IgnorantVendorState vultron_process.CsSimpleState vultron_process.CsvfdState vultron_process.CsPxaState |
CsvfdState
Attribute | Value |
---|---|
Name | CsvfdState |
IRI | http://www.cert.org/ns/vultron_process#CsvfdState |
Description | |
Equivalent To | vultron_process.IgnorantVendorState vultron_process.CsFixNotDeployedState & vultron_process.CsFixNotReadyState & vultron_process.CsVendorUnawareState None |
Superclasses | vultron_process.CsVendorFixPathState vultron_process.CsFixNotReadyState vultron_process.CsVendorUnawareState vultron_process.CsFixNotDeployedState |
Subclasses | vultron_process.CsvfdPXaState vultron_process.CsvfdPxAState vultron_process.CsvfdPxaState vultron_process.CsvfdpXaState vultron_process.CsvfdpxaState vultron_process.CsvfdpxAState vultron_process.CsvfdPXAState vultron_process.CsvfdpXAState |
CsvfdpXAState
Attribute | Value |
---|---|
Name | CsvfdpXAState |
IRI | http://www.cert.org/ns/vultron_process#CsvfdpXAState |
Description | |
Equivalent To | vultron_process.CspXAState & vultron_process.CsvfdState None |
Superclasses | vultron_process.IgnorantVendorState vultron_process.CsSimpleState vultron_process.CsvfdState vultron_process.CspXAState |
CsvfdpXaState
Attribute | Value |
---|---|
Name | CsvfdpXaState |
IRI | http://www.cert.org/ns/vultron_process#CsvfdpXaState |
Description | |
Equivalent To | vultron_process.CspXaState & vultron_process.CsvfdState None |
Superclasses | vultron_process.IgnorantVendorState vultron_process.CsSimpleState vultron_process.CspXaState vultron_process.CsvfdState |
CsvfdpxAState
Attribute | Value |
---|---|
Name | CsvfdpxAState |
IRI | http://www.cert.org/ns/vultron_process#CsvfdpxAState |
Description | |
Equivalent To | vultron_process.CspxAState & vultron_process.CsvfdState None |
Superclasses | vultron_process.IgnorantVendorState vultron_process.CsSimpleState vultron_process.CsvfdState vultron_process.CspxAState |
CsvfdpxaState
Attribute | Value |
---|---|
Name | CsvfdpxaState |
IRI | http://www.cert.org/ns/vultron_process#CsvfdpxaState |
Description | |
Equivalent To | vultron_process.CspxaState & vultron_process.CsvfdState None |
Superclasses | vultron_process.IgnorantVendorState vultron_process.CsSimpleState vultron_process.CspxaState vultron_process.CsvfdState |
DeterministicFiniteAutomata
Attribute | Value |
---|---|
Name | DeterministicFiniteAutomata |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#DeterministicFiniteAutomata |
Description | |
Equivalent To | deterministicfiniteautomata.hasFinalState.some(deterministicfiniteautomata.State) deterministicfiniteautomata.hasState.some(deterministicfiniteautomata.State) deterministicfiniteautomata.hasStartState.some(deterministicfiniteautomata.State) deterministicfiniteautomata.hasInputSymbol.some(deterministicfiniteautomata.Symbol) deterministicfiniteautomata.hasTransition.some(deterministicfiniteautomata.Transition) |
Superclasses | owl.Thing |
Subclasses | vultron_process.ProcessModel |
EmASymbol
Attribute | Value |
---|---|
Name | EmASymbol |
IRI | http://www.cert.org/ns/vultron_process#EmASymbol |
Description | |
Superclasses | vultron_process.EmbargoManagementSymbol |
Subclasses | vultron_protocol.MsgTypeEC vultron_protocol.MsgTypeEV vultron_protocol.MsgTypeEA |
EmActiveState
Attribute | Value |
---|---|
Name | EmActiveState |
IRI | http://www.cert.org/ns/vultron_process#EmActiveState |
Description | |
Superclasses | vultron_process.ActiveEmbargoState vultron_process.EmSimpleState |
EmApRTransition
Attribute | Value |
---|---|
Name | EmApRTransition |
IRI | http://www.cert.org/ns/vultron_process#EmApRTransition |
Description | |
Equivalent To | vultron_process.EmFromActiveTransition & vultron_process.EmOnProposeTransition & vultron_process.EmToReviseTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmAtXTransition
Attribute | Value |
---|---|
Name | EmAtXTransition |
IRI | http://www.cert.org/ns/vultron_process#EmAtXTransition |
Description | |
Equivalent To | vultron_process.EmFromActiveTransition & vultron_process.EmOnTerminateTransition & vultron_process.EmToExitedTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmCompoundState
Attribute | Value |
---|---|
Name | EmCompoundState |
IRI | http://www.cert.org/ns/vultron_process#EmCompoundState |
Description | |
Superclasses | vultron_process.EmbargoManagementState |
Subclasses | vultron_process.ActiveEmbargoState vultron_process.NoActiveEmbargoState |
EmExitedState
Attribute | Value |
---|---|
Name | EmExitedState |
IRI | http://www.cert.org/ns/vultron_process#EmExitedState |
Description | |
Superclasses | vultron_process.NoActiveEmbargoState vultron_process.EmSimpleState |
EmFromActiveTransition
Attribute | Value |
---|---|
Name | EmFromActiveTransition |
IRI | http://www.cert.org/ns/vultron_process#EmFromActiveTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.EmActiveState) None |
Superclasses | vultron_process.EmTransition |
EmFromNoneTransition
Attribute | Value |
---|---|
Name | EmFromNoneTransition |
IRI | http://www.cert.org/ns/vultron_process#EmFromNoneTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.EmNoneState) None |
Superclasses | vultron_process.EmTransition |
EmFromProposedTransition
Attribute | Value |
---|---|
Name | EmFromProposedTransition |
IRI | http://www.cert.org/ns/vultron_process#EmFromProposedTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.EmProposedState) None |
Superclasses | vultron_process.EmTransition |
EmFromReviseTransition
Attribute | Value |
---|---|
Name | EmFromReviseTransition |
IRI | http://www.cert.org/ns/vultron_process#EmFromReviseTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.EmReviseState) None |
Superclasses | vultron_process.EmTransition |
EmNoneState
Attribute | Value |
---|---|
Name | EmNoneState |
IRI | http://www.cert.org/ns/vultron_process#EmNoneState |
Description | |
Superclasses | vultron_process.NoActiveEmbargoState vultron_process.EmSimpleState |
EmNpPTransition
Attribute | Value |
---|---|
Name | EmNpPTransition |
IRI | http://www.cert.org/ns/vultron_process#EmNpPTransition |
Description | |
Equivalent To | vultron_process.EmFromNoneTransition & vultron_process.EmOnProposeTransition & vultron_process.EmToProposeTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmOnActivateTransition
Attribute | Value |
---|---|
Name | EmOnActivateTransition |
IRI | http://www.cert.org/ns/vultron_process#EmOnActivateTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.EmASymbol) None |
Superclasses | vultron_process.EmTransition |
EmOnProposeTransition
Attribute | Value |
---|---|
Name | EmOnProposeTransition |
IRI | http://www.cert.org/ns/vultron_process#EmOnProposeTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.EmPSymbol) None |
Superclasses | vultron_process.EmTransition |
EmOnRejectTransition
Attribute | Value |
---|---|
Name | EmOnRejectTransition |
IRI | http://www.cert.org/ns/vultron_process#EmOnRejectTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.EmRSymbol) None |
Superclasses | vultron_process.EmTransition |
EmOnTerminateTransition
Attribute | Value |
---|---|
Name | EmOnTerminateTransition |
IRI | http://www.cert.org/ns/vultron_process#EmOnTerminateTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.EmTSymbol) None |
Superclasses | vultron_process.EmTransition |
EmPSymbol
Attribute | Value |
---|---|
Name | EmPSymbol |
IRI | http://www.cert.org/ns/vultron_process#EmPSymbol |
Description | |
Superclasses | vultron_process.EmbargoManagementSymbol |
Subclasses | vultron_protocol.MsgTypeEP |
EmPaATransition
Attribute | Value |
---|---|
Name | EmPaATransition |
IRI | http://www.cert.org/ns/vultron_process#EmPaATransition |
Description | |
Equivalent To | vultron_process.EmFromProposedTransition & vultron_process.EmOnActivateTransition & vultron_process.EmToActiveTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmPpPTransition
Attribute | Value |
---|---|
Name | EmPpPTransition |
IRI | http://www.cert.org/ns/vultron_process#EmPpPTransition |
Description | |
Equivalent To | vultron_process.EmFromProposedTransition & vultron_process.EmOnProposeTransition & vultron_process.EmToProposeTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmPrNTransition
Attribute | Value |
---|---|
Name | EmPrNTransition |
IRI | http://www.cert.org/ns/vultron_process#EmPrNTransition |
Description | |
Equivalent To | vultron_process.EmFromProposedTransition & vultron_process.EmOnRejectTransition & vultron_process.EmToNoneTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmProposedState
Attribute | Value |
---|---|
Name | EmProposedState |
IRI | http://www.cert.org/ns/vultron_process#EmProposedState |
Description | |
Superclasses | vultron_process.NoActiveEmbargoState vultron_process.EmSimpleState |
EmRSymbol
Attribute | Value |
---|---|
Name | EmRSymbol |
IRI | http://www.cert.org/ns/vultron_process#EmRSymbol |
Description | |
Superclasses | vultron_process.EmbargoManagementSymbol |
Subclasses | vultron_protocol.MsgTypeER vultron_protocol.MsgTypeEJ |
EmRaATransition
Attribute | Value |
---|---|
Name | EmRaATransition |
IRI | http://www.cert.org/ns/vultron_process#EmRaATransition |
Description | |
Equivalent To | vultron_process.EmFromReviseTransition & vultron_process.EmOnActivateTransition & vultron_process.EmToActiveTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmReviseState
Attribute | Value |
---|---|
Name | EmReviseState |
IRI | http://www.cert.org/ns/vultron_process#EmReviseState |
Description | |
Superclasses | vultron_process.ActiveEmbargoState vultron_process.EmSimpleState |
EmRpRTransition
Attribute | Value |
---|---|
Name | EmRpRTransition |
IRI | http://www.cert.org/ns/vultron_process#EmRpRTransition |
Description | |
Equivalent To | vultron_process.EmFromReviseTransition & vultron_process.EmOnProposeTransition & vultron_process.EmToReviseTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmRrATransition
Attribute | Value |
---|---|
Name | EmRrATransition |
IRI | http://www.cert.org/ns/vultron_process#EmRrATransition |
Description | |
Equivalent To | vultron_process.EmFromReviseTransition & vultron_process.EmOnRejectTransition & vultron_process.EmToActiveTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmRtXTransition
Attribute | Value |
---|---|
Name | EmRtXTransition |
IRI | http://www.cert.org/ns/vultron_process#EmRtXTransition |
Description | |
Equivalent To | vultron_process.EmFromReviseTransition & vultron_process.EmOnTerminateTransition & vultron_process.EmToExitedTransition None |
Superclasses | vultron_process.EmSimpleTransition |
EmSimpleState
Basic Embargo Management States Basic Embargo Management States
Attribute | Value |
---|---|
Name | EmSimpleState |
IRI | http://www.cert.org/ns/vultron_process#EmSimpleState |
Description | Basic Embargo Management States Basic Embargo Management States |
Superclasses | vultron_process.EmbargoManagementState |
Subclasses | vultron_process.EmNoneState vultron_process.EmActiveState vultron_process.EmProposedState vultron_process.EmReviseState vultron_process.EmExitedState |
EmSimpleTransition
Attribute | Value |
---|---|
Name | EmSimpleTransition |
IRI | http://www.cert.org/ns/vultron_process#EmSimpleTransition |
Description | |
Superclasses | vultron_process.EmTransition |
Subclasses | vultron_process.EmPpPTransition vultron_process.EmRaATransition vultron_process.EmPaATransition vultron_process.EmApRTransition vultron_process.EmRtXTransition vultron_process.EmPrNTransition vultron_process.EmAtXTransition vultron_process.EmRrATransition vultron_process.EmNpPTransition vultron_process.EmRpRTransition |
EmTSymbol
Attribute | Value |
---|---|
Name | EmTSymbol |
IRI | http://www.cert.org/ns/vultron_process#EmTSymbol |
Description | |
Superclasses | vultron_process.EmbargoManagementSymbol |
Subclasses | vultron_protocol.MsgTypeET |
EmToActiveTransition
Attribute | Value |
---|---|
Name | EmToActiveTransition |
IRI | http://www.cert.org/ns/vultron_process#EmToActiveTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.EmActiveState) None |
Superclasses | vultron_process.EmTransition |
EmToExitedTransition
Attribute | Value |
---|---|
Name | EmToExitedTransition |
IRI | http://www.cert.org/ns/vultron_process#EmToExitedTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.EmExitedState) None |
Superclasses | vultron_process.EmTransition |
EmToNoneTransition
Attribute | Value |
---|---|
Name | EmToNoneTransition |
IRI | http://www.cert.org/ns/vultron_process#EmToNoneTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.EmNoneState) None |
Superclasses | vultron_process.EmTransition |
EmToProposeTransition
Attribute | Value |
---|---|
Name | EmToProposeTransition |
IRI | http://www.cert.org/ns/vultron_process#EmToProposeTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.EmProposedState) None |
Superclasses | vultron_process.EmTransition |
EmToReviseTransition
Attribute | Value |
---|---|
Name | EmToReviseTransition |
IRI | http://www.cert.org/ns/vultron_process#EmToReviseTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.EmReviseState) None |
Superclasses | vultron_process.EmTransition |
EmTransition
Attribute | Value |
---|---|
Name | EmTransition |
IRI | http://www.cert.org/ns/vultron_process#EmTransition |
Description | |
Equivalent To | deterministicfiniteautomata.Transition & deterministicfiniteautomata.fromState.some(vultron_process.EmSimpleState) & deterministicfiniteautomata.onSymbol.some(vultron_process.EmbargoManagementSymbol) & deterministicfiniteautomata.toState.some(vultron_process.EmSimpleState) None |
Superclasses | deterministicfiniteautomata.Transition |
Subclasses | vultron_process.EmFromNoneTransition vultron_process.EmToProposeTransition vultron_process.EmOnRejectTransition vultron_process.EmFromActiveTransition vultron_process.EmToActiveTransition vultron_process.EmSimpleTransition vultron_process.EmFromReviseTransition vultron_process.EmOnTerminateTransition vultron_process.EmOnActivateTransition vultron_process.EmToReviseTransition vultron_process.EmToExitedTransition vultron_process.EmFromProposedTransition vultron_process.EmOnProposeTransition vultron_process.EmToNoneTransition |
EmbargoManagementProcess
A VultronProcess describing the embargo management process model A VultronProcess describing the embargo management process model
Attribute | Value |
---|---|
Name | EmbargoManagementProcess |
IRI | http://www.cert.org/ns/vultron_process#EmbargoManagementProcess |
Description | A VultronProcess describing the embargo management process model A VultronProcess describing the embargo management process model |
Equivalent To | deterministicfiniteautomata.DeterministicFiniteAutomata & deterministicfiniteautomata.hasFinalState.some(vultron_process.EmExitedState) & deterministicfiniteautomata.hasInputSymbol.some(vultron_process.EmbargoManagementSymbol) & deterministicfiniteautomata.hasStartState.some(vultron_process.EmNoneState) & deterministicfiniteautomata.hasState.some(vultron_process.EmbargoManagementState) & deterministicfiniteautomata.hasTransition.some(vultron_process.EmTransition) & deterministicfiniteautomata.hasFinalState.only(vultron_process.EmExitedState) & deterministicfiniteautomata.hasInputSymbol.only(vultron_process.EmbargoManagementSymbol) & deterministicfiniteautomata.hasStartState.only(vultron_process.EmNoneState) & deterministicfiniteautomata.hasState.only(vultron_process.EmbargoManagementState) & deterministicfiniteautomata.hasTransition.only(vultron_process.EmTransition) None |
Superclasses | vultron_process.ProcessModel |
EmbargoManagementState
An Embargo Management State An Embargo Management State
Attribute | Value |
---|---|
Name | EmbargoManagementState |
IRI | http://www.cert.org/ns/vultron_process#EmbargoManagementState |
Description | An Embargo Management State An Embargo Management State |
Superclasses | vultron_process.ParticipantAgnosticState deterministicfiniteautomata.State |
Subclasses | vultron_process.EmCompoundState vultron_process.EmSimpleState |
EmbargoManagementSymbol
Attribute | Value |
---|---|
Name | EmbargoManagementSymbol |
IRI | http://www.cert.org/ns/vultron_process#EmbargoManagementSymbol |
Description | |
Superclasses | deterministicfiniteautomata.Symbol |
Subclasses | vultron_protocol.MsgTypeAckableEm vultron_process.EmRSymbol vultron_process.EmASymbol vultron_process.EmTSymbol vultron_process.EmPSymbol |
ExploitPublicationTransition
Attribute | Value |
---|---|
Name | ExploitPublicationTransition |
IRI | http://www.cert.org/ns/vultron_process#ExploitPublicationTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.CsNoPublicExploitState) & deterministicfiniteautomata.onSymbol.some(vultron_process.CsPSymbol) & deterministicfiniteautomata.toState.some(vultron_process.CsPublicExploitState) None |
Superclasses | vultron_process.CsTransition |
FixDeployedState
Attribute | Value |
---|---|
Name | FixDeployedState |
IRI | http://www.cert.org/ns/vultron_process#FixDeployedState |
Description | |
Superclasses | vultron_process.CsFixDeployedState vultron_process.FixReadyState |
Subclasses | vultron_process.CsVFDPXAState vultron_process.CsVFDPXaState vultron_process.CsVFDPxAState vultron_process.CsVFDPxaState vultron_process.CsVFDpXaState vultron_process.CsVFDpxAState vultron_process.CsVFDpxaState vultron_process.CsVFDpXAState |
FixDeploymentTransition
Attribute | Value |
---|---|
Name | FixDeploymentTransition |
IRI | http://www.cert.org/ns/vultron_process#FixDeploymentTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.CsFixNotDeployedState) & deterministicfiniteautomata.onSymbol.some(vultron_process.CsDSymbol) & deterministicfiniteautomata.toState.some(vultron_process.CsFixDeployedState) None |
Superclasses | vultron_process.CsTransition |
FixReadinessTransition
Attribute | Value |
---|---|
Name | FixReadinessTransition |
IRI | http://www.cert.org/ns/vultron_process#FixReadinessTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.CsFixNotReadyState) & deterministicfiniteautomata.onSymbol.some(vultron_process.CsFSymbol) & deterministicfiniteautomata.toState.some(vultron_process.CsFixReadyState) None |
Superclasses | vultron_process.CsTransition |
FixReadyState
Attribute | Value |
---|---|
Name | FixReadyState |
IRI | http://www.cert.org/ns/vultron_process#FixReadyState |
Description | |
Equivalent To | vultron_process.CsVFDState or vultron_process.CsVFdState None |
Superclasses | vultron_process.VendorAwareState |
Subclasses | vultron_process.CsVFdState vultron_process.FixDeployedState vultron_process.CsVFDState |
IgnorantVendorState
Attribute | Value |
---|---|
Name | IgnorantVendorState |
IRI | http://www.cert.org/ns/vultron_process#IgnorantVendorState |
Description | |
Superclasses | vultron_process.CsVendorFixPathState vultron_process.CsFixNotReadyState vultron_process.CsVendorUnawareState vultron_process.CsFixNotDeployedState |
Subclasses | vultron_process.CsvfdPXaState vultron_process.CsvfdPxAState vultron_process.CsvfdPxaState vultron_process.CsvfdpXaState vultron_process.CsvfdpxaState vultron_process.CsvfdpxAState vultron_process.CsvfdPXAState vultron_process.CsvfdpXAState |
NoActiveEmbargoState
Attribute | Value |
---|---|
Name | NoActiveEmbargoState |
IRI | http://www.cert.org/ns/vultron_process#NoActiveEmbargoState |
Description | |
Equivalent To | vultron_process.EmExitedState or vultron_process.EmNoneState or vultron_process.EmProposedState vultron_process.EmNoneState or vultron_process.EmProposedState None |
Superclasses | vultron_process.EmCompoundState |
Subclasses | vultron_process.EmNoneState vultron_process.EmExitedState vultron_process.EmProposedState |
ParticipantAgnosticState
Vultron States that are global to a case Vultron States that are global to a case
Attribute | Value |
---|---|
Name | ParticipantAgnosticState |
IRI | http://www.cert.org/ns/vultron_process#ParticipantAgnosticState |
Description | Vultron States that are global to a case Vultron States that are global to a case |
Superclasses | deterministicfiniteautomata.State |
Subclasses | vultron_process.EmbargoManagementState vultron_process.CsParticipantAgnosticState |
ParticipantSpecificState
Vultron states that are unique to each case participant Vultron states that are unique to each case participant
Attribute | Value |
---|---|
Name | ParticipantSpecificState |
IRI | http://www.cert.org/ns/vultron_process#ParticipantSpecificState |
Description | Vultron states that are unique to each case participant Vultron states that are unique to each case participant |
Superclasses | deterministicfiniteautomata.State |
Subclasses | vultron_process.ReportManagementState vultron_process.CsParticipantSpecificState |
ProcessModel
Attribute | Value |
---|---|
Name | ProcessModel |
IRI | http://www.cert.org/ns/vultron_process#ProcessModel |
Description | |
Superclasses | deterministicfiniteautomata.DeterministicFiniteAutomata |
Subclasses | vultron_process.EmbargoManagementProcess vultron_process.ReportManagementProcess vultron_process.CaseStateProcess |
PublicAwarenessTransition
Attribute | Value |
---|---|
Name | PublicAwarenessTransition |
IRI | http://www.cert.org/ns/vultron_process#PublicAwarenessTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.CsPublicUnawareState) & deterministicfiniteautomata.onSymbol.some(vultron_process.CsPSymbol) & deterministicfiniteautomata.toState.some(vultron_process.CsPublicAwareState) None |
Superclasses | vultron_process.CsTransition |
ReportManagementProcess
A VultronProcess describing the report management process model A VultronProcess describing the report management process model
Attribute | Value |
---|---|
Name | ReportManagementProcess |
IRI | http://www.cert.org/ns/vultron_process#ReportManagementProcess |
Description | A VultronProcess describing the report management process model A VultronProcess describing the report management process model |
Equivalent To | deterministicfiniteautomata.DeterministicFiniteAutomata & deterministicfiniteautomata.hasFinalState.some(vultron_process.RmClosedState) & deterministicfiniteautomata.hasInputSymbol.some(vultron_process.ReportManagementSymbol) & deterministicfiniteautomata.hasStartState.some(vultron_process.RmStartState) & deterministicfiniteautomata.hasState.some(vultron_process.RmSimpleState) & deterministicfiniteautomata.hasTransition.some(vultron_process.RmTransition) & deterministicfiniteautomata.hasFinalState.only(vultron_process.RmClosedState) & deterministicfiniteautomata.hasInputSymbol.only(vultron_process.ReportManagementSymbol) & deterministicfiniteautomata.hasStartState.only(vultron_process.RmStartState) & deterministicfiniteautomata.hasState.only(vultron_process.RmSimpleState) & deterministicfiniteautomata.hasTransition.only(vultron_process.RmTransition) None |
Superclasses | vultron_process.ProcessModel |
ReportManagementState
Attribute | Value |
---|---|
Name | ReportManagementState |
IRI | http://www.cert.org/ns/vultron_process#ReportManagementState |
Description | |
Superclasses | vultron_process.ParticipantSpecificState deterministicfiniteautomata.State |
Subclasses | vultron_process.RmCompoundState vultron_process.RmSimpleState |
ReportManagementSymbol
Attribute | Value |
---|---|
Name | ReportManagementSymbol |
IRI | http://www.cert.org/ns/vultron_process#ReportManagementSymbol |
Description | |
Superclasses | deterministicfiniteautomata.Symbol |
Subclasses | vultron_process.RmVSymbol vultron_protocol.MsgTypeAckableRm vultron_process.RmDSymbol vultron_process.RmCSymbol vultron_process.RmRSymbol vultron_process.RmASymbol vultron_process.RmISymbol |
RmASymbol
Attribute | Value |
---|---|
Name | RmASymbol |
IRI | http://www.cert.org/ns/vultron_process#RmASymbol |
Description | |
Superclasses | vultron_process.ReportManagementSymbol |
Subclasses | vultron_protocol.MsgTypeRA |
RmAcCTransition
Attribute | Value |
---|---|
Name | RmAcCTransition |
IRI | http://www.cert.org/ns/vultron_process#RmAcCTransition |
Description | |
Equivalent To | vultron_process.RmFromAcceptedTransition & vultron_process.RmOnCloseTransition & vultron_process.RmToClosedTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmAcceptedState
Attribute | Value |
---|---|
Name | RmAcceptedState |
IRI | http://www.cert.org/ns/vultron_process#RmAcceptedState |
Description | |
Superclasses | vultron_process.RmValidYetUnclosedState vultron_process.RmActiveState vultron_process.RmSimpleState |
RmActiveState
Attribute | Value |
---|---|
Name | RmActiveState |
IRI | http://www.cert.org/ns/vultron_process#RmActiveState |
Description | |
Equivalent To | vultron_process.RmAcceptedState or vultron_process.RmReceivedState or vultron_process.RmValidState None |
Superclasses | vultron_process.RmCompoundState |
Subclasses | vultron_process.RmAcceptedState vultron_process.RmValidState vultron_process.RmReceivedState |
RmAdDTransition
Attribute | Value |
---|---|
Name | RmAdDTransition |
IRI | http://www.cert.org/ns/vultron_process#RmAdDTransition |
Description | |
Equivalent To | vultron_process.RmFromAcceptedTransition & vultron_process.RmOnDeferTransition & vultron_process.RmToDeferredTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmCSymbol
Attribute | Value |
---|---|
Name | RmCSymbol |
IRI | http://www.cert.org/ns/vultron_process#RmCSymbol |
Description | |
Superclasses | vultron_process.ReportManagementSymbol |
Subclasses | vultron_protocol.MsgTypeRC |
RmClosedState
Attribute | Value |
---|---|
Name | RmClosedState |
IRI | http://www.cert.org/ns/vultron_process#RmClosedState |
Description | |
Superclasses | vultron_process.RmInactiveState vultron_process.RmSimpleState |
RmCompoundState
Report Management states that represent sets of simple states. Report Management states that represent sets of simple states.
Attribute | Value |
---|---|
Name | RmCompoundState |
IRI | http://www.cert.org/ns/vultron_process#RmCompoundState |
Description | Report Management states that represent sets of simple states. Report Management states that represent sets of simple states. |
Superclasses | vultron_process.ReportManagementState |
Subclasses | vultron_process.RmValidYetUnclosedState vultron_process.RmPotentiallyValidYetUnclosedState vultron_process.RmActiveState vultron_process.RmOpenState vultron_process.RmInactiveState |
RmDSymbol
Attribute | Value |
---|---|
Name | RmDSymbol |
IRI | http://www.cert.org/ns/vultron_process#RmDSymbol |
Description | |
Superclasses | vultron_process.ReportManagementSymbol |
Subclasses | vultron_protocol.MsgTypeRD |
RmDaATransition
Attribute | Value |
---|---|
Name | RmDaATransition |
IRI | http://www.cert.org/ns/vultron_process#RmDaATransition |
Description | |
Equivalent To | vultron_process.RmFromDeferredTransition & vultron_process.RmOnAcceptTransition & vultron_process.RmToAcceptedTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmDcCTransition
Attribute | Value |
---|---|
Name | RmDcCTransition |
IRI | http://www.cert.org/ns/vultron_process#RmDcCTransition |
Description | |
Equivalent To | vultron_process.RmFromDeferredTransition & vultron_process.RmOnCloseTransition & vultron_process.RmToClosedTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmDeferredState
Attribute | Value |
---|---|
Name | RmDeferredState |
IRI | http://www.cert.org/ns/vultron_process#RmDeferredState |
Description | |
Superclasses | vultron_process.RmValidYetUnclosedState vultron_process.RmInactiveState vultron_process.RmSimpleState |
RmFromAcceptedTransition
Attribute | Value |
---|---|
Name | RmFromAcceptedTransition |
IRI | http://www.cert.org/ns/vultron_process#RmFromAcceptedTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.RmAcceptedState) None |
Superclasses | vultron_process.RmTransition |
RmFromDeferredTransition
Attribute | Value |
---|---|
Name | RmFromDeferredTransition |
IRI | http://www.cert.org/ns/vultron_process#RmFromDeferredTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.RmDeferredState) None |
Superclasses | vultron_process.RmTransition |
RmFromInvalidTransition
Attribute | Value |
---|---|
Name | RmFromInvalidTransition |
IRI | http://www.cert.org/ns/vultron_process#RmFromInvalidTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.RmInvalidState) None |
Superclasses | vultron_process.RmTransition |
RmFromReceivedTransition
Attribute | Value |
---|---|
Name | RmFromReceivedTransition |
IRI | http://www.cert.org/ns/vultron_process#RmFromReceivedTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.RmReceivedState) None |
Superclasses | vultron_process.RmTransition |
RmFromStartTransition
Attribute | Value |
---|---|
Name | RmFromStartTransition |
IRI | http://www.cert.org/ns/vultron_process#RmFromStartTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.RmStartState) None |
Superclasses | vultron_process.RmTransition |
RmFromValidTransition
Attribute | Value |
---|---|
Name | RmFromValidTransition |
IRI | http://www.cert.org/ns/vultron_process#RmFromValidTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.RmValidState) None |
Superclasses | vultron_process.RmTransition |
RmISymbol
Attribute | Value |
---|---|
Name | RmISymbol |
IRI | http://www.cert.org/ns/vultron_process#RmISymbol |
Description | |
Superclasses | vultron_process.ReportManagementSymbol |
Subclasses | vultron_protocol.MsgTypeRI |
RmIcCTransition
Attribute | Value |
---|---|
Name | RmIcCTransition |
IRI | http://www.cert.org/ns/vultron_process#RmIcCTransition |
Description | |
Equivalent To | vultron_process.RmFromInvalidTransition & vultron_process.RmOnCloseTransition & vultron_process.RmToClosedTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmInactiveState
Attribute | Value |
---|---|
Name | RmInactiveState |
IRI | http://www.cert.org/ns/vultron_process#RmInactiveState |
Description | |
Equivalent To | vultron_process.RmClosedState or vultron_process.RmDeferredState or vultron_process.RmInvalidState None |
Superclasses | vultron_process.RmCompoundState |
Subclasses | vultron_process.RmClosedState vultron_process.RmDeferredState vultron_process.RmInvalidState |
RmInvalidState
Attribute | Value |
---|---|
Name | RmInvalidState |
IRI | http://www.cert.org/ns/vultron_process#RmInvalidState |
Description | |
Superclasses | vultron_process.RmOpenState vultron_process.RmInactiveState vultron_process.RmSimpleState |
RmIvVTransition
Attribute | Value |
---|---|
Name | RmIvVTransition |
IRI | http://www.cert.org/ns/vultron_process#RmIvVTransition |
Description | |
Equivalent To | vultron_process.RmFromInvalidTransition & vultron_process.RmOnValidateTransition & vultron_process.RmToValidTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmOnAcceptTransition
Attribute | Value |
---|---|
Name | RmOnAcceptTransition |
IRI | http://www.cert.org/ns/vultron_process#RmOnAcceptTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.RmASymbol) None |
Superclasses | vultron_process.RmTransition |
RmOnCloseTransition
Attribute | Value |
---|---|
Name | RmOnCloseTransition |
IRI | http://www.cert.org/ns/vultron_process#RmOnCloseTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.RmCSymbol) None |
Superclasses | vultron_process.RmTransition |
RmOnDeferTransition
Attribute | Value |
---|---|
Name | RmOnDeferTransition |
IRI | http://www.cert.org/ns/vultron_process#RmOnDeferTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.RmDSymbol) None |
Superclasses | vultron_process.RmTransition |
RmOnInvalidateTransition
Attribute | Value |
---|---|
Name | RmOnInvalidateTransition |
IRI | http://www.cert.org/ns/vultron_process#RmOnInvalidateTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.RmISymbol) None |
Superclasses | vultron_process.RmTransition |
RmOnReceiveTransition
Attribute | Value |
---|---|
Name | RmOnReceiveTransition |
IRI | http://www.cert.org/ns/vultron_process#RmOnReceiveTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.RmRSymbol) None |
Superclasses | vultron_process.RmTransition |
RmOnValidateTransition
Attribute | Value |
---|---|
Name | RmOnValidateTransition |
IRI | http://www.cert.org/ns/vultron_process#RmOnValidateTransition |
Description | |
Equivalent To | deterministicfiniteautomata.onSymbol.some(vultron_process.RmVSymbol) None |
Superclasses | vultron_process.RmTransition |
RmOpenState
Attribute | Value |
---|---|
Name | RmOpenState |
IRI | http://www.cert.org/ns/vultron_process#RmOpenState |
Description | |
Equivalent To | vultron_process.RmAcceptedState or vultron_process.RmDeferredState or vultron_process.RmInvalidState or vultron_process.RmReceivedState or vultron_process.RmValidState None |
Superclasses | vultron_process.RmCompoundState |
Subclasses | vultron_process.RmPotentiallyValidYetUnclosedState vultron_process.RmInvalidState |
RmPotentiallyValidYetUnclosedState
Attribute | Value |
---|---|
Name | RmPotentiallyValidYetUnclosedState |
IRI | http://www.cert.org/ns/vultron_process#RmPotentiallyValidYetUnclosedState |
Description | |
Equivalent To | vultron_process.RmReceivedState or vultron_process.RmValidYetUnclosedState None |
Superclasses | vultron_process.RmOpenState vultron_process.RmCompoundState |
RmRSymbol
Attribute | Value |
---|---|
Name | RmRSymbol |
IRI | http://www.cert.org/ns/vultron_process#RmRSymbol |
Description | |
Superclasses | vultron_process.ReportManagementSymbol |
Subclasses | vultron_protocol.MsgTypeRS |
RmReceivedState
Attribute | Value |
---|---|
Name | RmReceivedState |
IRI | http://www.cert.org/ns/vultron_process#RmReceivedState |
Description | |
Superclasses | vultron_process.RmActiveState vultron_process.RmSimpleState |
RmRiVTransition
Attribute | Value |
---|---|
Name | RmRiVTransition |
IRI | http://www.cert.org/ns/vultron_process#RmRiVTransition |
Description | |
Equivalent To | vultron_process.RmFromReceivedTransition & vultron_process.RmOnInvalidateTransition & vultron_process.RmToInvalidTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmRvVTransition
Attribute | Value |
---|---|
Name | RmRvVTransition |
IRI | http://www.cert.org/ns/vultron_process#RmRvVTransition |
Description | |
Equivalent To | vultron_process.RmFromReceivedTransition & vultron_process.RmOnValidateTransition & vultron_process.RmToValidTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmSimpleState
Attribute | Value |
---|---|
Name | RmSimpleState |
IRI | http://www.cert.org/ns/vultron_process#RmSimpleState |
Description | |
Superclasses | vultron_process.ReportManagementState |
Subclasses | vultron_process.RmValidState vultron_process.RmReceivedState vultron_process.RmInvalidState vultron_process.RmClosedState vultron_process.RmAcceptedState vultron_process.RmStartState vultron_process.RmDeferredState |
RmSimpleTransition
Attribute | Value |
---|---|
Name | RmSimpleTransition |
IRI | http://www.cert.org/ns/vultron_process#RmSimpleTransition |
Description | |
Superclasses | vultron_process.RmTransition |
Subclasses | vultron_process.RmIcCTransition vultron_process.RmVdDTransition vultron_process.RmDcCTransition vultron_process.RmSrRTransition vultron_process.RmDaATransition vultron_process.RmRvVTransition vultron_process.RmVaATransition vultron_process.RmIvVTransition vultron_process.RmAdDTransition vultron_process.RmRiVTransition vultron_process.RmAcCTransition |
RmSrRTransition
Attribute | Value |
---|---|
Name | RmSrRTransition |
IRI | http://www.cert.org/ns/vultron_process#RmSrRTransition |
Description | |
Equivalent To | vultron_process.RmFromStartTransition & vultron_process.RmOnReceiveTransition & vultron_process.RmToReceivedTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmStartState
Attribute | Value |
---|---|
Name | RmStartState |
IRI | http://www.cert.org/ns/vultron_process#RmStartState |
Description | |
Superclasses | vultron_process.RmSimpleState |
RmToAcceptedTransition
Attribute | Value |
---|---|
Name | RmToAcceptedTransition |
IRI | http://www.cert.org/ns/vultron_process#RmToAcceptedTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.RmAcceptedState) None |
Superclasses | vultron_process.RmTransition |
RmToClosedTransition
Attribute | Value |
---|---|
Name | RmToClosedTransition |
IRI | http://www.cert.org/ns/vultron_process#RmToClosedTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.RmClosedState) None |
Superclasses | vultron_process.RmTransition |
RmToDeferredTransition
Attribute | Value |
---|---|
Name | RmToDeferredTransition |
IRI | http://www.cert.org/ns/vultron_process#RmToDeferredTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.RmDeferredState) None |
Superclasses | vultron_process.RmTransition |
RmToInvalidTransition
Attribute | Value |
---|---|
Name | RmToInvalidTransition |
IRI | http://www.cert.org/ns/vultron_process#RmToInvalidTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.RmInvalidState) None |
Superclasses | vultron_process.RmTransition |
RmToReceivedTransition
Attribute | Value |
---|---|
Name | RmToReceivedTransition |
IRI | http://www.cert.org/ns/vultron_process#RmToReceivedTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.RmReceivedState) None |
Superclasses | vultron_process.RmTransition |
RmToValidTransition
Attribute | Value |
---|---|
Name | RmToValidTransition |
IRI | http://www.cert.org/ns/vultron_process#RmToValidTransition |
Description | |
Equivalent To | deterministicfiniteautomata.toState.some(vultron_process.RmValidState) None |
Superclasses | vultron_process.RmTransition |
RmTransition
Attribute | Value |
---|---|
Name | RmTransition |
IRI | http://www.cert.org/ns/vultron_process#RmTransition |
Description | |
Equivalent To | deterministicfiniteautomata.Transition & deterministicfiniteautomata.fromState.some(vultron_process.RmSimpleState) & deterministicfiniteautomata.onSymbol.some(vultron_process.ReportManagementSymbol) & deterministicfiniteautomata.toState.some(vultron_process.RmSimpleState) None |
Superclasses | deterministicfiniteautomata.Transition |
Subclasses | vultron_process.RmOnCloseTransition vultron_process.RmFromStartTransition vultron_process.RmOnAcceptTransition vultron_process.RmToValidTransition vultron_process.RmOnReceiveTransition vultron_process.RmToClosedTransition vultron_process.RmFromValidTransition vultron_process.RmSimpleTransition vultron_process.RmFromAcceptedTransition vultron_process.RmFromInvalidTransition vultron_process.RmOnValidateTransition vultron_process.RmToAcceptedTransition vultron_process.RmFromReceivedTransition vultron_process.RmToDeferredTransition vultron_process.RmOnDeferTransition vultron_process.RmToReceivedTransition vultron_process.RmOnInvalidateTransition vultron_process.RmFromDeferredTransition vultron_process.RmToInvalidTransition |
RmVSymbol
Attribute | Value |
---|---|
Name | RmVSymbol |
IRI | http://www.cert.org/ns/vultron_process#RmVSymbol |
Description | |
Superclasses | vultron_process.ReportManagementSymbol |
Subclasses | vultron_protocol.MsgTypeRV |
RmVaATransition
Attribute | Value |
---|---|
Name | RmVaATransition |
IRI | http://www.cert.org/ns/vultron_process#RmVaATransition |
Description | |
Equivalent To | vultron_process.RmFromValidTransition & vultron_process.RmOnAcceptTransition & vultron_process.RmToAcceptedTransition None |
Superclasses | vultron_process.RmSimpleTransition |
RmValidState
Attribute | Value |
---|---|
Name | RmValidState |
IRI | http://www.cert.org/ns/vultron_process#RmValidState |
Description | |
Superclasses | vultron_process.RmValidYetUnclosedState vultron_process.RmActiveState vultron_process.RmSimpleState |
RmValidYetUnclosedState
Attribute | Value |
---|---|
Name | RmValidYetUnclosedState |
IRI | http://www.cert.org/ns/vultron_process#RmValidYetUnclosedState |
Description | |
Equivalent To | vultron_process.RmAcceptedState or vultron_process.RmDeferredState or vultron_process.RmValidState None |
Superclasses | vultron_process.RmCompoundState |
Subclasses | vultron_process.RmAcceptedState vultron_process.RmValidState vultron_process.RmDeferredState |
RmVdDTransition
Attribute | Value |
---|---|
Name | RmVdDTransition |
IRI | http://www.cert.org/ns/vultron_process#RmVdDTransition |
Description | |
Equivalent To | vultron_process.RmFromValidTransition & vultron_process.RmOnDeferTransition & vultron_process.RmToDeferredTransition None |
Superclasses | vultron_process.RmSimpleTransition |
State
Attribute | Value |
---|---|
Name | State |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#State |
Description | |
Superclasses | owl.Thing |
Subclasses | vultron_process.ParticipantAgnosticState vultron_process.ReportManagementState vultron_process.EmbargoManagementState vultron_process.CaseState vultron_process.ParticipantSpecificState |
Symbol
Attribute | Value |
---|---|
Name | Symbol |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#Symbol |
Description | |
Superclasses | owl.Thing |
Subclasses | vultron_protocol.VultronStateMessageType vultron_process.ReportManagementSymbol vultron_process.EmbargoManagementSymbol vultron_process.CaseStateSymbol |
Transition
Attribute | Value |
---|---|
Name | Transition |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#Transition |
Description | |
Superclasses | owl.Thing |
Subclasses | vultron_process.RmTransition vultron_process.EmTransition vultron_process.CsTransition |
VendorAwareState
Attribute | Value |
---|---|
Name | VendorAwareState |
IRI | http://www.cert.org/ns/vultron_process#VendorAwareState |
Description | |
Equivalent To | vultron_process.CsVFDState or vultron_process.CsVFdState or vultron_process.CsVfdState None |
Superclasses | vultron_process.CsVendorFixPathState |
Subclasses | vultron_process.FixReadyState |
VendorAwarenessTransition
Attribute | Value |
---|---|
Name | VendorAwarenessTransition |
IRI | http://www.cert.org/ns/vultron_process#VendorAwarenessTransition |
Description | |
Equivalent To | deterministicfiniteautomata.fromState.some(vultron_process.CsVendorUnawareState) & deterministicfiniteautomata.onSymbol.some(vultron_process.CsVSymbol) & deterministicfiniteautomata.toState.some(vultron_process.CsVendorAwareState) None |
Superclasses | vultron_process.CsTransition |
Properties
fromState
Attribute | Value |
---|---|
Name | fromState |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#fromState |
Description | |
Superclasses | owl.ObjectProperty owl.topObjectProperty |
Domain | deterministicfiniteautomata.Transition |
Range | deterministicfiniteautomata.State |
hasFinalState
Attribute | Value |
---|---|
Name | hasFinalState |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#hasFinalState |
Description | |
Superclasses | owl.ObjectProperty owl.topObjectProperty |
Domain | deterministicfiniteautomata.DeterministicFiniteAutomata |
Range | deterministicfiniteautomata.State |
hasInputSymbol
Attribute | Value |
---|---|
Name | hasInputSymbol |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#hasInputSymbol |
Description | |
Superclasses | owl.ObjectProperty owl.topObjectProperty |
Domain | deterministicfiniteautomata.DeterministicFiniteAutomata |
Range | deterministicfiniteautomata.Symbol |
hasStartState
Attribute | Value |
---|---|
Name | hasStartState |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#hasStartState |
Description | |
Superclasses | owl.ObjectProperty owl.topObjectProperty |
Domain | deterministicfiniteautomata.DeterministicFiniteAutomata |
Range | deterministicfiniteautomata.State |
hasState
Attribute | Value |
---|---|
Name | hasState |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#hasState |
Description | |
Superclasses | owl.ObjectProperty owl.topObjectProperty |
Domain | deterministicfiniteautomata.DeterministicFiniteAutomata |
Range | deterministicfiniteautomata.State |
hasTransition
Attribute | Value |
---|---|
Name | hasTransition |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#hasTransition |
Description | |
Superclasses | owl.ObjectProperty owl.topObjectProperty |
Domain | deterministicfiniteautomata.DeterministicFiniteAutomata |
Range | deterministicfiniteautomata.Transition |
isFinalStateOf
Attribute | Value |
---|---|
Name | isFinalStateOf |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#isFinalStateOf |
Description | |
Superclasses | owl.ObjectProperty owl.topObjectProperty |
Domain | deterministicfiniteautomata.State |
Range | deterministicfiniteautomata.DeterministicFiniteAutomata |
onSymbol
Attribute | Value |
---|---|
Name | onSymbol |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#onSymbol |
Description | |
Equivalent To | deterministicfiniteautomata.triggeredBy |
Superclasses | owl.ObjectProperty owl.topObjectProperty |
Domain | deterministicfiniteautomata.Transition |
Range | deterministicfiniteautomata.Symbol |
toState
Attribute | Value |
---|---|
Name | toState |
IRI | http://www.cert.org/ns/deterministicfiniteautomata#toState |
Description | |
Superclasses | owl.ObjectProperty owl.topObjectProperty |
Domain | deterministicfiniteautomata.Transition |
Range | deterministicfiniteautomata.State |
Protégé
We recommend using the Protégé ontology editor to view and edit the ontology files.
@prefix : <http://www.cert.org/ns/vultron_process#> .
@prefix dfa: <http://www.cert.org/ns/deterministicfiniteautomata#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
#
#
# #################################################################
# #
# # Object Properties
# #
# #################################################################
#
#
# http://www.cert.org/ns/deterministicfiniteautomata#fromState
#
# http://www.cert.org/ns/deterministicfiniteautomata#hasFinalState
#
# http://www.cert.org/ns/deterministicfiniteautomata#hasInputSymbol
#
# http://www.cert.org/ns/deterministicfiniteautomata#hasStartState
#
# http://www.cert.org/ns/deterministicfiniteautomata#hasState
#
# http://www.cert.org/ns/deterministicfiniteautomata#hasTransition
#
# http://www.cert.org/ns/deterministicfiniteautomata#isFinalStateOf
#
# http://www.cert.org/ns/deterministicfiniteautomata#onSymbol
#
# http://www.cert.org/ns/deterministicfiniteautomata#toState
#
#
#
# #################################################################
# #
# # Classes
# #
# #################################################################
#
#
# http://www.cert.org/ns/deterministicfiniteautomata#DeterministicFiniteAutomata
#
# http://www.cert.org/ns/deterministicfiniteautomata#State
#
# http://www.cert.org/ns/deterministicfiniteautomata#Symbol
#
# http://www.cert.org/ns/deterministicfiniteautomata#Transition
#
# http://www.cert.org/ns/vultron_process#ActiveEmbargoState
#
# http://www.cert.org/ns/vultron_process#AttackObservationTransition
#
# http://www.cert.org/ns/vultron_process#CaseState
#
# http://www.cert.org/ns/vultron_process#CaseStateProcess
#
# http://www.cert.org/ns/vultron_process#CaseStateSymbol
#
# http://www.cert.org/ns/vultron_process#CsASymbol
#
# http://www.cert.org/ns/vultron_process#CsAttacksObservedState
#
# http://www.cert.org/ns/vultron_process#CsDSymbol
#
# http://www.cert.org/ns/vultron_process#CsFSymbol
#
# http://www.cert.org/ns/vultron_process#CsFinalState
#
# http://www.cert.org/ns/vultron_process#CsFixDeployedState
#
# http://www.cert.org/ns/vultron_process#CsFixNotDeployedState
#
# http://www.cert.org/ns/vultron_process#CsFixNotReadyState
#
# http://www.cert.org/ns/vultron_process#CsFixReadyState
#
# http://www.cert.org/ns/vultron_process#CsInitialState
#
# http://www.cert.org/ns/vultron_process#CsNoAttacksObservedState
#
# http://www.cert.org/ns/vultron_process#CsNoPublicExploitState
#
# http://www.cert.org/ns/vultron_process#CsPSymbol
#
# http://www.cert.org/ns/vultron_process#CsPXAState
#
# http://www.cert.org/ns/vultron_process#CsPXaState
#
# http://www.cert.org/ns/vultron_process#CsParticipantAgnosticState
#
# http://www.cert.org/ns/vultron_process#CsParticipantSpecificState
#
# http://www.cert.org/ns/vultron_process#CsPublicAwareState
#
# http://www.cert.org/ns/vultron_process#CsPublicAwarenessExploitAttacksState
#
# http://www.cert.org/ns/vultron_process#CsPublicExploitState
#
# http://www.cert.org/ns/vultron_process#CsPublicUnawareState
#
# http://www.cert.org/ns/vultron_process#CsPxAState
#
# http://www.cert.org/ns/vultron_process#CsPxaState
#
# http://www.cert.org/ns/vultron_process#CsSimpleState
#
# http://www.cert.org/ns/vultron_process#CsSubstate
#
# http://www.cert.org/ns/vultron_process#CsTransition
#
# http://www.cert.org/ns/vultron_process#CsVFDPXAState
#
# http://www.cert.org/ns/vultron_process#CsVFDPXaState
#
# http://www.cert.org/ns/vultron_process#CsVFDPxAState
#
# http://www.cert.org/ns/vultron_process#CsVFDPxaState
#
# http://www.cert.org/ns/vultron_process#CsVFDState
#
# http://www.cert.org/ns/vultron_process#CsVFDpXAState
#
# http://www.cert.org/ns/vultron_process#CsVFDpXaState
#
# http://www.cert.org/ns/vultron_process#CsVFDpxAState
#
# http://www.cert.org/ns/vultron_process#CsVFDpxaState
#
# http://www.cert.org/ns/vultron_process#CsVFdPXAState
#
# http://www.cert.org/ns/vultron_process#CsVFdPXaState
#
# http://www.cert.org/ns/vultron_process#CsVFdPxAState
#
# http://www.cert.org/ns/vultron_process#CsVFdPxaState
#
# http://www.cert.org/ns/vultron_process#CsVFdState
#
# http://www.cert.org/ns/vultron_process#CsVFdpXAState
#
# http://www.cert.org/ns/vultron_process#CsVFdpXaState
#
# http://www.cert.org/ns/vultron_process#CsVFdpxAState
#
# http://www.cert.org/ns/vultron_process#CsVFdpxaState
#
# http://www.cert.org/ns/vultron_process#CsVSymbol
#
# http://www.cert.org/ns/vultron_process#CsVendorAwareState
#
# http://www.cert.org/ns/vultron_process#CsVendorFixPathState
#
# http://www.cert.org/ns/vultron_process#CsVendorUnawareState
#
# http://www.cert.org/ns/vultron_process#CsVfdPXAState
#
# http://www.cert.org/ns/vultron_process#CsVfdPXaState
#
# http://www.cert.org/ns/vultron_process#CsVfdPxAState
#
# http://www.cert.org/ns/vultron_process#CsVfdPxaState
#
# http://www.cert.org/ns/vultron_process#CsVfdState
#
# http://www.cert.org/ns/vultron_process#CsVfdpXAState
#
# http://www.cert.org/ns/vultron_process#CsVfdpXaState
#
# http://www.cert.org/ns/vultron_process#CsVfdpxAState
#
# http://www.cert.org/ns/vultron_process#CsVfdpxaState
#
# http://www.cert.org/ns/vultron_process#CsXSymbol
#
# http://www.cert.org/ns/vultron_process#CspXAState
#
# http://www.cert.org/ns/vultron_process#CspXaState
#
# http://www.cert.org/ns/vultron_process#CspxAState
#
# http://www.cert.org/ns/vultron_process#CspxaState
#
# http://www.cert.org/ns/vultron_process#CsvfdPXAState
#
# http://www.cert.org/ns/vultron_process#CsvfdPXaState
#
# http://www.cert.org/ns/vultron_process#CsvfdPxAState
#
# http://www.cert.org/ns/vultron_process#CsvfdPxaState
#
# http://www.cert.org/ns/vultron_process#CsvfdState
#
# http://www.cert.org/ns/vultron_process#CsvfdpXAState
#
# http://www.cert.org/ns/vultron_process#CsvfdpXaState
#
# http://www.cert.org/ns/vultron_process#CsvfdpxAState
#
# http://www.cert.org/ns/vultron_process#CsvfdpxaState
#
# http://www.cert.org/ns/vultron_process#EmASymbol
#
# http://www.cert.org/ns/vultron_process#EmActiveState
#
# http://www.cert.org/ns/vultron_process#EmApRTransition
#
# http://www.cert.org/ns/vultron_process#EmAtXTransition
#
# http://www.cert.org/ns/vultron_process#EmCompoundState
#
# http://www.cert.org/ns/vultron_process#EmExitedState
#
# http://www.cert.org/ns/vultron_process#EmFromActiveTransition
#
# http://www.cert.org/ns/vultron_process#EmFromNoneTransition
#
# http://www.cert.org/ns/vultron_process#EmFromProposedTransition
#
# http://www.cert.org/ns/vultron_process#EmFromReviseTransition
#
# http://www.cert.org/ns/vultron_process#EmNoneState
#
# http://www.cert.org/ns/vultron_process#EmNpPTransition
#
# http://www.cert.org/ns/vultron_process#EmOnActivateTransition
#
# http://www.cert.org/ns/vultron_process#EmOnProposeTransition
#
# http://www.cert.org/ns/vultron_process#EmOnRejectTransition
#
# http://www.cert.org/ns/vultron_process#EmOnTerminateTransition
#
# http://www.cert.org/ns/vultron_process#EmPSymbol
#
# http://www.cert.org/ns/vultron_process#EmPaATransition
#
# http://www.cert.org/ns/vultron_process#EmPpPTransition
#
# http://www.cert.org/ns/vultron_process#EmPrNTransition
<http://www.cert.org/ns/vultron_process> a owl:Ontology;
owl:imports <http://www.cert.org/ns/deterministicfiniteautomata>;
rdfs:comment "Defines the individual state machines (deterministic finite automata) that serve as the foundational process models of the Vultron protocol." .
dfa:fromState a owl:ObjectProperty .
dfa:hasFinalState a owl:ObjectProperty;
owl:inverseOf dfa:isFinalStateOf .
dfa:hasInputSymbol a owl:ObjectProperty .
dfa:hasStartState a owl:ObjectProperty .
dfa:hasState a owl:ObjectProperty .
dfa:hasTransition a owl:ObjectProperty .
dfa:isFinalStateOf a owl:ObjectProperty .
dfa:onSymbol a owl:ObjectProperty .
dfa:toState a owl:ObjectProperty .
dfa:DeterministicFiniteAutomata a owl:Class .
dfa:State a owl:Class .
dfa:Symbol a owl:Class .
dfa:Transition a owl:Class .
:ActiveEmbargoState a owl:Class;
owl:equivalentClass _:genid1;
rdfs:subClassOf :EmCompoundState;
rdfs:comment "An EmbargoManagementState in which an embargo is currently active." .
_:genid1 a owl:Class;
owl:unionOf _:genid3 .
_:genid3 a rdf:List;
rdf:first :EmActiveState;
rdf:rest _:genid2 .
_:genid2 a rdf:List;
rdf:first :EmReviseState;
rdf:rest rdf:nil .
:AttackObservationTransition a owl:Class;
owl:equivalentClass _:genid4;
rdfs:subClassOf :CsTransition .
_:genid4 a owl:Class;
owl:intersectionOf _:genid9 .
_:genid9 a rdf:List;
rdf:first _:genid10;
rdf:rest _:genid7 .
_:genid7 a rdf:List;
rdf:first _:genid8;
rdf:rest _:genid5 .
_:genid5 a rdf:List;
rdf:first _:genid6;
rdf:rest rdf:nil .
_:genid6 a owl:Restriction;
owl:someValuesFrom :CsAttacksObservedState;
owl:onProperty dfa:toState .
_:genid8 a owl:Restriction;
owl:someValuesFrom :CsASymbol;
owl:onProperty dfa:onSymbol .
_:genid10 a owl:Restriction;
owl:someValuesFrom :CsNoAttacksObservedState;
owl:onProperty dfa:fromState .
:CaseState a owl:Class;
rdfs:subClassOf dfa:State;
rdfs:comment "A Vultron Case State" .
:CaseStateProcess a owl:Class;
owl:equivalentClass _:genid11;
rdfs:subClassOf :ProcessModel;
rdfs:comment "A VultronProcess describing the case state process model" .
_:genid11 a owl:Class;
owl:intersectionOf _:genid32 .
_:genid32 a rdf:List;
rdf:first dfa:DeterministicFiniteAutomata;
rdf:rest _:genid30 .
_:genid30 a rdf:List;
rdf:first _:genid31;
rdf:rest _:genid28 .
_:genid28 a rdf:List;
rdf:first _:genid29;
rdf:rest _:genid26 .
_:genid26 a rdf:List;
rdf:first _:genid27;
rdf:rest _:genid24 .
_:genid24 a rdf:List;
rdf:first _:genid25;
rdf:rest _:genid22 .
_:genid22 a rdf:List;
rdf:first _:genid23;
rdf:rest _:genid20 .
_:genid20 a rdf:List;
rdf:first _:genid21;
rdf:rest _:genid18 .
_:genid18 a rdf:List;
rdf:first _:genid19;
rdf:rest _:genid16 .
_:genid16 a rdf:List;
rdf:first _:genid17;
rdf:rest _:genid14 .
_:genid14 a rdf:List;
rdf:first _:genid15;
rdf:rest _:genid12 .
_:genid12 a rdf:List;
rdf:first _:genid13;
rdf:rest rdf:nil .
_:genid13 a owl:Restriction;
owl:allValuesFrom :CsTransition;
owl:onProperty dfa:hasTransition .
_:genid15 a owl:Restriction;
owl:allValuesFrom :CsSimpleState;
owl:onProperty dfa:hasState .
_:genid17 a owl:Restriction;
owl:allValuesFrom :CsvfdpxaState;
owl:onProperty dfa:hasStartState .
_:genid19 a owl:Restriction;
owl:allValuesFrom :CaseStateSymbol;
owl:onProperty dfa:hasInputSymbol .
_:genid21 a owl:Restriction;
owl:allValuesFrom :CsVFDPXAState;
owl:onProperty dfa:hasFinalState .
_:genid23 a owl:Restriction;
owl:someValuesFrom :CsTransition;
owl:onProperty dfa:hasTransition .
_:genid25 a owl:Restriction;
owl:someValuesFrom :CsSimpleState;
owl:onProperty dfa:hasState .
_:genid27 a owl:Restriction;
owl:someValuesFrom :CsvfdpxaState;
owl:onProperty dfa:hasStartState .
_:genid29 a owl:Restriction;
owl:someValuesFrom :CaseStateSymbol;
owl:onProperty dfa:hasInputSymbol .
_:genid31 a owl:Restriction;
owl:someValuesFrom :CsVFDPXAState;
owl:onProperty dfa:hasFinalState .
:CaseStateSymbol a owl:Class;
rdfs:subClassOf dfa:Symbol .
:CsASymbol a owl:Class;
rdfs:subClassOf :CaseStateSymbol .
:CsAttacksObservedState a owl:Class;
rdfs:subClassOf :CsParticipantAgnosticState, :CsSubstate;
owl:disjointWith :CsNoAttacksObservedState;
rdfs:comment "CaseState in which attacks have been observed" .
:CsDSymbol a owl:Class;
rdfs:subClassOf :CaseStateSymbol .
:CsFSymbol a owl:Class;
rdfs:subClassOf :CaseStateSymbol .
:CsFinalState a owl:Class;
owl:equivalentClass _:genid33;
rdfs:subClassOf :CaseState .
_:genid33 a owl:Class;
owl:intersectionOf _:genid36 .
_:genid36 a rdf:List;
rdf:first :CsSimpleState;
rdf:rest _:genid34 .
_:genid34 a rdf:List;
rdf:first _:genid35;
rdf:rest rdf:nil .
_:genid35 a owl:Restriction;
owl:someValuesFrom :CaseStateProcess;
owl:onProperty dfa:isFinalStateOf .
:CsFixDeployedState a owl:Class;
rdfs:subClassOf :CsParticipantSpecificState, :CsSubstate;
owl:disjointWith :CsFixNotDeployedState;
rdfs:comment "CaseState in which a fix has been deployed" .
:CsFixNotDeployedState a owl:Class;
rdfs:subClassOf :CsParticipantSpecificState, :CsSubstate;
rdfs:comment "CaseState in which no fix has been deployed" .
:CsFixNotReadyState a owl:Class;
rdfs:subClassOf :CsParticipantSpecificState, :CsSubstate;
owl:disjointWith :CsFixReadyState;
rdfs:comment "CaseState in which no fix is ready" .
:CsFixReadyState a owl:Class;
rdfs:subClassOf :CsParticipantSpecificState, :CsSubstate;
rdfs:comment "CaseState in which a fix is ready" .
:CsInitialState a owl:Class;
rdfs:subClassOf :CaseState .
:CsNoAttacksObservedState a owl:Class;
rdfs:subClassOf :CsParticipantAgnosticState, :CsSubstate;
rdfs:comment "CaseState in which no attacks have been observed" .
:CsNoPublicExploitState a owl:Class;
rdfs:subClassOf :CsParticipantAgnosticState, :CsSubstate;
owl:disjointWith :CsPublicExploitState;
rdfs:comment "CaseState in which no exploits have been made public" .
:CsPSymbol a owl:Class;
rdfs:subClassOf :CaseStateSymbol .
:CsPXAState a owl:Class;
owl:equivalentClass _:genid37;
rdfs:subClassOf :CsPublicAwarenessExploitAttacksState .
_:genid37 a owl:Class;
owl:intersectionOf _:genid40 .
_:genid40 a rdf:List;
rdf:first :CsAttacksObservedState;
rdf:rest _:genid39 .
_:genid39 a rdf:List;
rdf:first :CsPublicAwareState;
rdf:rest _:genid38 .
_:genid38 a rdf:List;
rdf:first :CsPublicExploitState;
rdf:rest rdf:nil .
:CsPXaState a owl:Class;
owl:equivalentClass _:genid41;
rdfs:subClassOf :CsPublicAwarenessExploitAttacksState .
_:genid41 a owl:Class;
owl:intersectionOf _:genid44 .
_:genid44 a rdf:List;
rdf:first :CsNoAttacksObservedState;
rdf:rest _:genid43 .
_:genid43 a rdf:List;
rdf:first :CsPublicAwareState;
rdf:rest _:genid42 .
_:genid42 a rdf:List;
rdf:first :CsPublicExploitState;
rdf:rest rdf:nil .
:CsParticipantAgnosticState a owl:Class;
rdfs:subClassOf :CaseState, :ParticipantAgnosticState .
:CsParticipantSpecificState a owl:Class;
rdfs:subClassOf :CaseState, :ParticipantSpecificState .
:CsPublicAwareState a owl:Class;
rdfs:subClassOf :CsParticipantAgnosticState, :CsSubstate;
owl:disjointWith :CsPublicUnawareState;
rdfs:comment "CaseState in which the public is aware of the vulnerability" .
:CsPublicAwarenessExploitAttacksState a owl:Class;
rdfs:subClassOf :CaseState;
rdfs:comment "Organizes states according to Public Awareness, Exploit Public, and Attack Observation status" .
:CsPublicExploitState a owl:Class;
rdfs:subClassOf :CsParticipantAgnosticState, :CsSubstate;
rdfs:comment "CaseState in which there is a public exploit for the vulnerability. Subclass of CsPublicAwareState because a public exploit implies public awareness of the vulnerability." .
:CsPublicUnawareState a owl:Class;
rdfs:subClassOf :CsParticipantAgnosticState, :CsSubstate;
rdfs:comment "CaseState in which the public is not aware of the vulnerability. Subclass of CsNoPublicExploitState because public unaware requires there to be no public exploit as well. See CsPublicExploitState for the opposite." .
:CsPxAState a owl:Class;
owl:equivalentClass _:genid45;
rdfs:subClassOf :CsPublicAwarenessExploitAttacksState .
_:genid45 a owl:Class;
owl:intersectionOf _:genid48 .
_:genid48 a rdf:List;
rdf:first :CsAttacksObservedState;
rdf:rest _:genid47 .
_:genid47 a rdf:List;
rdf:first :CsNoPublicExploitState;
rdf:rest _:genid46 .
_:genid46 a rdf:List;
rdf:first :CsPublicAwareState;
rdf:rest rdf:nil .
:CsPxaState a owl:Class;
owl:equivalentClass _:genid49;
rdfs:subClassOf :CsPublicAwarenessExploitAttacksState .
_:genid49 a owl:Class;
owl:intersectionOf _:genid52 .
_:genid52 a rdf:List;
rdf:first :CsNoAttacksObservedState;
rdf:rest _:genid51 .
_:genid51 a rdf:List;
rdf:first :CsNoPublicExploitState;
rdf:rest _:genid50 .
_:genid50 a rdf:List;
rdf:first :CsPublicAwareState;
rdf:rest rdf:nil .
:CsSimpleState a owl:Class;
rdfs:subClassOf :CaseState .
:CsSubstate a owl:Class;
rdfs:subClassOf :CaseState .
:CsTransition a owl:Class;
owl:equivalentClass _:genid53;
rdfs:subClassOf dfa:Transition .
_:genid53 a owl:Class;
owl:intersectionOf _:genid60 .
_:genid60 a rdf:List;
rdf:first dfa:Transition;
rdf:rest _:genid58 .
_:genid58 a rdf:List;
rdf:first _:genid59;
rdf:rest _:genid56 .
_:genid56 a rdf:List;
rdf:first _:genid57;
rdf:rest _:genid54 .
_:genid54 a rdf:List;
rdf:first _:genid55;
rdf:rest rdf:nil .
_:genid55 a owl:Restriction;
owl:someValuesFrom :CsSimpleState;
owl:onProperty dfa:toState .
_:genid57 a owl:Restriction;
owl:someValuesFrom :CaseStateSymbol;
owl:onProperty dfa:onSymbol .
_:genid59 a owl:Restriction;
owl:someValuesFrom :CsSimpleState;
owl:onProperty dfa:fromState .
:CsVFDPXAState a owl:Class;
owl:equivalentClass _:genid61;
rdfs:subClassOf :CsPXAState, :CsSimpleState, :CsVFDState, :FixDeployedState .
_:genid61 a owl:Class;
owl:intersectionOf _:genid63 .
_:genid63 a rdf:List;
rdf:first :CsPXAState;
rdf:rest _:genid62 .
_:genid62 a rdf:List;
rdf:first :CsVFDState;
rdf:rest rdf:nil .
:CsVFDPXaState a owl:Class;
owl:equivalentClass _:genid64;
rdfs:subClassOf :CsPXaState, :CsSimpleState, :CsVFDState, :FixDeployedState .
_:genid64 a owl:Class;
owl:intersectionOf _:genid66 .
_:genid66 a rdf:List;
rdf:first :CsPXaState;
rdf:rest _:genid65 .
_:genid65 a rdf:List;
rdf:first :CsVFDState;
rdf:rest rdf:nil .
:CsVFDPxAState a owl:Class;
owl:equivalentClass _:genid67;
rdfs:subClassOf :CsPxAState, :CsSimpleState, :CsVFDState, :FixDeployedState .
_:genid67 a owl:Class;
owl:intersectionOf _:genid69 .
_:genid69 a rdf:List;
rdf:first :CsPxAState;
rdf:rest _:genid68 .
_:genid68 a rdf:List;
rdf:first :CsVFDState;
rdf:rest rdf:nil .
:CsVFDPxaState a owl:Class;
owl:equivalentClass _:genid70;
rdfs:subClassOf :CsPxaState, :CsSimpleState, :CsVFDState, :FixDeployedState .
_:genid70 a owl:Class;
owl:intersectionOf _:genid72 .
_:genid72 a rdf:List;
rdf:first :CsPxaState;
rdf:rest _:genid71 .
_:genid71 a rdf:List;
rdf:first :CsVFDState;
rdf:rest rdf:nil .
:CsVFDState a owl:Class;
owl:equivalentClass :FixDeployedState, _:genid73;
rdfs:subClassOf :CsFixDeployedState, :CsVendorFixPathState, :FixReadyState .
_:genid73 a owl:Class;
owl:intersectionOf _:genid76 .
_:genid76 a rdf:List;
rdf:first :CsFixDeployedState;
rdf:rest _:genid75 .
_:genid75 a rdf:List;
rdf:first :CsFixReadyState;
rdf:rest _:genid74 .
_:genid74 a rdf:List;
rdf:first :CsVendorAwareState;
rdf:rest rdf:nil .
:CsVFDpXAState a owl:Class;
owl:equivalentClass _:genid77;
rdfs:subClassOf :CsSimpleState, :CsVFDState, :CspXAState, :FixDeployedState .
_:genid77 a owl:Class;
owl:intersectionOf _:genid79 .
_:genid79 a rdf:List;
rdf:first :CsVFDState;
rdf:rest _:genid78 .
_:genid78 a rdf:List;
rdf:first :CspXAState;
rdf:rest rdf:nil .
:CsVFDpXaState a owl:Class;
owl:equivalentClass _:genid80;
rdfs:subClassOf :CsSimpleState, :CsVFDState, :CspXaState, :FixDeployedState .
_:genid80 a owl:Class;
owl:intersectionOf _:genid82 .
_:genid82 a rdf:List;
rdf:first :CsVFDState;
rdf:rest _:genid81 .
_:genid81 a rdf:List;
rdf:first :CspXaState;
rdf:rest rdf:nil .
:CsVFDpxAState a owl:Class;
owl:equivalentClass _:genid83;
rdfs:subClassOf :CsSimpleState, :CsVFDState, :CspxAState, :FixDeployedState .
_:genid83 a owl:Class;
owl:intersectionOf _:genid85 .
_:genid85 a rdf:List;
rdf:first :CsVFDState;
rdf:rest _:genid84 .
_:genid84 a rdf:List;
rdf:first :CspxAState;
rdf:rest rdf:nil .
:CsVFDpxaState a owl:Class;
owl:equivalentClass _:genid86;
rdfs:subClassOf :CsSimpleState, :CsVFDState, :CspxaState, :FixDeployedState .
_:genid86 a owl:Class;
owl:intersectionOf _:genid88 .
_:genid88 a rdf:List;
rdf:first :CsVFDState;
rdf:rest _:genid87 .
_:genid87 a rdf:List;
rdf:first :CspxaState;
rdf:rest rdf:nil .
:CsVFdPXAState a owl:Class;
owl:equivalentClass _:genid89;
rdfs:subClassOf :CsPXAState, :CsSimpleState, :CsVFdState .
_:genid89 a owl:Class;
owl:intersectionOf _:genid91 .
_:genid91 a rdf:List;
rdf:first :CsPXAState;
rdf:rest _:genid90 .
_:genid90 a rdf:List;
rdf:first :CsVFdState;
rdf:rest rdf:nil .
:CsVFdPXaState a owl:Class;
owl:equivalentClass _:genid92;
rdfs:subClassOf :CsPXaState, :CsSimpleState, :CsVFdState .
_:genid92 a owl:Class;
owl:intersectionOf _:genid94 .
_:genid94 a rdf:List;
rdf:first :CsPXaState;
rdf:rest _:genid93 .
_:genid93 a rdf:List;
rdf:first :CsVFdState;
rdf:rest rdf:nil .
:CsVFdPxAState a owl:Class;
owl:equivalentClass _:genid95;
rdfs:subClassOf :CsPxAState, :CsSimpleState, :CsVFdState .
_:genid95 a owl:Class;
owl:intersectionOf _:genid97 .
_:genid97 a rdf:List;
rdf:first :CsPxAState;
rdf:rest _:genid96 .
_:genid96 a rdf:List;
rdf:first :CsVFdState;
rdf:rest rdf:nil .
:CsVFdPxaState a owl:Class;
owl:equivalentClass _:genid98;
rdfs:subClassOf :CsPxaState, :CsSimpleState, :CsVFdState .
_:genid98 a owl:Class;
owl:intersectionOf _:genid100 .
_:genid100 a rdf:List;
rdf:first :CsPxaState;
rdf:rest _:genid99 .
_:genid99 a rdf:List;
rdf:first :CsVFdState;
rdf:rest rdf:nil .
:CsVFdState a owl:Class;
owl:equivalentClass _:genid101;
rdfs:subClassOf :CsFixNotDeployedState, :CsVendorFixPathState, :FixReadyState .
_:genid101 a owl:Class;
owl:intersectionOf _:genid104 .
_:genid104 a rdf:List;
rdf:first :CsFixNotDeployedState;
rdf:rest _:genid103 .
_:genid103 a rdf:List;
rdf:first :CsFixReadyState;
rdf:rest _:genid102 .
_:genid102 a rdf:List;
rdf:first :CsVendorAwareState;
rdf:rest rdf:nil .
:CsVFdpXAState a owl:Class;
owl:equivalentClass _:genid105;
rdfs:subClassOf :CsSimpleState, :CsVFdState, :CspXAState .
_:genid105 a owl:Class;
owl:intersectionOf _:genid107 .
_:genid107 a rdf:List;
rdf:first :CsVFdState;
rdf:rest _:genid106 .
_:genid106 a rdf:List;
rdf:first :CspXAState;
rdf:rest rdf:nil .
:CsVFdpXaState a owl:Class;
owl:equivalentClass _:genid108;
rdfs:subClassOf :CsSimpleState, :CsVFdState, :CspXaState .
_:genid108 a owl:Class;
owl:intersectionOf _:genid110 .
_:genid110 a rdf:List;
rdf:first :CsVFdState;
rdf:rest _:genid109 .
_:genid109 a rdf:List;
rdf:first :CspXaState;
rdf:rest rdf:nil .
:CsVFdpxAState a owl:Class;
owl:equivalentClass _:genid111;
rdfs:subClassOf :CsSimpleState, :CsVFdState, :CspxAState .
_:genid111 a owl:Class;
owl:intersectionOf _:genid113 .
_:genid113 a rdf:List;
rdf:first :CsVFdState;
rdf:rest _:genid112 .
_:genid112 a rdf:List;
rdf:first :CspxAState;
rdf:rest rdf:nil .
:CsVFdpxaState a owl:Class;
owl:equivalentClass _:genid114;
rdfs:subClassOf :CsSimpleState, :CsVFdState, :CspxaState .
_:genid114 a owl:Class;
owl:intersectionOf _:genid116 .
_:genid116 a rdf:List;
rdf:first :CsVFdState;
rdf:rest _:genid115 .
_:genid115 a rdf:List;
rdf:first :CspxaState;
rdf:rest rdf:nil .
:CsVSymbol a owl:Class;
rdfs:subClassOf :CaseStateSymbol .
:CsVendorAwareState a owl:Class;
rdfs:subClassOf :CsParticipantSpecificState, :CsSubstate;
owl:disjointWith :CsVendorUnawareState .
:CsVendorFixPathState a owl:Class;
rdfs:subClassOf :CaseState;
rdfs:comment "Organizes Case States along the vendor fix path" .
:CsVendorUnawareState a owl:Class;
rdfs:subClassOf :CsParticipantSpecificState, :CsSubstate .
:CsVfdPXAState a owl:Class;
owl:equivalentClass _:genid117;
rdfs:subClassOf :CsPXAState, :CsSimpleState, :CsVfdState .
_:genid117 a owl:Class;
owl:intersectionOf _:genid119 .
_:genid119 a rdf:List;
rdf:first :CsPXAState;
rdf:rest _:genid118 .
_:genid118 a rdf:List;
rdf:first :CsVfdState;
rdf:rest rdf:nil .
:CsVfdPXaState a owl:Class;
owl:equivalentClass _:genid120;
rdfs:subClassOf :CsPXaState, :CsSimpleState, :CsVfdState .
_:genid120 a owl:Class;
owl:intersectionOf _:genid122 .
_:genid122 a rdf:List;
rdf:first :CsPXaState;
rdf:rest _:genid121 .
_:genid121 a rdf:List;
rdf:first :CsVfdState;
rdf:rest rdf:nil .
:CsVfdPxAState a owl:Class;
owl:equivalentClass _:genid123;
rdfs:subClassOf :CsPxAState, :CsSimpleState, :CsVfdState .
_:genid123 a owl:Class;
owl:intersectionOf _:genid125 .
_:genid125 a rdf:List;
rdf:first :CsPxAState;
rdf:rest _:genid124 .
_:genid124 a rdf:List;
rdf:first :CsVfdState;
rdf:rest rdf:nil .
:CsVfdPxaState a owl:Class;
owl:equivalentClass _:genid126;
rdfs:subClassOf :CsPxaState, :CsSimpleState, :CsVfdState .
_:genid126 a owl:Class;
owl:intersectionOf _:genid128 .
_:genid128 a rdf:List;
rdf:first :CsPxaState;
rdf:rest _:genid127 .
_:genid127 a rdf:List;
rdf:first :CsVfdState;
rdf:rest rdf:nil .
:CsVfdState a owl:Class;
owl:equivalentClass _:genid129;
rdfs:subClassOf :CsVendorFixPathState .
_:genid129 a owl:Class;
owl:intersectionOf _:genid132 .
_:genid132 a rdf:List;
rdf:first :CsFixNotDeployedState;
rdf:rest _:genid131 .
_:genid131 a rdf:List;
rdf:first :CsFixNotReadyState;
rdf:rest _:genid130 .
_:genid130 a rdf:List;
rdf:first :CsVendorAwareState;
rdf:rest rdf:nil .
:CsVfdpXAState a owl:Class;
owl:equivalentClass _:genid133;
rdfs:subClassOf :CsSimpleState, :CsVfdState, :CspXAState .
_:genid133 a owl:Class;
owl:intersectionOf _:genid135 .
_:genid135 a rdf:List;
rdf:first :CsVfdState;
rdf:rest _:genid134 .
_:genid134 a rdf:List;
rdf:first :CspXAState;
rdf:rest rdf:nil .
:CsVfdpXaState a owl:Class;
owl:equivalentClass _:genid136;
rdfs:subClassOf :CsSimpleState, :CsVfdState, :CspXaState .
_:genid136 a owl:Class;
owl:intersectionOf _:genid138 .
_:genid138 a rdf:List;
rdf:first :CsVfdState;
rdf:rest _:genid137 .
_:genid137 a rdf:List;
rdf:first :CspXaState;
rdf:rest rdf:nil .
:CsVfdpxAState a owl:Class;
owl:equivalentClass _:genid139;
rdfs:subClassOf :CsSimpleState, :CsVfdState, :CspxAState .
_:genid139 a owl:Class;
owl:intersectionOf _:genid141 .
_:genid141 a rdf:List;
rdf:first :CsVfdState;
rdf:rest _:genid140 .
_:genid140 a rdf:List;
rdf:first :CspxAState;
rdf:rest rdf:nil .
:CsVfdpxaState a owl:Class;
owl:equivalentClass _:genid142;
rdfs:subClassOf :CsSimpleState, :CsVfdState, :CspxaState .
_:genid142 a owl:Class;
owl:intersectionOf _:genid144 .
_:genid144 a rdf:List;
rdf:first :CsVfdState;
rdf:rest _:genid143 .
_:genid143 a rdf:List;
rdf:first :CspxaState;
rdf:rest rdf:nil .
:CsXSymbol a owl:Class;
rdfs:subClassOf :CaseStateSymbol .
:CspXAState a owl:Class;
owl:equivalentClass _:genid145;
rdfs:subClassOf :CsPublicAwarenessExploitAttacksState .
_:genid145 a owl:Class;
owl:intersectionOf _:genid148 .
_:genid148 a rdf:List;
rdf:first :CsAttacksObservedState;
rdf:rest _:genid147 .
_:genid147 a rdf:List;
rdf:first :CsPublicExploitState;
rdf:rest _:genid146 .
_:genid146 a rdf:List;
rdf:first :CsPublicUnawareState;
rdf:rest rdf:nil .
:CspXaState a owl:Class;
owl:equivalentClass _:genid149;
rdfs:subClassOf :CsPublicAwarenessExploitAttacksState .
_:genid149 a owl:Class;
owl:intersectionOf _:genid152 .
_:genid152 a rdf:List;
rdf:first :CsNoAttacksObservedState;
rdf:rest _:genid151 .
_:genid151 a rdf:List;
rdf:first :CsPublicExploitState;
rdf:rest _:genid150 .
_:genid150 a rdf:List;
rdf:first :CsPublicUnawareState;
rdf:rest rdf:nil .
:CspxAState a owl:Class;
owl:equivalentClass _:genid153;
rdfs:subClassOf :CsPublicAwarenessExploitAttacksState .
_:genid153 a owl:Class;
owl:intersectionOf _:genid156 .
_:genid156 a rdf:List;
rdf:first :CsAttacksObservedState;
rdf:rest _:genid155 .
_:genid155 a rdf:List;
rdf:first :CsNoPublicExploitState;
rdf:rest _:genid154 .
_:genid154 a rdf:List;
rdf:first :CsPublicUnawareState;
rdf:rest rdf:nil .
:CspxaState a owl:Class;
owl:equivalentClass _:genid157;
rdfs:subClassOf :CsPublicAwarenessExploitAttacksState .
_:genid157 a owl:Class;
owl:intersectionOf _:genid160 .
_:genid160 a rdf:List;
rdf:first :CsNoAttacksObservedState;
rdf:rest _:genid159 .
_:genid159 a rdf:List;
rdf:first :CsNoPublicExploitState;
rdf:rest _:genid158 .
_:genid158 a rdf:List;
rdf:first :CsPublicUnawareState;
rdf:rest rdf:nil .
:CsvfdPXAState a owl:Class;
owl:equivalentClass _:genid161;
rdfs:subClassOf :CsPXAState, :CsSimpleState, :CsvfdState, :IgnorantVendorState .
_:genid161 a owl:Class;
owl:intersectionOf _:genid163 .
_:genid163 a rdf:List;
rdf:first :CsPXAState;
rdf:rest _:genid162 .
_:genid162 a rdf:List;
rdf:first :CsvfdState;
rdf:rest rdf:nil .
:CsvfdPXaState a owl:Class;
owl:equivalentClass _:genid164;
rdfs:subClassOf :CsPXaState, :CsSimpleState, :CsvfdState, :IgnorantVendorState .
_:genid164 a owl:Class;
owl:intersectionOf _:genid166 .
_:genid166 a rdf:List;
rdf:first :CsPXaState;
rdf:rest _:genid165 .
_:genid165 a rdf:List;
rdf:first :CsvfdState;
rdf:rest rdf:nil .
:CsvfdPxAState a owl:Class;
owl:equivalentClass _:genid167;
rdfs:subClassOf :CsPxAState, :CsSimpleState, :CsvfdState, :IgnorantVendorState .
_:genid167 a owl:Class;
owl:intersectionOf _:genid169 .
_:genid169 a rdf:List;
rdf:first :CsPxAState;
rdf:rest _:genid168 .
_:genid168 a rdf:List;
rdf:first :CsvfdState;
rdf:rest rdf:nil .
:CsvfdPxaState a owl:Class;
owl:equivalentClass _:genid170;
rdfs:subClassOf :CsPxaState, :CsSimpleState, :CsvfdState, :IgnorantVendorState .
_:genid170 a owl:Class;
owl:intersectionOf _:genid172 .
_:genid172 a rdf:List;
rdf:first :CsPxaState;
rdf:rest _:genid171 .
_:genid171 a rdf:List;
rdf:first :CsvfdState;
rdf:rest rdf:nil .
:CsvfdState a owl:Class;
owl:equivalentClass :IgnorantVendorState, _:genid173;
rdfs:subClassOf :CsFixNotDeployedState, :CsFixNotReadyState, :CsVendorFixPathState,
:CsVendorUnawareState .
_:genid173 a owl:Class;
owl:intersectionOf _:genid176 .
_:genid176 a rdf:List;
rdf:first :CsFixNotDeployedState;
rdf:rest _:genid175 .
_:genid175 a rdf:List;
rdf:first :CsFixNotReadyState;
rdf:rest _:genid174 .
_:genid174 a rdf:List;
rdf:first :CsVendorUnawareState;
rdf:rest rdf:nil .
:CsvfdpXAState a owl:Class;
owl:equivalentClass _:genid177;
rdfs:subClassOf :CsSimpleState, :CspXAState, :CsvfdState, :IgnorantVendorState .
_:genid177 a owl:Class;
owl:intersectionOf _:genid179 .
_:genid179 a rdf:List;
rdf:first :CspXAState;
rdf:rest _:genid178 .
_:genid178 a rdf:List;
rdf:first :CsvfdState;
rdf:rest rdf:nil .
:CsvfdpXaState a owl:Class;
owl:equivalentClass _:genid180;
rdfs:subClassOf :CsSimpleState, :CspXaState, :CsvfdState, :IgnorantVendorState .
_:genid180 a owl:Class;
owl:intersectionOf _:genid182 .
_:genid182 a rdf:List;
rdf:first :CspXaState;
rdf:rest _:genid181 .
_:genid181 a rdf:List;
rdf:first :CsvfdState;
rdf:rest rdf:nil .
:CsvfdpxAState a owl:Class;
owl:equivalentClass _:genid183;
rdfs:subClassOf :CsSimpleState, :CspxAState, :CsvfdState, :IgnorantVendorState .
_:genid183 a owl:Class;
owl:intersectionOf _:genid185 .
_:genid185 a rdf:List;
rdf:first :CspxAState;
rdf:rest _:genid184 .
_:genid184 a rdf:List;
rdf:first :CsvfdState;
rdf:rest rdf:nil .
:CsvfdpxaState a owl:Class;
owl:equivalentClass _:genid186;
rdfs:subClassOf :CsSimpleState, :CspxaState, :CsvfdState, :IgnorantVendorState .
_:genid186 a owl:Class;
owl:intersectionOf _:genid188 .
_:genid188 a rdf:List;
rdf:first :CspxaState;
rdf:rest _:genid187 .
_:genid187 a rdf:List;
rdf:first :CsvfdState;
rdf:rest rdf:nil .
:EmASymbol a owl:Class;
rdfs:subClassOf :EmbargoManagementSymbol .
:EmActiveState a owl:Class;
rdfs:subClassOf :ActiveEmbargoState, :EmSimpleState .
:EmApRTransition a owl:Class;
owl:equivalentClass _:genid189;
rdfs:subClassOf :EmSimpleTransition .
_:genid189 a owl:Class;
owl:intersectionOf _:genid192 .
_:genid192 a rdf:List;
rdf:first :EmFromActiveTransition;
rdf:rest _:genid191 .
_:genid191 a rdf:List;
rdf:first :EmOnProposeTransition;
rdf:rest _:genid190 .
_:genid190 a rdf:List;
rdf:first :EmToReviseTransition;
rdf:rest rdf:nil .
:EmAtXTransition a owl:Class;
owl:equivalentClass _:genid193;
rdfs:subClassOf :EmSimpleTransition .
_:genid193 a owl:Class;
owl:intersectionOf _:genid196 .
_:genid196 a rdf:List;
rdf:first :EmFromActiveTransition;
rdf:rest _:genid195 .
_:genid195 a rdf:List;
rdf:first :EmOnTerminateTransition;
rdf:rest _:genid194 .
_:genid194 a rdf:List;
rdf:first :EmToExitedTransition;
rdf:rest rdf:nil .
:EmCompoundState a owl:Class;
rdfs:subClassOf :EmbargoManagementState .
:EmExitedState a owl:Class;
rdfs:subClassOf :EmSimpleState, :NoActiveEmbargoState .
:EmFromActiveTransition a owl:Class;
owl:equivalentClass _:genid197;
rdfs:subClassOf :EmTransition .
_:genid197 a owl:Restriction;
owl:someValuesFrom :EmActiveState;
owl:onProperty dfa:fromState .
:EmFromNoneTransition a owl:Class;
owl:equivalentClass _:genid198;
rdfs:subClassOf :EmTransition .
_:genid198 a owl:Restriction;
owl:someValuesFrom :EmNoneState;
owl:onProperty dfa:fromState .
:EmFromProposedTransition a owl:Class;
owl:equivalentClass _:genid199;
rdfs:subClassOf :EmTransition .
_:genid199 a owl:Restriction;
owl:someValuesFrom :EmProposedState;
owl:onProperty dfa:fromState .
:EmFromReviseTransition a owl:Class;
owl:equivalentClass _:genid200;
rdfs:subClassOf :EmTransition .
_:genid200 a owl:Restriction;
owl:someValuesFrom :EmReviseState;
owl:onProperty dfa:fromState .
:EmNoneState a owl:Class;
rdfs:subClassOf :EmSimpleState, :NoActiveEmbargoState .
:EmNpPTransition a owl:Class;
owl:equivalentClass _:genid201;
rdfs:subClassOf :EmSimpleTransition .
_:genid201 a owl:Class;
owl:intersectionOf _:genid204 .
_:genid204 a rdf:List;
rdf:first :EmFromNoneTransition;
rdf:rest _:genid203 .
_:genid203 a rdf:List;
rdf:first :EmOnProposeTransition;
rdf:rest _:genid202 .
_:genid202 a rdf:List;
rdf:first :EmToProposeTransition;
rdf:rest rdf:nil .
:EmOnActivateTransition a owl:Class;
owl:equivalentClass _:genid205;
rdfs:subClassOf :EmTransition .
_:genid205 a owl:Restriction;
owl:someValuesFrom :EmASymbol;
owl:onProperty dfa:onSymbol .
:EmOnProposeTransition a owl:Class;
owl:equivalentClass _:genid206;
rdfs:subClassOf :EmTransition .
_:genid206 a owl:Restriction;
owl:someValuesFrom :EmPSymbol;
owl:onProperty dfa:onSymbol .
:EmOnRejectTransition a owl:Class;
owl:equivalentClass _:genid207;
rdfs:subClassOf :EmTransition .
_:genid207 a owl:Restriction;
owl:someValuesFrom :EmRSymbol;
owl:onProperty dfa:onSymbol .
:EmOnTerminateTransition a owl:Class;
owl:equivalentClass _:genid208;
rdfs:subClassOf :EmTransition .
_:genid208 a owl:Restriction;
owl:someValuesFrom :EmTSymbol;
owl:onProperty dfa:onSymbol .
:EmPSymbol a owl:Class;
rdfs:subClassOf :EmbargoManagementSymbol .
:EmPaATransition a owl:Class;
owl:equivalentClass _:genid209;
rdfs:subClassOf :EmSimpleTransition .
_:genid209 a owl:Class;
owl:intersectionOf _:genid212 .
_:genid212 a rdf:List;
rdf:first :EmFromProposedTransition;
rdf:rest _:genid211 .
_:genid211 a rdf:List;
rdf:first :EmOnActivateTransition;
rdf:rest _:genid210 .
_:genid210 a rdf:List;
rdf:first :EmToActiveTransition;
rdf:rest rdf:nil .
:EmPpPTransition a owl:Class;
owl:equivalentClass _:genid213;
rdfs:subClassOf :EmSimpleTransition .
_:genid213 a owl:Class;
owl:intersectionOf _:genid216 .
_:genid216 a rdf:List;
rdf:first :EmFromProposedTransition;
rdf:rest _:genid215 .
_:genid215 a rdf:List;
rdf:first :EmOnProposeTransition;
rdf:rest _:genid214 .
_:genid214 a rdf:List;
rdf:first :EmToProposeTransition;
rdf:rest rdf:nil .
:EmPrNTransition a owl:Class;
owl:equivalentClass _:genid217 .
_:genid217 a owl:Class;
owl:intersectionOf _:genid220 .
_:genid220 rdf:rest _:genid219 .
_:genid219 rdf:first :EmOnRejectTransition;
rdf:rest _:genid218 .
_:genid218 a rdf:List;
rdf:first :EmToNoneTransition;
rdf:rest rdf:nil .
#
# http://www.cert.org/ns/vultron_process#EmProposedState
#
# http://www.cert.org/ns/vultron_process#EmRSymbol
#
# http://www.cert.org/ns/vultron_process#EmRaATransition
#
# http://www.cert.org/ns/vultron_process#EmReviseState
#
# http://www.cert.org/ns/vultron_process#EmRpRTransition
#
# http://www.cert.org/ns/vultron_process#EmRrATransition
#
# http://www.cert.org/ns/vultron_process#EmRtXTransition
#
# http://www.cert.org/ns/vultron_process#EmSimpleState
#
# http://www.cert.org/ns/vultron_process#EmSimpleTransition
#
# http://www.cert.org/ns/vultron_process#EmTSymbol
#
# http://www.cert.org/ns/vultron_process#EmToActiveTransition
#
# http://www.cert.org/ns/vultron_process#EmToExitedTransition
#
# http://www.cert.org/ns/vultron_process#EmToNoneTransition
#
# http://www.cert.org/ns/vultron_process#EmToProposeTransition
#
# http://www.cert.org/ns/vultron_process#EmToReviseTransition
#
# http://www.cert.org/ns/vultron_process#EmTransition
#
# http://www.cert.org/ns/vultron_process#EmbargoManagementProcess
#
# http://www.cert.org/ns/vultron_process#EmbargoManagementState
#
# http://www.cert.org/ns/vultron_process#EmbargoManagementSymbol
#
# http://www.cert.org/ns/vultron_process#ExploitPublicationTransition
#
# http://www.cert.org/ns/vultron_process#FixDeployedState
#
# http://www.cert.org/ns/vultron_process#FixDeploymentTransition
#
# http://www.cert.org/ns/vultron_process#FixReadinessTransition
#
# http://www.cert.org/ns/vultron_process#FixReadyState
#
# http://www.cert.org/ns/vultron_process#IgnorantVendorState
#
# http://www.cert.org/ns/vultron_process#NoActiveEmbargoState
#
# http://www.cert.org/ns/vultron_process#ParticipantAgnosticState
#
# http://www.cert.org/ns/vultron_process#ParticipantSpecificState
#
# http://www.cert.org/ns/vultron_process#ProcessModel
#
# http://www.cert.org/ns/vultron_process#PublicAwarenessTransition
#
# http://www.cert.org/ns/vultron_process#ReportManagementProcess
#
# http://www.cert.org/ns/vultron_process#ReportManagementState
#
# http://www.cert.org/ns/vultron_process#ReportManagementSymbol
#
# http://www.cert.org/ns/vultron_process#RmASymbol
#
# http://www.cert.org/ns/vultron_process#RmAcCTransition
#
# http://www.cert.org/ns/vultron_process#RmAcceptedState
#
# http://www.cert.org/ns/vultron_process#RmActiveState
#
# http://www.cert.org/ns/vultron_process#RmAdDTransition
#
# http://www.cert.org/ns/vultron_process#RmCSymbol
#
# http://www.cert.org/ns/vultron_process#RmClosedState
#
# http://www.cert.org/ns/vultron_process#RmCompoundState
#
# http://www.cert.org/ns/vultron_process#RmDSymbol
#
# http://www.cert.org/ns/vultron_process#RmDaATransition
#
# http://www.cert.org/ns/vultron_process#RmDcCTransition
#
# http://www.cert.org/ns/vultron_process#RmDeferredState
#
# http://www.cert.org/ns/vultron_process#RmFromAcceptedTransition
#
# http://www.cert.org/ns/vultron_process#RmFromDeferredTransition
#
# http://www.cert.org/ns/vultron_process#RmFromInvalidTransition
#
# http://www.cert.org/ns/vultron_process#RmFromReceivedTransition
#
# http://www.cert.org/ns/vultron_process#RmFromStartTransition
#
# http://www.cert.org/ns/vultron_process#RmFromValidTransition
#
# http://www.cert.org/ns/vultron_process#RmISymbol
#
# http://www.cert.org/ns/vultron_process#RmIcCTransition
#
# http://www.cert.org/ns/vultron_process#RmInactiveState
#
# http://www.cert.org/ns/vultron_process#RmInvalidState
#
# http://www.cert.org/ns/vultron_process#RmIvVTransition
#
# http://www.cert.org/ns/vultron_process#RmOnAcceptTransition
#
# http://www.cert.org/ns/vultron_process#RmOnCloseTransition
#
# http://www.cert.org/ns/vultron_process#RmOnDeferTransition
#
# http://www.cert.org/ns/vultron_process#RmOnInvalidateTransition
#
# http://www.cert.org/ns/vultron_process#RmOnReceiveTransition
#
# http://www.cert.org/ns/vultron_process#RmOnValidateTransition
#
# http://www.cert.org/ns/vultron_process#RmOpenState
#
# http://www.cert.org/ns/vultron_process#RmPotentiallyValidYetUnclosedState
#
# http://www.cert.org/ns/vultron_process#RmRSymbol
#
# http://www.cert.org/ns/vultron_process#RmReceivedState
#
# http://www.cert.org/ns/vultron_process#RmRiVTransition
#
# http://www.cert.org/ns/vultron_process#RmRvVTransition
#
# http://www.cert.org/ns/vultron_process#RmSimpleState
#
# http://www.cert.org/ns/vultron_process#RmSimpleTransition
#
# http://www.cert.org/ns/vultron_process#RmSrRTransition
#
# http://www.cert.org/ns/vultron_process#RmStartState
#
# http://www.cert.org/ns/vultron_process#RmToAcceptedTransition
#
# http://www.cert.org/ns/vultron_process#RmToClosedTransition
#
# http://www.cert.org/ns/vultron_process#RmToDeferredTransition
#
# http://www.cert.org/ns/vultron_process#RmToInvalidTransition
#
# http://www.cert.org/ns/vultron_process#RmToReceivedTransition
#
# http://www.cert.org/ns/vultron_process#RmToValidTransition
#
# http://www.cert.org/ns/vultron_process#RmTransition
#
# http://www.cert.org/ns/vultron_process#RmVSymbol
#
# http://www.cert.org/ns/vultron_process#RmVaATransition
#
# http://www.cert.org/ns/vultron_process#RmValidState
#
# http://www.cert.org/ns/vultron_process#RmValidYetUnclosedState
#
# http://www.cert.org/ns/vultron_process#RmVdDTransition
#
# http://www.cert.org/ns/vultron_process#VendorAwareState
#
# http://www.cert.org/ns/vultron_process#VendorAwarenessTransition
#
#
#
# #################################################################
# #
# # General axioms
# #
# #################################################################
#
#
#
# Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi
_:genid219 a rdf:List .
_:genid220 a rdf:List;
rdf:first :EmFromProposedTransition .
:EmPrNTransition rdfs:subClassOf :EmSimpleTransition .
:EmProposedState a owl:Class;
rdfs:subClassOf :EmSimpleState, :NoActiveEmbargoState .
:EmRSymbol a owl:Class;
rdfs:subClassOf :EmbargoManagementSymbol .
:EmRaATransition a owl:Class;
owl:equivalentClass _:genid221;
rdfs:subClassOf :EmSimpleTransition .
_:genid221 a owl:Class;
owl:intersectionOf _:genid224 .
_:genid224 a rdf:List;
rdf:first :EmFromReviseTransition;
rdf:rest _:genid223 .
_:genid223 a rdf:List;
rdf:first :EmOnActivateTransition;
rdf:rest _:genid222 .
_:genid222 a rdf:List;
rdf:first :EmToActiveTransition;
rdf:rest rdf:nil .
:EmReviseState a owl:Class;
rdfs:subClassOf :ActiveEmbargoState, :EmSimpleState .
:EmRpRTransition a owl:Class;
owl:equivalentClass _:genid225;
rdfs:subClassOf :EmSimpleTransition .
_:genid225 a owl:Class;
owl:intersectionOf _:genid228 .
_:genid228 a rdf:List;
rdf:first :EmFromReviseTransition;
rdf:rest _:genid227 .
_:genid227 a rdf:List;
rdf:first :EmOnProposeTransition;
rdf:rest _:genid226 .
_:genid226 a rdf:List;
rdf:first :EmToReviseTransition;
rdf:rest rdf:nil .
:EmRrATransition a owl:Class;
owl:equivalentClass _:genid229;
rdfs:subClassOf :EmSimpleTransition .
_:genid229 a owl:Class;
owl:intersectionOf _:genid232 .
_:genid232 a rdf:List;
rdf:first :EmFromReviseTransition;
rdf:rest _:genid231 .
_:genid231 a rdf:List;
rdf:first :EmOnRejectTransition;
rdf:rest _:genid230 .
_:genid230 a rdf:List;
rdf:first :EmToActiveTransition;
rdf:rest rdf:nil .
:EmRtXTransition a owl:Class;
owl:equivalentClass _:genid233;
rdfs:subClassOf :EmSimpleTransition .
_:genid233 a owl:Class;
owl:intersectionOf _:genid236 .
_:genid236 a rdf:List;
rdf:first :EmFromReviseTransition;
rdf:rest _:genid235 .
_:genid235 a rdf:List;
rdf:first :EmOnTerminateTransition;
rdf:rest _:genid234 .
_:genid234 a rdf:List;
rdf:first :EmToExitedTransition;
rdf:rest rdf:nil .
:EmSimpleState a owl:Class;
rdfs:subClassOf :EmbargoManagementState;
rdfs:comment "Basic Embargo Management States" .
:EmSimpleTransition a owl:Class;
rdfs:subClassOf :EmTransition .
:EmTSymbol a owl:Class;
rdfs:subClassOf :EmbargoManagementSymbol .
:EmToActiveTransition a owl:Class;
owl:equivalentClass _:genid237;
rdfs:subClassOf :EmTransition .
_:genid237 a owl:Restriction;
owl:someValuesFrom :EmActiveState;
owl:onProperty dfa:toState .
:EmToExitedTransition a owl:Class;
owl:equivalentClass _:genid238;
rdfs:subClassOf :EmTransition .
_:genid238 a owl:Restriction;
owl:someValuesFrom :EmExitedState;
owl:onProperty dfa:toState .
:EmToNoneTransition a owl:Class;
owl:equivalentClass _:genid239;
rdfs:subClassOf :EmTransition .
_:genid239 a owl:Restriction;
owl:someValuesFrom :EmNoneState;
owl:onProperty dfa:toState .
:EmToProposeTransition a owl:Class;
owl:equivalentClass _:genid240;
rdfs:subClassOf :EmTransition .
_:genid240 a owl:Restriction;
owl:someValuesFrom :EmProposedState;
owl:onProperty dfa:toState .
:EmToReviseTransition a owl:Class;
owl:equivalentClass _:genid241;
rdfs:subClassOf :EmTransition .
_:genid241 a owl:Restriction;
owl:someValuesFrom :EmReviseState;
owl:onProperty dfa:toState .
:EmTransition a owl:Class;
owl:equivalentClass _:genid242;
rdfs:subClassOf dfa:Transition .
_:genid242 a owl:Class;
owl:intersectionOf _:genid249 .
_:genid249 a rdf:List;
rdf:first dfa:Transition;
rdf:rest _:genid247 .
_:genid247 a rdf:List;
rdf:first _:genid248;
rdf:rest _:genid245 .
_:genid245 a rdf:List;
rdf:first _:genid246;
rdf:rest _:genid243 .
_:genid243 a rdf:List;
rdf:first _:genid244;
rdf:rest rdf:nil .
_:genid244 a owl:Restriction;
owl:someValuesFrom :EmSimpleState;
owl:onProperty dfa:toState .
_:genid246 a owl:Restriction;
owl:someValuesFrom :EmbargoManagementSymbol;
owl:onProperty dfa:onSymbol .
_:genid248 a owl:Restriction;
owl:someValuesFrom :EmSimpleState;
owl:onProperty dfa:fromState .
:EmbargoManagementProcess a owl:Class;
owl:equivalentClass _:genid250;
rdfs:subClassOf :ProcessModel;
rdfs:comment "A VultronProcess describing the embargo management process model" .
_:genid250 a owl:Class;
owl:intersectionOf _:genid271 .
_:genid271 a rdf:List;
rdf:first dfa:DeterministicFiniteAutomata;
rdf:rest _:genid269 .
_:genid269 a rdf:List;
rdf:first _:genid270;
rdf:rest _:genid267 .
_:genid267 a rdf:List;
rdf:first _:genid268;
rdf:rest _:genid265 .
_:genid265 a rdf:List;
rdf:first _:genid266;
rdf:rest _:genid263 .
_:genid263 a rdf:List;
rdf:first _:genid264;
rdf:rest _:genid261 .
_:genid261 a rdf:List;
rdf:first _:genid262;
rdf:rest _:genid259 .
_:genid259 a rdf:List;
rdf:first _:genid260;
rdf:rest _:genid257 .
_:genid257 a rdf:List;
rdf:first _:genid258;
rdf:rest _:genid255 .
_:genid255 a rdf:List;
rdf:first _:genid256;
rdf:rest _:genid253 .
_:genid253 a rdf:List;
rdf:first _:genid254;
rdf:rest _:genid251 .
_:genid251 a rdf:List;
rdf:first _:genid252;
rdf:rest rdf:nil .
_:genid252 a owl:Restriction;
owl:allValuesFrom :EmTransition;
owl:onProperty dfa:hasTransition .
_:genid254 a owl:Restriction;
owl:allValuesFrom :EmbargoManagementState;
owl:onProperty dfa:hasState .
_:genid256 a owl:Restriction;
owl:allValuesFrom :EmNoneState;
owl:onProperty dfa:hasStartState .
_:genid258 a owl:Restriction;
owl:allValuesFrom :EmbargoManagementSymbol;
owl:onProperty dfa:hasInputSymbol .
_:genid260 a owl:Restriction;
owl:allValuesFrom :EmExitedState;
owl:onProperty dfa:hasFinalState .
_:genid262 a owl:Restriction;
owl:someValuesFrom :EmTransition;
owl:onProperty dfa:hasTransition .
_:genid264 a owl:Restriction;
owl:someValuesFrom :EmbargoManagementState;
owl:onProperty dfa:hasState .
_:genid266 a owl:Restriction;
owl:someValuesFrom :EmNoneState;
owl:onProperty dfa:hasStartState .
_:genid268 a owl:Restriction;
owl:someValuesFrom :EmbargoManagementSymbol;
owl:onProperty dfa:hasInputSymbol .
_:genid270 a owl:Restriction;
owl:someValuesFrom :EmExitedState;
owl:onProperty dfa:hasFinalState .
:EmbargoManagementState a owl:Class;
rdfs:subClassOf dfa:State, :ParticipantAgnosticState;
rdfs:comment "An Embargo Management State" .
:EmbargoManagementSymbol a owl:Class;
rdfs:subClassOf dfa:Symbol .
:ExploitPublicationTransition a owl:Class;
owl:equivalentClass _:genid272;
rdfs:subClassOf :CsTransition .
_:genid272 a owl:Class;
owl:intersectionOf _:genid277 .
_:genid277 a rdf:List;
rdf:first _:genid278;
rdf:rest _:genid275 .
_:genid275 a rdf:List;
rdf:first _:genid276;
rdf:rest _:genid273 .
_:genid273 a rdf:List;
rdf:first _:genid274;
rdf:rest rdf:nil .
_:genid274 a owl:Restriction;
owl:someValuesFrom :CsPublicExploitState;
owl:onProperty dfa:toState .
_:genid276 a owl:Restriction;
owl:someValuesFrom :CsPSymbol;
owl:onProperty dfa:onSymbol .
_:genid278 a owl:Restriction;
owl:someValuesFrom :CsNoPublicExploitState;
owl:onProperty dfa:fromState .
:FixDeployedState a owl:Class;
rdfs:subClassOf :CsFixDeployedState, :FixReadyState .
:FixDeploymentTransition a owl:Class;
owl:equivalentClass _:genid279;
rdfs:subClassOf :CsTransition .
_:genid279 a owl:Class;
owl:intersectionOf _:genid284 .
_:genid284 a rdf:List;
rdf:first _:genid285;
rdf:rest _:genid282 .
_:genid282 a rdf:List;
rdf:first _:genid283;
rdf:rest _:genid280 .
_:genid280 a rdf:List;
rdf:first _:genid281;
rdf:rest rdf:nil .
_:genid281 a owl:Restriction;
owl:someValuesFrom :CsFixDeployedState;
owl:onProperty dfa:toState .
_:genid283 a owl:Restriction;
owl:someValuesFrom :CsDSymbol;
owl:onProperty dfa:onSymbol .
_:genid285 a owl:Restriction;
owl:someValuesFrom :CsFixNotDeployedState;
owl:onProperty dfa:fromState .
:FixReadinessTransition a owl:Class;
owl:equivalentClass _:genid286;
rdfs:subClassOf :CsTransition .
_:genid286 a owl:Class;
owl:intersectionOf _:genid291 .
_:genid291 a rdf:List;
rdf:first _:genid292;
rdf:rest _:genid289 .
_:genid289 a rdf:List;
rdf:first _:genid290;
rdf:rest _:genid287 .
_:genid287 a rdf:List;
rdf:first _:genid288;
rdf:rest rdf:nil .
_:genid288 a owl:Restriction;
owl:someValuesFrom :CsFixReadyState;
owl:onProperty dfa:toState .
_:genid290 a owl:Restriction;
owl:someValuesFrom :CsFSymbol;
owl:onProperty dfa:onSymbol .
_:genid292 a owl:Restriction;
owl:someValuesFrom :CsFixNotReadyState;
owl:onProperty dfa:fromState .
:FixReadyState a owl:Class;
owl:equivalentClass _:genid293;
rdfs:subClassOf :VendorAwareState .
_:genid293 a owl:Class;
owl:unionOf _:genid295 .
_:genid295 a rdf:List;
rdf:first :CsVFDState;
rdf:rest _:genid294 .
_:genid294 a rdf:List;
rdf:first :CsVFdState;
rdf:rest rdf:nil .
:IgnorantVendorState a owl:Class;
rdfs:subClassOf :CsFixNotDeployedState, :CsFixNotReadyState, :CsVendorFixPathState,
:CsVendorUnawareState .
:NoActiveEmbargoState a owl:Class;
owl:equivalentClass _:genid296, _:genid300;
rdfs:subClassOf :EmCompoundState .
_:genid296 a owl:Class;
owl:unionOf _:genid299 .
_:genid299 a rdf:List;
rdf:first :EmExitedState;
rdf:rest _:genid298 .
_:genid298 a rdf:List;
rdf:first :EmNoneState;
rdf:rest _:genid297 .
_:genid297 a rdf:List;
rdf:first :EmProposedState;
rdf:rest rdf:nil .
_:genid300 a owl:Class;
owl:unionOf _:genid302 .
_:genid302 a rdf:List;
rdf:first :EmNoneState;
rdf:rest _:genid301 .
_:genid301 a rdf:List;
rdf:first :EmProposedState;
rdf:rest rdf:nil .
:ParticipantAgnosticState a owl:Class;
rdfs:subClassOf dfa:State;
rdfs:comment "Vultron States that are global to a case" .
:ParticipantSpecificState a owl:Class;
rdfs:subClassOf dfa:State;
rdfs:comment "Vultron states that are unique to each case participant" .
:ProcessModel a owl:Class;
rdfs:subClassOf dfa:DeterministicFiniteAutomata .
:PublicAwarenessTransition a owl:Class;
owl:equivalentClass _:genid303;
rdfs:subClassOf :CsTransition .
_:genid303 a owl:Class;
owl:intersectionOf _:genid308 .
_:genid308 a rdf:List;
rdf:first _:genid309;
rdf:rest _:genid306 .
_:genid306 a rdf:List;
rdf:first _:genid307;
rdf:rest _:genid304 .
_:genid304 a rdf:List;
rdf:first _:genid305;
rdf:rest rdf:nil .
_:genid305 a owl:Restriction;
owl:someValuesFrom :CsPublicAwareState;
owl:onProperty dfa:toState .
_:genid307 a owl:Restriction;
owl:someValuesFrom :CsPSymbol;
owl:onProperty dfa:onSymbol .
_:genid309 a owl:Restriction;
owl:someValuesFrom :CsPublicUnawareState;
owl:onProperty dfa:fromState .
:ReportManagementProcess a owl:Class;
owl:equivalentClass _:genid310;
rdfs:subClassOf :ProcessModel;
rdfs:comment "A VultronProcess describing the report management process model" .
_:genid310 a owl:Class;
owl:intersectionOf _:genid331 .
_:genid331 a rdf:List;
rdf:first dfa:DeterministicFiniteAutomata;
rdf:rest _:genid329 .
_:genid329 a rdf:List;
rdf:first _:genid330;
rdf:rest _:genid327 .
_:genid327 a rdf:List;
rdf:first _:genid328;
rdf:rest _:genid325 .
_:genid325 a rdf:List;
rdf:first _:genid326;
rdf:rest _:genid323 .
_:genid323 a rdf:List;
rdf:first _:genid324;
rdf:rest _:genid321 .
_:genid321 a rdf:List;
rdf:first _:genid322;
rdf:rest _:genid319 .
_:genid319 a rdf:List;
rdf:first _:genid320;
rdf:rest _:genid317 .
_:genid317 a rdf:List;
rdf:first _:genid318;
rdf:rest _:genid315 .
_:genid315 a rdf:List;
rdf:first _:genid316;
rdf:rest _:genid313 .
_:genid313 a rdf:List;
rdf:first _:genid314;
rdf:rest _:genid311 .
_:genid311 a rdf:List;
rdf:first _:genid312;
rdf:rest rdf:nil .
_:genid312 a owl:Restriction;
owl:allValuesFrom :RmTransition;
owl:onProperty dfa:hasTransition .
_:genid314 a owl:Restriction;
owl:allValuesFrom :RmSimpleState;
owl:onProperty dfa:hasState .
_:genid316 a owl:Restriction;
owl:allValuesFrom :RmStartState;
owl:onProperty dfa:hasStartState .
_:genid318 a owl:Restriction;
owl:allValuesFrom :ReportManagementSymbol;
owl:onProperty dfa:hasInputSymbol .
_:genid320 a owl:Restriction;
owl:allValuesFrom :RmClosedState;
owl:onProperty dfa:hasFinalState .
_:genid322 a owl:Restriction;
owl:someValuesFrom :RmTransition;
owl:onProperty dfa:hasTransition .
_:genid324 a owl:Restriction;
owl:someValuesFrom :RmSimpleState;
owl:onProperty dfa:hasState .
_:genid326 a owl:Restriction;
owl:someValuesFrom :RmStartState;
owl:onProperty dfa:hasStartState .
_:genid328 a owl:Restriction;
owl:someValuesFrom :ReportManagementSymbol;
owl:onProperty dfa:hasInputSymbol .
_:genid330 a owl:Restriction;
owl:someValuesFrom :RmClosedState;
owl:onProperty dfa:hasFinalState .
:ReportManagementState a owl:Class;
rdfs:subClassOf dfa:State, :ParticipantSpecificState .
:ReportManagementSymbol a owl:Class;
rdfs:subClassOf dfa:Symbol .
:RmASymbol a owl:Class;
rdfs:subClassOf :ReportManagementSymbol .
:RmAcCTransition a owl:Class;
owl:equivalentClass _:genid332;
rdfs:subClassOf :RmSimpleTransition .
_:genid332 a owl:Class;
owl:intersectionOf _:genid335 .
_:genid335 a rdf:List;
rdf:first :RmFromAcceptedTransition;
rdf:rest _:genid334 .
_:genid334 a rdf:List;
rdf:first :RmOnCloseTransition;
rdf:rest _:genid333 .
_:genid333 a rdf:List;
rdf:first :RmToClosedTransition;
rdf:rest rdf:nil .
:RmAcceptedState a owl:Class;
rdfs:subClassOf :RmActiveState, :RmSimpleState, :RmValidYetUnclosedState .
:RmActiveState a owl:Class;
owl:equivalentClass _:genid336;
rdfs:subClassOf :RmCompoundState .
_:genid336 a owl:Class;
owl:unionOf _:genid339 .
_:genid339 a rdf:List;
rdf:first :RmAcceptedState;
rdf:rest _:genid338 .
_:genid338 a rdf:List;
rdf:first :RmReceivedState;
rdf:rest _:genid337 .
_:genid337 a rdf:List;
rdf:first :RmValidState;
rdf:rest rdf:nil .
:RmAdDTransition a owl:Class;
owl:equivalentClass _:genid340;
rdfs:subClassOf :RmSimpleTransition .
_:genid340 a owl:Class;
owl:intersectionOf _:genid343 .
_:genid343 a rdf:List;
rdf:first :RmFromAcceptedTransition;
rdf:rest _:genid342 .
_:genid342 a rdf:List;
rdf:first :RmOnDeferTransition;
rdf:rest _:genid341 .
_:genid341 a rdf:List;
rdf:first :RmToDeferredTransition;
rdf:rest rdf:nil .
:RmCSymbol a owl:Class;
rdfs:subClassOf :ReportManagementSymbol .
:RmClosedState a owl:Class;
rdfs:subClassOf :RmInactiveState, :RmSimpleState .
:RmCompoundState a owl:Class;
rdfs:subClassOf :ReportManagementState;
rdfs:comment "Report Management states that represent sets of simple states." .
:RmDSymbol a owl:Class;
rdfs:subClassOf :ReportManagementSymbol .
:RmDaATransition a owl:Class;
owl:equivalentClass _:genid344;
rdfs:subClassOf :RmSimpleTransition .
_:genid344 a owl:Class;
owl:intersectionOf _:genid347 .
_:genid347 a rdf:List;
rdf:first :RmFromDeferredTransition;
rdf:rest _:genid346 .
_:genid346 a rdf:List;
rdf:first :RmOnAcceptTransition;
rdf:rest _:genid345 .
_:genid345 a rdf:List;
rdf:first :RmToAcceptedTransition;
rdf:rest rdf:nil .
:RmDcCTransition a owl:Class;
owl:equivalentClass _:genid348;
rdfs:subClassOf :RmSimpleTransition .
_:genid348 a owl:Class;
owl:intersectionOf _:genid351 .
_:genid351 a rdf:List;
rdf:first :RmFromDeferredTransition;
rdf:rest _:genid350 .
_:genid350 a rdf:List;
rdf:first :RmOnCloseTransition;
rdf:rest _:genid349 .
_:genid349 a rdf:List;
rdf:first :RmToClosedTransition;
rdf:rest rdf:nil .
:RmDeferredState a owl:Class;
rdfs:subClassOf :RmInactiveState, :RmSimpleState, :RmValidYetUnclosedState .
:RmFromAcceptedTransition a owl:Class;
owl:equivalentClass _:genid352;
rdfs:subClassOf :RmTransition .
_:genid352 a owl:Restriction;
owl:someValuesFrom :RmAcceptedState;
owl:onProperty dfa:fromState .
:RmFromDeferredTransition a owl:Class;
owl:equivalentClass _:genid353;
rdfs:subClassOf :RmTransition .
_:genid353 a owl:Restriction;
owl:someValuesFrom :RmDeferredState;
owl:onProperty dfa:fromState .
:RmFromInvalidTransition a owl:Class;
owl:equivalentClass _:genid354;
rdfs:subClassOf :RmTransition .
_:genid354 a owl:Restriction;
owl:someValuesFrom :RmInvalidState;
owl:onProperty dfa:fromState .
:RmFromReceivedTransition a owl:Class;
owl:equivalentClass _:genid355;
rdfs:subClassOf :RmTransition .
_:genid355 a owl:Restriction;
owl:someValuesFrom :RmReceivedState;
owl:onProperty dfa:fromState .
:RmFromStartTransition a owl:Class;
owl:equivalentClass _:genid356;
rdfs:subClassOf :RmTransition .
_:genid356 a owl:Restriction;
owl:someValuesFrom :RmStartState;
owl:onProperty dfa:fromState .
:RmFromValidTransition a owl:Class;
owl:equivalentClass _:genid357;
rdfs:subClassOf :RmTransition .
_:genid357 a owl:Restriction;
owl:someValuesFrom :RmValidState;
owl:onProperty dfa:fromState .
:RmISymbol a owl:Class;
rdfs:subClassOf :ReportManagementSymbol .
:RmIcCTransition a owl:Class;
owl:equivalentClass _:genid358;
rdfs:subClassOf :RmSimpleTransition .
_:genid358 a owl:Class;
owl:intersectionOf _:genid361 .
_:genid361 a rdf:List;
rdf:first :RmFromInvalidTransition;
rdf:rest _:genid360 .
_:genid360 a rdf:List;
rdf:first :RmOnCloseTransition;
rdf:rest _:genid359 .
_:genid359 a rdf:List;
rdf:first :RmToClosedTransition;
rdf:rest rdf:nil .
:RmInactiveState a owl:Class;
owl:equivalentClass _:genid362;
rdfs:subClassOf :RmCompoundState .
_:genid362 a owl:Class;
owl:unionOf _:genid365 .
_:genid365 a rdf:List;
rdf:first :RmClosedState;
rdf:rest _:genid364 .
_:genid364 a rdf:List;
rdf:first :RmDeferredState;
rdf:rest _:genid363 .
_:genid363 a rdf:List;
rdf:first :RmInvalidState;
rdf:rest rdf:nil .
:RmInvalidState a owl:Class;
rdfs:subClassOf :RmInactiveState, :RmOpenState, :RmSimpleState .
:RmIvVTransition a owl:Class;
owl:equivalentClass _:genid366;
rdfs:subClassOf :RmSimpleTransition .
_:genid366 a owl:Class;
owl:intersectionOf _:genid369 .
_:genid369 a rdf:List;
rdf:first :RmFromInvalidTransition;
rdf:rest _:genid368 .
_:genid368 a rdf:List;
rdf:first :RmOnValidateTransition;
rdf:rest _:genid367 .
_:genid367 a rdf:List;
rdf:first :RmToValidTransition;
rdf:rest rdf:nil .
:RmOnAcceptTransition a owl:Class;
owl:equivalentClass _:genid370;
rdfs:subClassOf :RmTransition .
_:genid370 a owl:Restriction;
owl:someValuesFrom :RmASymbol;
owl:onProperty dfa:onSymbol .
:RmOnCloseTransition a owl:Class;
owl:equivalentClass _:genid371;
rdfs:subClassOf :RmTransition .
_:genid371 a owl:Restriction;
owl:someValuesFrom :RmCSymbol;
owl:onProperty dfa:onSymbol .
:RmOnDeferTransition a owl:Class;
owl:equivalentClass _:genid372;
rdfs:subClassOf :RmTransition .
_:genid372 a owl:Restriction;
owl:someValuesFrom :RmDSymbol;
owl:onProperty dfa:onSymbol .
:RmOnInvalidateTransition a owl:Class;
owl:equivalentClass _:genid373;
rdfs:subClassOf :RmTransition .
_:genid373 a owl:Restriction;
owl:someValuesFrom :RmISymbol;
owl:onProperty dfa:onSymbol .
:RmOnReceiveTransition a owl:Class;
owl:equivalentClass _:genid374;
rdfs:subClassOf :RmTransition .
_:genid374 a owl:Restriction;
owl:someValuesFrom :RmRSymbol;
owl:onProperty dfa:onSymbol .
:RmOnValidateTransition a owl:Class;
owl:equivalentClass _:genid375;
rdfs:subClassOf :RmTransition .
_:genid375 a owl:Restriction;
owl:someValuesFrom :RmVSymbol;
owl:onProperty dfa:onSymbol .
:RmOpenState a owl:Class;
owl:equivalentClass _:genid376;
rdfs:subClassOf :RmCompoundState .
_:genid376 a owl:Class;
owl:unionOf _:genid381 .
_:genid381 a rdf:List;
rdf:first :RmAcceptedState;
rdf:rest _:genid380 .
_:genid380 a rdf:List;
rdf:first :RmDeferredState;
rdf:rest _:genid379 .
_:genid379 a rdf:List;
rdf:first :RmInvalidState;
rdf:rest _:genid378 .
_:genid378 a rdf:List;
rdf:first :RmReceivedState;
rdf:rest _:genid377 .
_:genid377 a rdf:List;
rdf:first :RmValidState;
rdf:rest rdf:nil .
:RmPotentiallyValidYetUnclosedState a owl:Class;
owl:equivalentClass _:genid382;
rdfs:subClassOf :RmCompoundState, :RmOpenState .
_:genid382 a owl:Class;
owl:unionOf _:genid384 .
_:genid384 a rdf:List;
rdf:first :RmReceivedState;
rdf:rest _:genid383 .
_:genid383 a rdf:List;
rdf:first :RmValidYetUnclosedState;
rdf:rest rdf:nil .
:RmRSymbol a owl:Class;
rdfs:subClassOf :ReportManagementSymbol .
:RmReceivedState a owl:Class;
rdfs:subClassOf :RmActiveState, :RmSimpleState .
:RmRiVTransition a owl:Class;
owl:equivalentClass _:genid385;
rdfs:subClassOf :RmSimpleTransition .
_:genid385 a owl:Class;
owl:intersectionOf _:genid388 .
_:genid388 a rdf:List;
rdf:first :RmFromReceivedTransition;
rdf:rest _:genid387 .
_:genid387 a rdf:List;
rdf:first :RmOnInvalidateTransition;
rdf:rest _:genid386 .
_:genid386 a rdf:List;
rdf:first :RmToInvalidTransition;
rdf:rest rdf:nil .
:RmRvVTransition a owl:Class;
owl:equivalentClass _:genid389;
rdfs:subClassOf :RmSimpleTransition .
_:genid389 a owl:Class;
owl:intersectionOf _:genid392 .
_:genid392 a rdf:List;
rdf:first :RmFromReceivedTransition;
rdf:rest _:genid391 .
_:genid391 a rdf:List;
rdf:first :RmOnValidateTransition;
rdf:rest _:genid390 .
_:genid390 a rdf:List;
rdf:first :RmToValidTransition;
rdf:rest rdf:nil .
:RmSimpleState a owl:Class;
rdfs:subClassOf :ReportManagementState .
:RmSimpleTransition a owl:Class;
rdfs:subClassOf :RmTransition .
:RmSrRTransition a owl:Class;
owl:equivalentClass _:genid393;
rdfs:subClassOf :RmSimpleTransition .
_:genid393 a owl:Class;
owl:intersectionOf _:genid396 .
_:genid396 a rdf:List;
rdf:first :RmFromStartTransition;
rdf:rest _:genid395 .
_:genid395 a rdf:List;
rdf:first :RmOnReceiveTransition;
rdf:rest _:genid394 .
_:genid394 a rdf:List;
rdf:first :RmToReceivedTransition;
rdf:rest rdf:nil .
:RmStartState a owl:Class;
rdfs:subClassOf :RmSimpleState .
:RmToAcceptedTransition a owl:Class;
owl:equivalentClass _:genid397;
rdfs:subClassOf :RmTransition .
_:genid397 a owl:Restriction;
owl:someValuesFrom :RmAcceptedState;
owl:onProperty dfa:toState .
:RmToClosedTransition a owl:Class;
owl:equivalentClass _:genid398;
rdfs:subClassOf :RmTransition .
_:genid398 a owl:Restriction;
owl:someValuesFrom :RmClosedState;
owl:onProperty dfa:toState .
:RmToDeferredTransition a owl:Class;
owl:equivalentClass _:genid399;
rdfs:subClassOf :RmTransition .
_:genid399 a owl:Restriction;
owl:someValuesFrom :RmDeferredState;
owl:onProperty dfa:toState .
:RmToInvalidTransition a owl:Class;
owl:equivalentClass _:genid400;
rdfs:subClassOf :RmTransition .
_:genid400 a owl:Restriction;
owl:someValuesFrom :RmInvalidState;
owl:onProperty dfa:toState .
:RmToReceivedTransition a owl:Class;
owl:equivalentClass _:genid401;
rdfs:subClassOf :RmTransition .
_:genid401 a owl:Restriction;
owl:someValuesFrom :RmReceivedState;
owl:onProperty dfa:toState .
:RmToValidTransition a owl:Class;
owl:equivalentClass _:genid402;
rdfs:subClassOf :RmTransition .
_:genid402 a owl:Restriction;
owl:someValuesFrom :RmValidState;
owl:onProperty dfa:toState .
:RmTransition a owl:Class;
owl:equivalentClass _:genid403;
rdfs:subClassOf dfa:Transition .
_:genid403 a owl:Class;
owl:intersectionOf _:genid410 .
_:genid410 a rdf:List;
rdf:first dfa:Transition;
rdf:rest _:genid408 .
_:genid408 a rdf:List;
rdf:first _:genid409;
rdf:rest _:genid406 .
_:genid406 a rdf:List;
rdf:first _:genid407;
rdf:rest _:genid404 .
_:genid404 a rdf:List;
rdf:first _:genid405;
rdf:rest rdf:nil .
_:genid405 a owl:Restriction;
owl:someValuesFrom :RmSimpleState;
owl:onProperty dfa:toState .
_:genid407 a owl:Restriction;
owl:someValuesFrom :ReportManagementSymbol;
owl:onProperty dfa:onSymbol .
_:genid409 a owl:Restriction;
owl:someValuesFrom :RmSimpleState;
owl:onProperty dfa:fromState .
:RmVSymbol a owl:Class;
rdfs:subClassOf :ReportManagementSymbol .
:RmVaATransition a owl:Class;
owl:equivalentClass _:genid411;
rdfs:subClassOf :RmSimpleTransition .
_:genid411 a owl:Class;
owl:intersectionOf _:genid414 .
_:genid414 a rdf:List;
rdf:first :RmFromValidTransition;
rdf:rest _:genid413 .
_:genid413 a rdf:List;
rdf:first :RmOnAcceptTransition;
rdf:rest _:genid412 .
_:genid412 a rdf:List;
rdf:first :RmToAcceptedTransition;
rdf:rest rdf:nil .
:RmValidState a owl:Class;
rdfs:subClassOf :RmActiveState, :RmSimpleState, :RmValidYetUnclosedState .
:RmValidYetUnclosedState a owl:Class;
owl:equivalentClass _:genid415;
rdfs:subClassOf :RmCompoundState .
_:genid415 a owl:Class;
owl:unionOf _:genid418 .
_:genid418 a rdf:List;
rdf:first :RmAcceptedState;
rdf:rest _:genid417 .
_:genid417 a rdf:List;
rdf:first :RmDeferredState;
rdf:rest _:genid416 .
_:genid416 a rdf:List;
rdf:first :RmValidState;
rdf:rest rdf:nil .
:RmVdDTransition a owl:Class;
owl:equivalentClass _:genid419;
rdfs:subClassOf :RmSimpleTransition .
_:genid419 a owl:Class;
owl:intersectionOf _:genid422 .
_:genid422 a rdf:List;
rdf:first :RmFromValidTransition;
rdf:rest _:genid421 .
_:genid421 a rdf:List;
rdf:first :RmOnDeferTransition;
rdf:rest _:genid420 .
_:genid420 a rdf:List;
rdf:first :RmToDeferredTransition;
rdf:rest rdf:nil .
:VendorAwareState a owl:Class;
owl:equivalentClass _:genid423;
rdfs:subClassOf :CsVendorFixPathState .
_:genid423 a owl:Class;
owl:unionOf _:genid426 .
_:genid426 a rdf:List;
rdf:first :CsVFDState;
rdf:rest _:genid425 .
_:genid425 a rdf:List;
rdf:first :CsVFdState;
rdf:rest _:genid424 .
_:genid424 a rdf:List;
rdf:first :CsVfdState;
rdf:rest rdf:nil .
:VendorAwarenessTransition a owl:Class;
owl:equivalentClass _:genid427;
rdfs:subClassOf :CsTransition .
_:genid427 a owl:Class;
owl:intersectionOf _:genid432 .
_:genid432 a rdf:List;
rdf:first _:genid433;
rdf:rest _:genid430 .
_:genid430 a rdf:List;
rdf:first _:genid431;
rdf:rest _:genid428 .
_:genid428 a rdf:List;
rdf:first _:genid429;
rdf:rest rdf:nil .
_:genid429 a owl:Restriction;
owl:someValuesFrom :CsVendorAwareState;
owl:onProperty dfa:toState .
_:genid431 a owl:Restriction;
owl:someValuesFrom :CsVSymbol;
owl:onProperty dfa:onSymbol .
_:genid433 a owl:Restriction;
owl:someValuesFrom :CsVendorUnawareState;
owl:onProperty dfa:fromState .
_:genid434 a owl:AllDisjointClasses;
owl:members _:genid437 .
_:genid437 a rdf:List;
rdf:first :CaseState;
rdf:rest _:genid436 .
_:genid436 a rdf:List;
rdf:first :EmbargoManagementState;
rdf:rest _:genid435 .
_:genid435 a rdf:List;
rdf:first :ReportManagementState;
rdf:rest rdf:nil .