Vultron Protocol 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 Vultron protocol. The ontology is available in the ontology directory.

 

 

 

 

Markdown DocumentationTurtle Ontology

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

Actor

Attribute	Value
Name	Actor
IRI	http://www.cert.org/ns/vultron_protocol#Actor
Description
Superclasses	owl.Thing
Subclasses	vultron_activitystreams.Actor

CaseOwnerParticipant

Attribute	Value
Name	CaseOwnerParticipant
IRI	http://www.cert.org/ns/vultron_protocol#CaseOwnerParticipant
Description
Equivalent To	None vultron_protocol.CaseParticipant & vultron_protocol.hasCaseRole.some(vultron_protocol.CaseOwnerRole)
Superclasses	vultron_protocol.CaseParticipant

CaseOwnerRole

A role representing the owner of a VulnerabilityCase A role representing the owner of a VulnerabilityCase

Attribute	Value
Name	CaseOwnerRole
IRI	http://www.cert.org/ns/vultron_protocol#CaseOwnerRole
Description	A role representing the owner of a VulnerabilityCase A role representing the owner of a VulnerabilityCase
Superclasses	vultron_protocol.CvdCaseRole

CaseParticipant

A CaseParticipant is a wrapper around an Actor in a VulnerabilityCase. It is used to track the status of the participant within the context of a specific case as well as the roles they play in the case. Several subclasses of CaseParticipant are provided for convenience. A CaseParticipant is a wrapper around an Actor in a VulnerabilityCase. It is used to track the status of the participant within the context of a specific case as well as the roles they play in the case. Several subclasses of CaseParticipant are provided for convenience.

Attribute	Value
Name	CaseParticipant
IRI	http://www.cert.org/ns/vultron_protocol#CaseParticipant
Description	A CaseParticipant is a wrapper around an Actor in a VulnerabilityCase. It is used to track the status of the participant within the context of a specific case as well as the roles they play in the case. Several subclasses of CaseParticipant are provided for convenience. A CaseParticipant is a wrapper around an Actor in a VulnerabilityCase. It is used to track the status of the participant within the context of a specific case as well as the roles they play in the case. Several subclasses of CaseParticipant are provided for convenience.
Equivalent To	vultron_protocol.actor.some(vultron_protocol.Actor) & vultron_protocol.hasCaseRole.some(vultron_protocol.CvdCaseRole) & vultron_protocol.isParticipantOf.some(vultron_protocol.VulnerabilityCase) & vultron_protocol.hasCaseRole.only(vultron_protocol.CvdCaseRole) None
Superclasses	owl.Thing
Subclasses	vultron_protocol.CaseOwnerParticipant vultron_protocol.VendorDeployerParticipant vultron_protocol.ReporterParticipant vultron_activitystreams.CaseParticipant vultron_protocol.DeployerParticipant vultron_protocol.FinderParticipant vultron_protocol.CoordinatorParticipant vultron_protocol.OtherParticipant vultron_protocol.VendorParticipant

CaseStateMessageType

Messages regarding the Vultron Case State Model Messages regarding the Vultron Case State Model

Attribute	Value
Name	CaseStateMessageType
IRI	http://www.cert.org/ns/vultron_protocol#CaseStateMessageType
Description	Messages regarding the Vultron Case State Model Messages regarding the Vultron Case State Model
Superclasses	vultron_protocol.VultronMessageType
Subclasses	vultron_protocol.MsgTypeCP vultron_protocol.MsgTypeCK vultron_protocol.MsgTypeCE vultron_protocol.MsgTypeCA vultron_protocol.MsgTypeAckableCs vultron_protocol.MsgTypeCF vultron_protocol.MsgTypeCX vultron_protocol.MsgTypeCV vultron_protocol.MsgTypeCD

CaseStatus

Represents the case-level (global participant-agnostic) status of a VulnerabilityCase. Represents the case-level (global participant-agnostic) status of a VulnerabilityCase.

Attribute	Value
Name	CaseStatus
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatus
Description	Represents the case-level (global participant-agnostic) status of a VulnerabilityCase. Represents the case-level (global participant-agnostic) status of a VulnerabilityCase.
Equivalent To	vultron_protocol.emState.some(vultron_process.EmbargoManagementState) & vultron_protocol.pxaState.some(vultron_process.CsParticipantAgnosticState) None
Superclasses	owl.Thing
Subclasses	vultron_protocol.CaseStatusEP vultron_protocol.CaseStatusEA vultron_protocol.CaseStatusEX vultron_protocol.CaseStatusCs vultron_protocol.CaseStatusER vultron_protocol.ParticipantStatus vultron_protocol.CaseStatusEm vultron_protocol.CaseStatusEN

CaseStatusCA

A CaseStatus indicating CsAttacksObservedState A CaseStatus indicating CsAttacksObservedState

Attribute	Value
Name	CaseStatusCA
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusCA
Description	A CaseStatus indicating CsAttacksObservedState A CaseStatus indicating CsAttacksObservedState
Equivalent To	None vultron_protocol.CaseStatus & vultron_protocol.pxaState.some(vultron_process.CsAttacksObservedState)
Superclasses	vultron_protocol.CaseStatusCs vultron_protocol.MsgTypeCA

CaseStatusCP

A CaseStatus indicating CsPublicAwareState A CaseStatus indicating CsPublicAwareState

Attribute	Value
Name	CaseStatusCP
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusCP
Description	A CaseStatus indicating CsPublicAwareState A CaseStatus indicating CsPublicAwareState
Equivalent To	None vultron_protocol.CaseStatus & vultron_protocol.pxaState.some(vultron_process.CsPublicAwareState)
Superclasses	vultron_protocol.CaseStatusCs vultron_protocol.MsgTypeCP

CaseStatusCX

A CaseStatus indicating CsPublicExploitState A CaseStatus indicating CsPublicExploitState

Attribute	Value
Name	CaseStatusCX
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusCX
Description	A CaseStatus indicating CsPublicExploitState A CaseStatus indicating CsPublicExploitState
Equivalent To	None vultron_protocol.CaseStatus & vultron_protocol.pxaState.some(vultron_process.CsPublicExploitState)
Superclasses	vultron_protocol.CaseStatusCs vultron_protocol.MsgTypeCX

CaseStatusCs

A CaseStatus that includes a Vultron CaseState update A CaseStatus that includes a Vultron CaseState update

Attribute	Value
Name	CaseStatusCs
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusCs
Description	A CaseStatus that includes a Vultron CaseState update A CaseStatus that includes a Vultron CaseState update
Superclasses	vultron_protocol.CaseStatus
Subclasses	vultron_protocol.CaseStatusCA vultron_protocol.CaseStatusCX vultron_protocol.ParticipantStatusCs vultron_protocol.CaseStatusCP

CaseStatusEA

A CaseStatus indicating EmActiveState A CaseStatus indicating EmActiveState

Attribute	Value
Name	CaseStatusEA
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusEA
Description	A CaseStatus indicating EmActiveState A CaseStatus indicating EmActiveState
Equivalent To	None vultron_protocol.CaseStatus & vultron_protocol.emState.some(vultron_process.EmActiveState)
Superclasses	vultron_protocol.CaseStatus vultron_protocol.CaseStatusEm

CaseStatusEN

A CaseStatus indicating EmNoneState A CaseStatus indicating EmNoneState

Attribute	Value
Name	CaseStatusEN
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusEN
Description	A CaseStatus indicating EmNoneState A CaseStatus indicating EmNoneState
Equivalent To	None vultron_protocol.CaseStatus & vultron_protocol.emState.some(vultron_process.EmNoneState)
Superclasses	vultron_protocol.CaseStatus vultron_protocol.CaseStatusEm

CaseStatusEP

A CaseStatus indicating EmProposedState A CaseStatus indicating EmProposedState

Attribute	Value
Name	CaseStatusEP
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusEP
Description	A CaseStatus indicating EmProposedState A CaseStatus indicating EmProposedState
Equivalent To	None vultron_protocol.CaseStatus & vultron_protocol.emState.some(vultron_process.EmProposedState)
Superclasses	vultron_protocol.CaseStatus vultron_protocol.CaseStatusEm

CaseStatusER

A CaseStatus indicating EmReviseState A CaseStatus indicating EmReviseState

Attribute	Value
Name	CaseStatusER
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusER
Description	A CaseStatus indicating EmReviseState A CaseStatus indicating EmReviseState
Equivalent To	None vultron_protocol.CaseStatus & vultron_protocol.emState.some(vultron_process.EmReviseState)
Superclasses	vultron_protocol.CaseStatus vultron_protocol.CaseStatusEm

CaseStatusEX

A CaseStatus indicating EmExitedState A CaseStatus indicating EmExitedState

Attribute	Value
Name	CaseStatusEX
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusEX
Description	A CaseStatus indicating EmExitedState A CaseStatus indicating EmExitedState
Equivalent To	vultron_protocol.CaseStatus & vultron_protocol.emState.some(vultron_process.EmExitedState) None
Superclasses	vultron_protocol.CaseStatus vultron_protocol.CaseStatusEm

CaseStatusEm

A CaseStatus containing information about the EmbargoManagementState of a VulnerabilityCase A CaseStatus containing information about the EmbargoManagementState of a VulnerabilityCase

Attribute	Value
Name	CaseStatusEm
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusEm
Description	A CaseStatus containing information about the EmbargoManagementState of a VulnerabilityCase A CaseStatus containing information about the EmbargoManagementState of a VulnerabilityCase
Superclasses	vultron_protocol.CaseStatus
Subclasses	vultron_protocol.CaseStatusEP vultron_protocol.CaseStatusEA vultron_protocol.CaseStatusEX vultron_protocol.CaseStatusEmNotExited vultron_protocol.CaseStatusER vultron_protocol.CaseStatusEN

CaseStatusEmActiveOrReviseNotExited

A CaseStatus in which the EmbargoManagementState is in either EmActiveState or EmReviseState A CaseStatus in which the EmbargoManagementState is in either EmActiveState or EmReviseState

Attribute	Value
Name	CaseStatusEmActiveOrReviseNotExited
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusEmActiveOrReviseNotExited
Description	A CaseStatus in which the EmbargoManagementState is in either EmActiveState or EmReviseState A CaseStatus in which the EmbargoManagementState is in either EmActiveState or EmReviseState
Equivalent To	None vultron_protocol.CaseStatusEmNotExited & vultron_protocol.emState.some(vultron_process.ActiveEmbargoState)
Superclasses	vultron_protocol.CaseStatusEmNotExited

CaseStatusEmNotExited

A CaseStatus indicating EmbargoManagementState is anything but EmExitedState A CaseStatus indicating EmbargoManagementState is anything but EmExitedState

Attribute	Value
Name	CaseStatusEmNotExited
IRI	http://www.cert.org/ns/vultron_protocol#CaseStatusEmNotExited
Description	A CaseStatus indicating EmbargoManagementState is anything but EmExitedState A CaseStatus indicating EmbargoManagementState is anything but EmExitedState
Equivalent To	None vultron_process.EmActiveState or vultron_process.EmNoneState or vultron_process.EmProposedState or vultron_process.EmReviseState
Superclasses	vultron_protocol.CaseStatusEm
Subclasses	vultron_protocol.CaseStatusEmActiveOrReviseNotExited

CoordinatorParticipant

A CoordinatorParticipant is a CaseParticipant having the role of Coordinator A CoordinatorParticipant is a CaseParticipant having the role of Coordinator

Attribute	Value
Name	CoordinatorParticipant
IRI	http://www.cert.org/ns/vultron_protocol#CoordinatorParticipant
Description	A CoordinatorParticipant is a CaseParticipant having the role of Coordinator A CoordinatorParticipant is a CaseParticipant having the role of Coordinator
Equivalent To	None vultron_protocol.CaseParticipant & vultron_protocol.hasCaseRole.some(vultron_protocol.CoordinatorRole)
Superclasses	vultron_protocol.CaseParticipant

CoordinatorRole

A role representing a Coordinator in a VulnerabilityCase A role representing a Coordinator in a VulnerabilityCase

Attribute	Value
Name	CoordinatorRole
IRI	http://www.cert.org/ns/vultron_protocol#CoordinatorRole
Description	A role representing a Coordinator in a VulnerabilityCase A role representing a Coordinator in a VulnerabilityCase
Superclasses	vultron_protocol.CvdCaseRole

CvdCaseRole

A role within a CVD case. Roles are intended to be consistent with the Vultron documentation and the CERT Guide to Coordinated Vulnerability Disclosure. A role within a CVD case. Roles are intended to be consistent with the Vultron documentation and the CERT Guide to Coordinated Vulnerability Disclosure.

Attribute	Value
Name	CvdCaseRole
IRI	http://www.cert.org/ns/vultron_protocol#CvdCaseRole
Description	A role within a CVD case. Roles are intended to be consistent with the Vultron documentation and the CERT Guide to Coordinated Vulnerability Disclosure. A role within a CVD case. Roles are intended to be consistent with the Vultron documentation and the CERT Guide to Coordinated Vulnerability Disclosure.
Superclasses	owl.Thing
Subclasses	vultron_protocol.DeployerRole vultron_protocol.FinderRole vultron_protocol.ReporterRole vultron_protocol.CaseOwnerRole vultron_protocol.CoordinatorRole vultron_protocol.VendorRole vultron_protocol.OtherRole

DeployerParticipant

A DeployerParticipant is a CaseParticipant having the role of Deployer A DeployerParticipant is a CaseParticipant having the role of Deployer

Attribute	Value
Name	DeployerParticipant
IRI	http://www.cert.org/ns/vultron_protocol#DeployerParticipant
Description	A DeployerParticipant is a CaseParticipant having the role of Deployer A DeployerParticipant is a CaseParticipant having the role of Deployer
Equivalent To	None vultron_protocol.CaseParticipant & vultron_protocol.hasCaseRole.some(vultron_protocol.DeployerRole)
Superclasses	vultron_protocol.CaseParticipant
Subclasses	vultron_protocol.VendorDeployerParticipant

DeployerRole

A role representing a Deployer in a VulnerabilityCase A role representing a Deployer in a VulnerabilityCase

Attribute	Value
Name	DeployerRole
IRI	http://www.cert.org/ns/vultron_protocol#DeployerRole
Description	A role representing a Deployer in a VulnerabilityCase A role representing a Deployer in a VulnerabilityCase
Superclasses	vultron_protocol.CvdCaseRole

EmbargoManagementMessageType

A VultronMessageType regarding the embargo management process A VultronMessageType regarding the embargo management process

Attribute	Value
Name	EmbargoManagementMessageType
IRI	http://www.cert.org/ns/vultron_protocol#EmbargoManagementMessageType
Description	A VultronMessageType regarding the embargo management process A VultronMessageType regarding the embargo management process
Superclasses	vultron_protocol.VultronMessageType
Subclasses	vultron_protocol.MsgTypeEA vultron_protocol.MsgTypeEC vultron_protocol.MsgTypeEP vultron_protocol.MsgTypeEK vultron_protocol.MsgTypeEE vultron_protocol.MsgTypeER vultron_protocol.MsgTypeEJ vultron_protocol.MsgTypeEV vultron_protocol.MsgTypeET vultron_protocol.MsgTypeAckableEm

FinderParticipant

A FinderParticipant is a CaseParticipant having the role of Finder A FinderParticipant is a CaseParticipant having the role of Finder

Attribute	Value
Name	FinderParticipant
IRI	http://www.cert.org/ns/vultron_protocol#FinderParticipant
Description	A FinderParticipant is a CaseParticipant having the role of Finder A FinderParticipant is a CaseParticipant having the role of Finder
Equivalent To	None vultron_protocol.CaseParticipant & vultron_protocol.hasCaseRole.some(vultron_protocol.FinderRole)
Superclasses	vultron_protocol.CaseParticipant
Subclasses	vultron_protocol.FinderReporterParticipant

FinderReporterParticipant

A FinderReporterParticipant is a CaseParticipant having the roles of Finder and Reporter A FinderReporterParticipant is a CaseParticipant having the roles of Finder and Reporter

Attribute	Value
Name	FinderReporterParticipant
IRI	http://www.cert.org/ns/vultron_protocol#FinderReporterParticipant
Description	A FinderReporterParticipant is a CaseParticipant having the roles of Finder and Reporter A FinderReporterParticipant is a CaseParticipant having the roles of Finder and Reporter
Equivalent To	None vultron_protocol.CaseParticipant & vultron_protocol.hasCaseRole.some(vultron_protocol.FinderRole) & vultron_protocol.hasCaseRole.some(vultron_protocol.ReporterRole)
Superclasses	vultron_protocol.FinderParticipant vultron_protocol.ReporterParticipant

FinderRole

A role representing a Finder in a VulnerabilityCase A role representing a Finder in a VulnerabilityCase

Attribute	Value
Name	FinderRole
IRI	http://www.cert.org/ns/vultron_protocol#FinderRole
Description	A role representing a Finder in a VulnerabilityCase A role representing a Finder in a VulnerabilityCase
Superclasses	vultron_protocol.CvdCaseRole

GeneralMessageType

A VultronMessageType for a general (non-state-machine related) message A VultronMessageType for a general (non-state-machine related) message

Attribute	Value
Name	GeneralMessageType
IRI	http://www.cert.org/ns/vultron_protocol#GeneralMessageType
Description	A VultronMessageType for a general (non-state-machine related) message A VultronMessageType for a general (non-state-machine related) message
Superclasses	vultron_protocol.VultronMessageType
Subclasses	vultron_protocol.MsgTypeGE vultron_protocol.MsgTypeGK vultron_protocol.MsgTypeGI vultron_protocol.MsgTypeAckableGm

MayAcceptEmbargo

Attribute	Value
Name	MayAcceptEmbargo
IRI	http://www.cert.org/ns/vultron_protocol#MayAcceptEmbargo
Description
Equivalent To	None vultron_protocol.VulnerabilityCase & vultron_protocol.hasCaseStatus.only(vultron_protocol.pxaState.some(vultron_process.CspxaState)) vultron_protocol.MayProposeEmbargo
Superclasses	vultron_protocol.VultronSpec rfc2119.MAY
Subclasses	vultron_protocol.ShouldBeBriefEmbargo vultron_protocol.ShouldNotProposeEmbargo vultron_protocol.ShouldNotAcceptEmbargo

MayProposeEmbargo

Attribute	Value
Name	MayProposeEmbargo
IRI	http://www.cert.org/ns/vultron_protocol#MayProposeEmbargo
Description
Superclasses	vultron_protocol.VultronSpec rfc2119.MAY
Subclasses	vultron_protocol.ShouldBeBriefEmbargo vultron_protocol.ShouldNotProposeEmbargo vultron_protocol.ShouldNotAcceptEmbargo

MayTerminateEmbargoEarly

Defines conditions under which an embargo may terminate only Defines conditions under which an embargo may terminate only

Attribute	Value
Name	MayTerminateEmbargoEarly
IRI	http://www.cert.org/ns/vultron_protocol#MayTerminateEmbargoEarly
Description	Defines conditions under which an embargo may terminate only Defines conditions under which an embargo may terminate only
Equivalent To	vultron_protocol.CaseStatusEmActiveOrReviseNotExited & vultron_protocol.vfdState.some(vultron_process.CsFixReadyState) None
Superclasses	vultron_protocol.VultronSpec rfc2119.MAY

MsgTypeAckableCs

A CaseStateMessageType that can be acknowledged with a MsgTypeCK A CaseStateMessageType that can be acknowledged with a MsgTypeCK

Attribute	Value
Name	MsgTypeAckableCs
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeAckableCs
Description	A CaseStateMessageType that can be acknowledged with a MsgTypeCK A CaseStateMessageType that can be acknowledged with a MsgTypeCK
Equivalent To	vultron_protocol.MsgTypeCA or vultron_protocol.MsgTypeCD or vultron_protocol.MsgTypeCF or vultron_protocol.MsgTypeCP or vultron_protocol.MsgTypeCV or vultron_protocol.MsgTypeCX None
Superclasses	vultron_protocol.VultronStateMessageType vultron_process.CaseStateSymbol vultron_protocol.CaseStateMessageType
Subclasses	vultron_protocol.MsgTypeCP vultron_protocol.MsgTypeCA vultron_protocol.MsgTypeCF vultron_protocol.MsgTypeCX vultron_protocol.MsgTypeCV vultron_protocol.MsgTypeCD

MsgTypeAckableEm

Attribute	Value
Name	MsgTypeAckableEm
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeAckableEm
Description
Equivalent To	None vultron_protocol.MsgTypeEA or vultron_protocol.MsgTypeEC or vultron_protocol.MsgTypeEJ or vultron_protocol.MsgTypeEP or vultron_protocol.MsgTypeER or vultron_protocol.MsgTypeET or vultron_protocol.MsgTypeEV
Superclasses	vultron_protocol.VultronStateMessageType vultron_process.EmbargoManagementSymbol vultron_protocol.EmbargoManagementMessageType
Subclasses	vultron_protocol.MsgTypeEA vultron_protocol.MsgTypeEC vultron_protocol.MsgTypeEP vultron_protocol.MsgTypeER vultron_protocol.MsgTypeEJ vultron_protocol.MsgTypeEV vultron_protocol.MsgTypeET

MsgTypeAckableGm

Attribute	Value
Name	MsgTypeAckableGm
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeAckableGm
Description
Equivalent To	vultron_protocol.MsgTypeGI
Superclasses	vultron_protocol.GeneralMessageType

MsgTypeAckableRm

Attribute	Value
Name	MsgTypeAckableRm
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeAckableRm
Description
Equivalent To	None vultron_protocol.MsgTypeRA or vultron_protocol.MsgTypeRC or vultron_protocol.MsgTypeRD or vultron_protocol.MsgTypeRI or vultron_protocol.MsgTypeRS or vultron_protocol.MsgTypeRV
Superclasses	vultron_protocol.VultronStateMessageType vultron_process.ReportManagementSymbol vultron_protocol.ReportManagementMessageType
Subclasses	vultron_protocol.MsgTypeRC vultron_protocol.MsgTypeRI vultron_protocol.MsgTypeRD vultron_protocol.MsgTypeRS vultron_protocol.MsgTypeRA vultron_protocol.MsgTypeRV

MsgTypeCA

A VultronMessageType indicating CsAttacksObservedState A VultronMessageType indicating CsAttacksObservedState

Attribute	Value
Name	MsgTypeCA
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeCA
Description	A VultronMessageType indicating CsAttacksObservedState A VultronMessageType indicating CsAttacksObservedState
Superclasses	vultron_process.CsASymbol vultron_protocol.MsgTypeAckableCs vultron_protocol.CaseStateMessageType
Subclasses	vultron_protocol.CaseStatusCA

MsgTypeCD

A VultronMessageType indicating CsFixDeployedState A VultronMessageType indicating CsFixDeployedState

Attribute	Value
Name	MsgTypeCD
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeCD
Description	A VultronMessageType indicating CsFixDeployedState A VultronMessageType indicating CsFixDeployedState
Superclasses	vultron_protocol.MsgTypeAckableCs vultron_process.CsDSymbol vultron_protocol.CaseStateMessageType
Subclasses	vultron_protocol.ParticipantStatusCD

MsgTypeCE

A VultronMessageType indicating an error in handling a CaseStateMessageType message A VultronMessageType indicating an error in handling a CaseStateMessageType message

Attribute	Value
Name	MsgTypeCE
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeCE
Description	A VultronMessageType indicating an error in handling a CaseStateMessageType message A VultronMessageType indicating an error in handling a CaseStateMessageType message
Superclasses	vultron_protocol.CaseStateMessageType
Subclasses	vultron_activitystreams.CsError

MsgTypeCF

A VultronMessageType indicating a CaseParticipant has reached the CsFixReadyState A VultronMessageType indicating a CaseParticipant has reached the CsFixReadyState

Attribute	Value
Name	MsgTypeCF
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeCF
Description	A VultronMessageType indicating a CaseParticipant has reached the CsFixReadyState A VultronMessageType indicating a CaseParticipant has reached the CsFixReadyState
Superclasses	vultron_process.CsFSymbol vultron_protocol.MsgTypeAckableCs vultron_protocol.CaseStateMessageType
Subclasses	vultron_protocol.ParticipantStatusCF

MsgTypeCK

An acknowledgement of a CsAckableMsgType An acknowledgement of a CsAckableMsgType

Attribute	Value
Name	MsgTypeCK
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeCK
Description	An acknowledgement of a CsAckableMsgType An acknowledgement of a CsAckableMsgType
Superclasses	vultron_protocol.CaseStateMessageType
Subclasses	vultron_activitystreams.CsReadMsg

MsgTypeCP

A VultronMessageType indicating CsPublicAwareState A VultronMessageType indicating CsPublicAwareState

Attribute	Value
Name	MsgTypeCP
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeCP
Description	A VultronMessageType indicating CsPublicAwareState A VultronMessageType indicating CsPublicAwareState
Superclasses	vultron_process.CsPSymbol vultron_protocol.MsgTypeAckableCs vultron_protocol.CaseStateMessageType
Subclasses	vultron_protocol.CaseStatusCP

MsgTypeCV

VultronMessageType indicating CsVendorAwareState VultronMessageType indicating CsVendorAwareState

Attribute	Value
Name	MsgTypeCV
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeCV
Description	VultronMessageType indicating CsVendorAwareState VultronMessageType indicating CsVendorAwareState
Superclasses	vultron_protocol.CaseStateMessageType vultron_process.CsVSymbol vultron_protocol.MsgTypeAckableCs
Subclasses	vultron_protocol.ParticipantStatusCV

MsgTypeCX

VultronMessageType indicating CsPublicExploitState VultronMessageType indicating CsPublicExploitState

Attribute	Value
Name	MsgTypeCX
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeCX
Description	VultronMessageType indicating CsPublicExploitState VultronMessageType indicating CsPublicExploitState
Superclasses	vultron_protocol.CaseStateMessageType vultron_process.CsXSymbol vultron_protocol.MsgTypeAckableCs
Subclasses	vultron_protocol.CaseStatusCX

MsgTypeEA

Attribute	Value
Name	MsgTypeEA
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeEA
Description
Superclasses	vultron_protocol.EmbargoManagementMessageType vultron_protocol.MsgTypeAckableEm vultron_process.EmASymbol
Subclasses	vultron_activitystreams.ActivateEmbargo vultron_activitystreams.EmAcceptEmbargo

MsgTypeEC

Attribute	Value
Name	MsgTypeEC
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeEC
Description
Superclasses	vultron_protocol.EmbargoManagementMessageType vultron_protocol.MsgTypeAckableEm vultron_process.EmASymbol
Subclasses	vultron_activitystreams.ActivateEmbargo vultron_activitystreams.EmAcceptEmbargo

MsgTypeEE

Attribute	Value
Name	MsgTypeEE
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeEE
Description
Superclasses	vultron_protocol.EmbargoManagementMessageType
Subclasses	vultron_activitystreams.EmError

MsgTypeEJ

Attribute	Value
Name	MsgTypeEJ
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeEJ
Description
Superclasses	vultron_protocol.EmbargoManagementMessageType vultron_process.EmRSymbol vultron_protocol.MsgTypeAckableEm
Subclasses	vultron_activitystreams.EmRejectEmbargo

MsgTypeEK

Attribute	Value
Name	MsgTypeEK
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeEK
Description
Superclasses	vultron_protocol.EmbargoManagementMessageType
Subclasses	vultron_activitystreams.EmReadMsg

MsgTypeEP

Attribute	Value
Name	MsgTypeEP
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeEP
Description
Superclasses	vultron_protocol.EmbargoManagementMessageType vultron_process.EmPSymbol vultron_protocol.MsgTypeAckableEm
Subclasses	vultron_activitystreams.EmProposeEmbargo

MsgTypeER

Attribute	Value
Name	MsgTypeER
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeER
Description
Superclasses	vultron_protocol.EmbargoManagementMessageType vultron_process.EmRSymbol vultron_protocol.MsgTypeAckableEm
Subclasses	vultron_activitystreams.EmRejectEmbargo

MsgTypeET

Attribute	Value
Name	MsgTypeET
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeET
Description
Superclasses	vultron_process.EmTSymbol vultron_protocol.EmbargoManagementMessageType vultron_protocol.MsgTypeAckableEm
Subclasses	vultron_activitystreams.AnnounceEmbargoTermination

MsgTypeEV

Attribute	Value
Name	MsgTypeEV
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeEV
Description
Superclasses	vultron_protocol.EmbargoManagementMessageType vultron_protocol.MsgTypeAckableEm vultron_process.EmASymbol
Subclasses	vultron_activitystreams.EmProposeEmbargo

MsgTypeGE

Attribute	Value
Name	MsgTypeGE
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeGE
Description
Superclasses	vultron_protocol.GeneralMessageType
Subclasses	vultron_activitystreams.GmError

MsgTypeGI

Attribute	Value
Name	MsgTypeGI
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeGI
Description
Superclasses	vultron_protocol.GeneralMessageType
Subclasses	vultron_activitystreams.AddNoteToCase

MsgTypeGK

Attribute	Value
Name	MsgTypeGK
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeGK
Description
Superclasses	vultron_protocol.GeneralMessageType
Subclasses	vultron_activitystreams.GmReadMsg

MsgTypeRA

Attribute	Value
Name	MsgTypeRA
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeRA
Description
Superclasses	vultron_process.RmASymbol vultron_protocol.MsgTypeAckableRm vultron_protocol.ReportManagementMessageType
Subclasses	vultron_protocol.ParticipantStatusRmAccepted vultron_activitystreams.RmEngageCase vultron_activitystreams.RmReEngageCase

MsgTypeRC

Attribute	Value
Name	MsgTypeRC
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeRC
Description
Superclasses	vultron_protocol.ReportManagementMessageType vultron_process.RmCSymbol vultron_protocol.MsgTypeAckableRm
Subclasses	vultron_protocol.ParticipantStatusRmClosed vultron_activitystreams.RmCloseCase vultron_activitystreams.RmCloseReport

MsgTypeRD

Attribute	Value
Name	MsgTypeRD
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeRD
Description
Superclasses	vultron_protocol.MsgTypeAckableRm vultron_process.RmDSymbol vultron_protocol.ReportManagementMessageType
Subclasses	vultron_protocol.ParticipantStatusRmDeferred vultron_activitystreams.RmDeferCase

MsgTypeRE

Attribute	Value
Name	MsgTypeRE
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeRE
Description
Superclasses	vultron_protocol.ReportManagementMessageType
Subclasses	vultron_activitystreams.RmError

MsgTypeRI

Attribute	Value
Name	MsgTypeRI
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeRI
Description
Superclasses	vultron_protocol.MsgTypeAckableRm vultron_process.RmISymbol vultron_protocol.ReportManagementMessageType
Subclasses	vultron_activitystreams.RmRejectInviteToCase vultron_protocol.ParticipantStatusRmInvalid vultron_activitystreams.RmInvalidateReport

MsgTypeRK

Attribute	Value
Name	MsgTypeRK
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeRK
Description
Superclasses	vultron_protocol.ReportManagementMessageType
Subclasses	vultron_activitystreams.RmReadMsg vultron_activitystreams.RmReadReport

MsgTypeRS

Attribute	Value
Name	MsgTypeRS
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeRS
Description
Superclasses	vultron_protocol.ReportManagementMessageType vultron_protocol.MsgTypeAckableRm vultron_process.RmRSymbol
Subclasses	vultron_activitystreams.RmInviteToCase vultron_protocol.ParticipantStatusRmReceived vultron_activitystreams.RmSubmitReport

MsgTypeRV

Attribute	Value
Name	MsgTypeRV
IRI	http://www.cert.org/ns/vultron_protocol#MsgTypeRV
Description
Superclasses	vultron_protocol.MsgTypeAckableRm vultron_process.RmVSymbol vultron_protocol.ReportManagementMessageType
Subclasses	vultron_activitystreams.RmAcceptInviteToCase vultron_protocol.ParticipantStatusRmValid vultron_activitystreams.RmValidateReport

MustNotAcceptEmbargo

Attribute	Value
Name	MustNotAcceptEmbargo
IRI	http://www.cert.org/ns/vultron_protocol#MustNotAcceptEmbargo
Description
Equivalent To	vultron_protocol.pxaState.some(vultron_process.CsAttacksObservedState or vultron_process.CsPublicAwareState or vultron_process.CsPublicExploitState) None vultron_protocol.MustNotProposeEmbargo
Superclasses	vultron_protocol.VultronSpec rfc2119.MUSTNOT

MustNotProposeEmbargo

Attribute	Value
Name	MustNotProposeEmbargo
IRI	http://www.cert.org/ns/vultron_protocol#MustNotProposeEmbargo
Description
Equivalent To	vultron_protocol.pxaState.some(vultron_process.CsAttacksObservedState or vultron_process.CsPublicAwareState or vultron_process.CsPublicExploitState) None
Superclasses	vultron_protocol.VultronSpec rfc2119.MUSTNOT

MustTerminateEmbargoEarly

Conditions under which an embargo must terminate early Conditions under which an embargo must terminate early

Attribute	Value
Name	MustTerminateEmbargoEarly
IRI	http://www.cert.org/ns/vultron_protocol#MustTerminateEmbargoEarly
Description	Conditions under which an embargo must terminate early Conditions under which an embargo must terminate early
Equivalent To	None vultron_protocol.CaseStatusEmActiveOrReviseNotExited & vultron_protocol.pxaState.some(vultron_process.CsPublicAwareState or vultron_process.CsPublicExploitState)
Superclasses	rfc2119.MUST vultron_protocol.VultronSpec

OtherParticipant

An OtherParticipant is a CaseParticipant having the role of Other An OtherParticipant is a CaseParticipant having the role of Other

Attribute	Value
Name	OtherParticipant
IRI	http://www.cert.org/ns/vultron_protocol#OtherParticipant
Description	An OtherParticipant is a CaseParticipant having the role of Other An OtherParticipant is a CaseParticipant having the role of Other
Equivalent To	None vultron_protocol.CaseParticipant & vultron_protocol.hasCaseRole.some(vultron_protocol.OtherRole)
Superclasses	vultron_protocol.CaseParticipant

OtherRole

Represents a miscellaneous (not otherwise specified) role in a VulnerabilityCase Represents a miscellaneous (not otherwise specified) role in a VulnerabilityCase

Attribute	Value
Name	OtherRole
IRI	http://www.cert.org/ns/vultron_protocol#OtherRole
Description	Represents a miscellaneous (not otherwise specified) role in a VulnerabilityCase Represents a miscellaneous (not otherwise specified) role in a VulnerabilityCase
Superclasses	vultron_protocol.CvdCaseRole

ParticipantStatus

Represents the status of a participant with respect to a VulnerabilityCase (participant-specific). Represents the status of a participant with respect to a VulnerabilityCase (participant-specific).

Attribute	Value
Name	ParticipantStatus
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatus
Description	Represents the status of a participant with respect to a VulnerabilityCase (participant-specific). Represents the status of a participant with respect to a VulnerabilityCase (participant-specific).
Equivalent To	None vultron_protocol.CaseStatus & vultron_protocol.pxaState.some(vultron_process.CsParticipantAgnosticState) & vultron_protocol.rmState.some(vultron_process.ReportManagementState) & vultron_protocol.vfdState.some(vultron_process.CsParticipantSpecificState)
Superclasses	vultron_protocol.CaseStatus
Subclasses	vultron_protocol.ParticipantStatusCs vultron_protocol.ParticipantStatusRm

ParticipantStatusCD

A CaseStatus indicating a CaseParticipant is in the FixDeployedState A CaseStatus indicating a CaseParticipant is in the FixDeployedState

Attribute	Value
Name	ParticipantStatusCD
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusCD
Description	A CaseStatus indicating a CaseParticipant is in the FixDeployedState A CaseStatus indicating a CaseParticipant is in the FixDeployedState
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.vfdState.some(vultron_process.CsFixDeployedState)
Superclasses	vultron_protocol.ParticipantStatusCs vultron_protocol.MsgTypeCD

ParticipantStatusCF

A CaseStatus indicating a CaseParticipant is in the FixReadyState A CaseStatus indicating a CaseParticipant is in the FixReadyState

Attribute	Value
Name	ParticipantStatusCF
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusCF
Description	A CaseStatus indicating a CaseParticipant is in the FixReadyState A CaseStatus indicating a CaseParticipant is in the FixReadyState
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.vfdState.some(vultron_process.CsFixReadyState)
Superclasses	vultron_protocol.MsgTypeCF vultron_protocol.ParticipantStatusCs

ParticipantStatusCV

A CaseStatus indicating a CaseParticipant is in the VendorAwareState A CaseStatus indicating a CaseParticipant is in the VendorAwareState

Attribute	Value
Name	ParticipantStatusCV
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusCV
Description	A CaseStatus indicating a CaseParticipant is in the VendorAwareState A CaseStatus indicating a CaseParticipant is in the VendorAwareState
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.vfdState.some(vultron_process.CsVendorAwareState)
Superclasses	vultron_protocol.MsgTypeCV vultron_protocol.ParticipantStatusCs

ParticipantStatusCs

A CaseStatus regarding a participant-specific CaseState status A CaseStatus regarding a participant-specific CaseState status

Attribute	Value
Name	ParticipantStatusCs
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusCs
Description	A CaseStatus regarding a participant-specific CaseState status A CaseStatus regarding a participant-specific CaseState status
Superclasses	vultron_protocol.CaseStatusCs vultron_protocol.ParticipantStatus
Subclasses	vultron_protocol.ParticipantStatusCF vultron_protocol.ParticipantStatusCD vultron_protocol.ParticipantStatusCV

ParticipantStatusRm

Attribute	Value
Name	ParticipantStatusRm
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusRm
Description
Superclasses	vultron_protocol.ParticipantStatus
Subclasses	vultron_protocol.ParticipantStatusRmInvalid vultron_protocol.ParticipantStatusRmReceived vultron_protocol.ParticipantStatusRmValid vultron_protocol.ParticipantStatusRmClosed vultron_protocol.ParticipantStatusRmStart vultron_protocol.ParticipantStatusRmDeferred vultron_protocol.ParticipantStatusRmAccepted

ParticipantStatusRmAccepted

Attribute	Value
Name	ParticipantStatusRmAccepted
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmAccepted
Description
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.rmState.some(vultron_process.RmAcceptedState)
Superclasses	vultron_protocol.ParticipantStatusRm vultron_protocol.MsgTypeRA

ParticipantStatusRmClosed

Attribute	Value
Name	ParticipantStatusRmClosed
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmClosed
Description
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.rmState.some(vultron_process.RmClosedState)
Superclasses	vultron_protocol.MsgTypeRC vultron_protocol.ParticipantStatusRm

ParticipantStatusRmDeferred

Attribute	Value
Name	ParticipantStatusRmDeferred
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmDeferred
Description
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.rmState.some(vultron_process.RmDeferredState)
Superclasses	vultron_protocol.MsgTypeRD vultron_protocol.ParticipantStatusRm

ParticipantStatusRmInvalid

Attribute	Value
Name	ParticipantStatusRmInvalid
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmInvalid
Description
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.rmState.some(vultron_process.RmInvalidState)
Superclasses	vultron_protocol.MsgTypeRI vultron_protocol.ParticipantStatusRm

ParticipantStatusRmReceived

Attribute	Value
Name	ParticipantStatusRmReceived
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmReceived
Description
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.rmState.some(vultron_process.RmReceivedState)
Superclasses	vultron_protocol.MsgTypeRS vultron_protocol.ParticipantStatusRm

ParticipantStatusRmStart

Attribute	Value
Name	ParticipantStatusRmStart
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmStart
Description
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.rmState.some(vultron_process.RmStartState)
Superclasses	vultron_protocol.ParticipantStatusRm

ParticipantStatusRmValid

Attribute	Value
Name	ParticipantStatusRmValid
IRI	http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmValid
Description
Equivalent To	None vultron_protocol.ParticipantStatus & vultron_protocol.rmState.some(vultron_process.RmValidState)
Superclasses	vultron_protocol.MsgTypeRV vultron_protocol.ParticipantStatusRm

ReportManagementMessageType

Attribute	Value
Name	ReportManagementMessageType
IRI	http://www.cert.org/ns/vultron_protocol#ReportManagementMessageType
Description
Superclasses	vultron_protocol.VultronMessageType
Subclasses	vultron_protocol.MsgTypeRC vultron_protocol.MsgTypeRI vultron_protocol.MsgTypeRK vultron_protocol.MsgTypeAckableRm vultron_protocol.MsgTypeRD vultron_protocol.MsgTypeRS vultron_protocol.MsgTypeRA vultron_protocol.MsgTypeRE vultron_protocol.MsgTypeRV

ReporterParticipant

A ReporterParticipant is a CaseParticipant having the role of Reporter A ReporterParticipant is a CaseParticipant having the role of Reporter

Attribute	Value
Name	ReporterParticipant
IRI	http://www.cert.org/ns/vultron_protocol#ReporterParticipant
Description	A ReporterParticipant is a CaseParticipant having the role of Reporter A ReporterParticipant is a CaseParticipant having the role of Reporter
Equivalent To	None vultron_protocol.CaseParticipant & vultron_protocol.hasCaseRole.some(vultron_protocol.ReporterRole)
Superclasses	vultron_protocol.CaseParticipant
Subclasses	vultron_protocol.FinderReporterParticipant

ReporterRole

A role representing the Reporter of a vulnerability in a VulnerabilityCase. Often but not always will appear along with the FinderRole. A role representing the Reporter of a vulnerability in a VulnerabilityCase. Often but not always will appear along with the FinderRole.

Attribute	Value
Name	ReporterRole
IRI	http://www.cert.org/ns/vultron_protocol#ReporterRole
Description	A role representing the Reporter of a vulnerability in a VulnerabilityCase. Often but not always will appear along with the FinderRole. A role representing the Reporter of a vulnerability in a VulnerabilityCase. Often but not always will appear along with the FinderRole.
Superclasses	vultron_protocol.CvdCaseRole

ShouldBeBriefEmbargo

Attribute	Value
Name	ShouldBeBriefEmbargo
IRI	http://www.cert.org/ns/vultron_protocol#ShouldBeBriefEmbargo
Description
Equivalent To	vultron_protocol.MayAcceptEmbargo & vultron_protocol.VulnerabilityCase & vultron_protocol.hasParticipant.some(vultron_protocol.hasParticipantStatus.some(vultron_protocol.vfdState.some(vultron_process.CsFixReadyState))) None
Superclasses	vultron_protocol.MayAcceptEmbargo rfc2119.SHOULD vultron_protocol.MayProposeEmbargo

ShouldDeployASAP

Attribute	Value
Name	ShouldDeployASAP
IRI	http://www.cert.org/ns/vultron_protocol#ShouldDeployASAP
Description
Equivalent To	None vultron_protocol.pxaState.some(vultron_process.CsAttacksObservedState) & vultron_protocol.vfdState.some(vultron_process.CsFixReadyState) & vultron_protocol.vfdState.only(vultron_process.CsFixNotDeployedState)
Superclasses	rfc2119.SHOULD vultron_protocol.VultronSpec

ShouldFixASAP

Attribute	Value
Name	ShouldFixASAP
IRI	http://www.cert.org/ns/vultron_protocol#ShouldFixASAP
Description
Equivalent To	None vultron_protocol.pxaState.some(vultron_process.CsAttacksObservedState) & vultron_protocol.vfdState.only(vultron_process.CsFixNotReadyState)
Superclasses	rfc2119.SHOULD vultron_protocol.VultronSpec

ShouldNotAcceptEmbargo

Attribute	Value
Name	ShouldNotAcceptEmbargo
IRI	http://www.cert.org/ns/vultron_protocol#ShouldNotAcceptEmbargo
Description
Equivalent To	None vultron_protocol.ShouldNotProposeEmbargo vultron_protocol.MayAcceptEmbargo & vultron_protocol.VulnerabilityCase & vultron_protocol.hasParticipant.some(vultron_protocol.hasParticipantStatus.some(vultron_protocol.vfdState.some(vultron_process.CsFixDeployedState)))
Superclasses	rfc2119.SHOULDNOT vultron_protocol.MayProposeEmbargo vultron_protocol.VultronSpec vultron_protocol.MayAcceptEmbargo

ShouldNotProposeEmbargo

Attribute	Value
Name	ShouldNotProposeEmbargo
IRI	http://www.cert.org/ns/vultron_protocol#ShouldNotProposeEmbargo
Description
Superclasses	rfc2119.SHOULDNOT vultron_protocol.MayProposeEmbargo vultron_protocol.VultronSpec vultron_protocol.MayAcceptEmbargo

ShouldPublishASAP

Attribute	Value
Name	ShouldPublishASAP
IRI	http://www.cert.org/ns/vultron_protocol#ShouldPublishASAP
Description
Equivalent To	None vultron_protocol.pxaState.some(vultron_process.CsAttacksObservedState) & vultron_protocol.pxaState.only(vultron_process.CsPublicUnawareState)
Superclasses	rfc2119.SHOULD vultron_protocol.VultronSpec

ShouldTerminateEmbargoEarly

Defines conditions under which an embargo should terminate early Defines conditions under which an embargo should terminate early

Attribute	Value
Name	ShouldTerminateEmbargoEarly
IRI	http://www.cert.org/ns/vultron_protocol#ShouldTerminateEmbargoEarly
Description	Defines conditions under which an embargo should terminate early Defines conditions under which an embargo should terminate early
Equivalent To	None vultron_protocol.CaseStatusEmActiveOrReviseNotExited & vultron_protocol.pxaState.some(vultron_process.CsAttacksObservedState)
Superclasses	rfc2119.SHOULD vultron_protocol.VultronSpec

VendorDeployerParticipant

Attribute	Value
Name	VendorDeployerParticipant
IRI	http://www.cert.org/ns/vultron_protocol#VendorDeployerParticipant
Description
Equivalent To	None vultron_protocol.CaseParticipant & vultron_protocol.hasCaseRole.some(vultron_protocol.DeployerRole) & vultron_protocol.hasCaseRole.some(vultron_protocol.VendorRole)
Superclasses	vultron_protocol.CaseParticipant vultron_protocol.VendorParticipant vultron_protocol.DeployerParticipant

VendorParticipant

A VendorParticipant is a CaseParticipant having the role of Vendor A VendorParticipant is a CaseParticipant having the role of Vendor

Attribute	Value
Name	VendorParticipant
IRI	http://www.cert.org/ns/vultron_protocol#VendorParticipant
Description	A VendorParticipant is a CaseParticipant having the role of Vendor A VendorParticipant is a CaseParticipant having the role of Vendor
Equivalent To	None vultron_protocol.CaseParticipant & vultron_protocol.hasCaseRole.some(vultron_protocol.VendorRole)
Superclasses	vultron_protocol.CaseParticipant
Subclasses	vultron_protocol.VendorDeployerParticipant

VendorRole

Attribute	Value
Name	VendorRole
IRI	http://www.cert.org/ns/vultron_protocol#VendorRole
Description
Superclasses	vultron_protocol.CvdCaseRole

VulnerabilityCase

A Vulnerability Case is a container for vulnerability reports and is used to track the lifecycle of the case and its constituent vulnerability reports including the status of the case itself the participants in the case and the embargo status of the case. A Vulnerability Case is a container for vulnerability reports and is used to track the lifecycle of the case and its constituent vulnerability reports including the status of the case itself the participants in the case and the embargo status of the case.

Attribute	Value
Name	VulnerabilityCase
IRI	http://www.cert.org/ns/vultron_protocol#VulnerabilityCase
Description	A Vulnerability Case is a container for vulnerability reports and is used to track the lifecycle of the case and its constituent vulnerability reports including the status of the case itself the participants in the case and the embargo status of the case. A Vulnerability Case is a container for vulnerability reports and is used to track the lifecycle of the case and its constituent vulnerability reports including the status of the case itself the participants in the case and the embargo status of the case.
Superclasses	owl.Thing
Subclasses	vultron_activitystreams.VulnerabilityCase

VulnerabilityReport

Represents a VulnerabilityReport object Represents a VulnerabilityReport object

Attribute	Value
Name	VulnerabilityReport
IRI	http://www.cert.org/ns/vultron_protocol#VulnerabilityReport
Description	Represents a VulnerabilityReport object Represents a VulnerabilityReport object
Superclasses	owl.Thing
Subclasses	vultron_activitystreams.VulnerabilityReport

VultronMessageType

Describes a message type within the Vultron Protocol Describes a message type within the Vultron Protocol

Attribute	Value
Name	VultronMessageType
IRI	http://www.cert.org/ns/vultron_protocol#VultronMessageType
Description	Describes a message type within the Vultron Protocol Describes a message type within the Vultron Protocol
Superclasses	owl.Thing
Subclasses	vultron_protocol.EmbargoManagementMessageType vultron_protocol.ReportManagementMessageType vultron_protocol.VultronStateMessageType vultron_protocol.CaseStateMessageType vultron_protocol.GeneralMessageType

VultronSpec

Attribute	Value
Name	VultronSpec
IRI	http://www.cert.org/ns/vultron_protocol#VultronSpec
Description
Superclasses	owl.Thing
Subclasses	vultron_protocol.MayProposeEmbargo vultron_protocol.ShouldPublishASAP vultron_protocol.MayAcceptEmbargo vultron_protocol.MayTerminateEmbargoEarly vultron_protocol.ShouldNotProposeEmbargo vultron_protocol.MustNotProposeEmbargo vultron_protocol.MustNotAcceptEmbargo vultron_protocol.ShouldFixASAP vultron_protocol.MustTerminateEmbargoEarly vultron_protocol.ShouldDeployASAP vultron_protocol.ShouldNotAcceptEmbargo vultron_protocol.ShouldTerminateEmbargoEarly

VultronStateMessageType

A MessageType directly related to the operation of the Vultron protocol state machines A MessageType directly related to the operation of the Vultron protocol state machines

Attribute	Value
Name	VultronStateMessageType
IRI	http://www.cert.org/ns/vultron_protocol#VultronStateMessageType
Description	A MessageType directly related to the operation of the Vultron protocol state machines A MessageType directly related to the operation of the Vultron protocol state machines
Equivalent To	deterministicfiniteautomata.Symbol & vultron_protocol.VultronMessageType None
Superclasses	deterministicfiniteautomata.Symbol vultron_protocol.VultronMessageType
Subclasses	vultron_protocol.MsgTypeAckableRm vultron_protocol.MsgTypeAckableEm vultron_protocol.MsgTypeAckableCs

Properties

actor

Designates the Actor of an Activity Designates the Actor of an Activity

Attribute	Value
Name	actor
IRI	http://www.cert.org/ns/vultron_protocol#actor
Description	Designates the Actor of an Activity Designates the Actor of an Activity
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.CaseParticipant
Range	vultron_protocol.Actor

emState

Attribute	Value
Name	emState
IRI	http://www.cert.org/ns/vultron_protocol#emState
Description
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.CaseStatus or vultron_protocol.ParticipantStatus None
Range	vultron_process.EmbargoManagementState

hasCaseRole

delineates the CvdCaseRole of a CaseParticipant delineates the CvdCaseRole of a CaseParticipant

Attribute	Value
Name	hasCaseRole
IRI	http://www.cert.org/ns/vultron_protocol#hasCaseRole
Description	delineates the CvdCaseRole of a CaseParticipant delineates the CvdCaseRole of a CaseParticipant
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.CaseParticipant
Range	vultron_protocol.CvdCaseRole

hasCaseStatus

Attribute	Value
Name	hasCaseStatus
IRI	http://www.cert.org/ns/vultron_protocol#hasCaseStatus
Description
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.VulnerabilityCase
Range	vultron_protocol.CaseStatus

hasMessageType

Each VultronProcess relies on a set of VultronMessageType classes Each VultronProcess relies on a set of VultronMessageType classes

Attribute	Value
Name	hasMessageType
IRI	http://www.cert.org/ns/vultron_protocol#hasMessageType
Description	Each VultronProcess relies on a set of VultronMessageType classes Each VultronProcess relies on a set of VultronMessageType classes
Superclasses	owl.ObjectProperty owl.topObjectProperty
Domain	vultron_process.ProcessModel
Range	vultron_protocol.VultronMessageType

hasParticipant

Attribute	Value
Name	hasParticipant
IRI	http://www.cert.org/ns/vultron_protocol#hasParticipant
Description
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.VulnerabilityCase
Range	vultron_protocol.CaseParticipant

hasParticipantStatus

connects a CaseParticipant to a ParticipantStatus that describes their state within a VulnerabilityCase connects a CaseParticipant to a ParticipantStatus that describes their state within a VulnerabilityCase

Attribute	Value
Name	hasParticipantStatus
IRI	http://www.cert.org/ns/vultron_protocol#hasParticipantStatus
Description	connects a CaseParticipant to a ParticipantStatus that describes their state within a VulnerabilityCase connects a CaseParticipant to a ParticipantStatus that describes their state within a VulnerabilityCase
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.CaseParticipant
Range	vultron_protocol.ParticipantStatus

isCaseRoleOf

relates a CaseRole to a CaseParticipant relates a CaseRole to a CaseParticipant

Attribute	Value
Name	isCaseRoleOf
IRI	http://www.cert.org/ns/vultron_protocol#isCaseRoleOf
Description	relates a CaseRole to a CaseParticipant relates a CaseRole to a CaseParticipant
Superclasses	owl.ObjectProperty

isCaseStatusOf

Attribute	Value
Name	isCaseStatusOf
IRI	http://www.cert.org/ns/vultron_protocol#isCaseStatusOf
Description
Superclasses	owl.ObjectProperty

isMessageTypeOf

A VultronMessageType belongs to a VultronProcess A VultronMessageType belongs to a VultronProcess

Attribute	Value
Name	isMessageTypeOf
IRI	http://www.cert.org/ns/vultron_protocol#isMessageTypeOf
Description	A VultronMessageType belongs to a VultronProcess A VultronMessageType belongs to a VultronProcess
Superclasses	owl.ObjectProperty owl.topObjectProperty

isParticipantOf

Attribute	Value
Name	isParticipantOf
IRI	http://www.cert.org/ns/vultron_protocol#isParticipantOf
Description
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.CaseParticipant
Range	vultron_protocol.VulnerabilityCase

pxaState

links a CaseStatus to a specific CsParticipantAgnosticState links a CaseStatus to a specific CsParticipantAgnosticState

Attribute	Value
Name	pxaState
IRI	http://www.cert.org/ns/vultron_protocol#pxaState
Description	links a CaseStatus to a specific CsParticipantAgnosticState links a CaseStatus to a specific CsParticipantAgnosticState
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.CaseStatus or vultron_protocol.ParticipantStatus None
Range	vultron_process.CsParticipantAgnosticState

pxaStateForParticipant

Attribute	Value
Name	pxaStateForParticipant
IRI	http://www.cert.org/ns/vultron_protocol#pxaStateForParticipant
Description
Superclasses	owl.ObjectProperty owl.topObjectProperty
Domain	vultron_protocol.CaseParticipant
Range	vultron_process.CsParticipantAgnosticState

rmState

links a ParticipantStatus to a specific ReportManagementState links a ParticipantStatus to a specific ReportManagementState

Attribute	Value
Name	rmState
IRI	http://www.cert.org/ns/vultron_protocol#rmState
Description	links a ParticipantStatus to a specific ReportManagementState links a ParticipantStatus to a specific ReportManagementState
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.ParticipantStatus
Range	vultron_process.ReportManagementState

vfdState

links a ParticipantStatus to a specific CsParticipantSpecificState links a ParticipantStatus to a specific CsParticipantSpecificState

Attribute	Value
Name	vfdState
IRI	http://www.cert.org/ns/vultron_protocol#vfdState
Description	links a ParticipantStatus to a specific CsParticipantSpecificState links a ParticipantStatus to a specific CsParticipantSpecificState
Superclasses	owl.ObjectProperty
Domain	vultron_protocol.ParticipantStatus
Range	vultron_process.CsParticipantSpecificState

Protégé

We recommend using the Protégé ontology editor to view and edit the ontology files.

@base <http://www.cert.org/ns/vultron_protocol#> .
@prefix : <http://www.cert.org/ns/vultron_protocol#> .
@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#> .
@prefix rfc2119: <http://www.cert.org/ns/rfc2119#> .
@prefix vultron_process: <http://www.cert.org/ns/vultron_process#> .
# 
# 
# #################################################################
# #
# #    Object Properties
# #
# #################################################################
# 
# 
# http://www.cert.org/ns/vultron_protocol#actor
# 
# http://www.cert.org/ns/vultron_protocol#emState
# 
# http://www.cert.org/ns/vultron_protocol#hasCaseRole
# 
# http://www.cert.org/ns/vultron_protocol#hasCaseStatus
# 
# http://www.cert.org/ns/vultron_protocol#hasMessageType
# 
# http://www.cert.org/ns/vultron_protocol#hasParticipant
# 
# http://www.cert.org/ns/vultron_protocol#hasParticipantStatus
# 
# http://www.cert.org/ns/vultron_protocol#isCaseRoleOf
# 
# http://www.cert.org/ns/vultron_protocol#isCaseStatusOf
# 
# http://www.cert.org/ns/vultron_protocol#isMessageTypeOf
# 
# http://www.cert.org/ns/vultron_protocol#isParticipantOf
# 
# http://www.cert.org/ns/vultron_protocol#pxaState
# 
# http://www.cert.org/ns/vultron_protocol#pxaStateForParticipant
# 
# http://www.cert.org/ns/vultron_protocol#rmState
# 
# http://www.cert.org/ns/vultron_protocol#vfdState
# 
# 
# 
# #################################################################
# #
# #    Classes
# #
# #################################################################
# 
# 
# http://www.cert.org/ns/vultron_protocol#Actor
# 
# http://www.cert.org/ns/vultron_protocol#CaseOwnerParticipant
# 
# http://www.cert.org/ns/vultron_protocol#CaseOwnerRole
# 
# http://www.cert.org/ns/vultron_protocol#CaseParticipant
# 
# http://www.cert.org/ns/vultron_protocol#CaseStateMessageType
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatus
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusCA
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusCP
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusCX
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusCs
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusEA
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusEN
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusEP
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusER
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusEX
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusEm
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusEmActiveOrReviseNotExited
# 
# http://www.cert.org/ns/vultron_protocol#CaseStatusEmNotExited
# 
# http://www.cert.org/ns/vultron_protocol#CoordinatorParticipant
# 
# http://www.cert.org/ns/vultron_protocol#CoordinatorRole
# 
# http://www.cert.org/ns/vultron_protocol#CvdCaseRole
# 
# http://www.cert.org/ns/vultron_protocol#DeployerParticipant
# 
# http://www.cert.org/ns/vultron_protocol#DeployerRole
# 
# http://www.cert.org/ns/vultron_protocol#EmbargoManagementMessageType
# 
# http://www.cert.org/ns/vultron_protocol#FinderParticipant
# 
# http://www.cert.org/ns/vultron_protocol#FinderReporterParticipant
# 
# http://www.cert.org/ns/vultron_protocol#FinderRole
# 
# http://www.cert.org/ns/vultron_protocol#GeneralMessageType
# 
# http://www.cert.org/ns/vultron_protocol#MayAcceptEmbargo
# 
# http://www.cert.org/ns/vultron_protocol#MayProposeEmbargo
# 
# http://www.cert.org/ns/vultron_protocol#MayTerminateEmbargoEarly
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeAckableCs
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeAckableEm
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeAckableGm
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeAckableRm
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeCA
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeCD
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeCE
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeCF
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeCK
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeCP
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeCV
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeCX
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeEA
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeEC
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeEE
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeEJ
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeEK
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeEP
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeER
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeET
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeEV
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeGE
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeGI
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeGK
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeRA
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeRC
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeRD
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeRE
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeRI
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeRK
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeRS
# 
# http://www.cert.org/ns/vultron_protocol#MsgTypeRV
# 
# http://www.cert.org/ns/vultron_protocol#MustNotAcceptEmbargo
# 
# http://www.cert.org/ns/vultron_protocol#MustNotProposeEmbargo
# 
# http://www.cert.org/ns/vultron_protocol#MustTerminateEmbargoEarly
# 
# http://www.cert.org/ns/vultron_protocol#OtherParticipant
# 
# http://www.cert.org/ns/vultron_protocol#OtherRole
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatus
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusCD
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusCF
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusCV
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusCs
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusRm
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmAccepted
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmClosed
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmDeferred
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmInvalid
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmReceived
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmStart
# 
# http://www.cert.org/ns/vultron_protocol#ParticipantStatusRmValid
# 
# http://www.cert.org/ns/vultron_protocol#ReportManagementMessageType
# 
# http://www.cert.org/ns/vultron_protocol#ReporterParticipant
# 
# http://www.cert.org/ns/vultron_protocol#ReporterRole
# 
# http://www.cert.org/ns/vultron_protocol#ShouldBeBriefEmbargo
# 
# http://www.cert.org/ns/vultron_protocol#ShouldDeployASAP
# 
# http://www.cert.org/ns/vultron_protocol#ShouldFixASAP
# 
# http://www.cert.org/ns/vultron_protocol#ShouldNotAcceptEmbargo
# 
# http://www.cert.org/ns/vultron_protocol#ShouldNotProposeEmbargo
# 
# http://www.cert.org/ns/vultron_protocol#ShouldPublishASAP

<vultron_protocol> a owl:Ontology;
  owl:imports <rfc2119>, <vultron_process>;
  rdfs:comment "Defines the Vultron protocol in terms of interactions between the Vultron process models and message types between instances of those processes." .

:actor a owl:ObjectProperty;
  rdfs:domain :CaseParticipant;
  rdfs:range :Actor;
  rdfs:comment "Designates the Actor of an Activity" .

:emState a owl:ObjectProperty;
  rdfs:domain _:genid1;
  rdfs:range vultron_process:EmbargoManagementState .

_:genid1 a owl:Class;
  owl:unionOf _:genid3 .

_:genid3 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid2 .

_:genid2 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest rdf:nil .

:hasCaseRole a owl:ObjectProperty;
  owl:inverseOf :isCaseRoleOf;
  rdfs:domain :CaseParticipant;
  rdfs:range :CvdCaseRole;
  rdfs:comment "delineates the CvdCaseRole of a CaseParticipant" .

:hasCaseStatus a owl:ObjectProperty;
  owl:inverseOf :isCaseStatusOf;
  rdfs:domain :VulnerabilityCase;
  rdfs:range :CaseStatus .

:hasMessageType a owl:ObjectProperty;
  rdfs:subPropertyOf owl:topObjectProperty;
  owl:inverseOf :isMessageTypeOf;
  rdfs:domain vultron_process:ProcessModel;
  rdfs:range :VultronMessageType;
  rdfs:comment "Each VultronProcess relies on a set of VultronMessageType classes" .

:hasParticipant a owl:ObjectProperty;
  owl:inverseOf :isParticipantOf;
  rdfs:domain :VulnerabilityCase;
  rdfs:range :CaseParticipant .

:hasParticipantStatus a owl:ObjectProperty;
  rdfs:domain :CaseParticipant;
  rdfs:range :ParticipantStatus;
  rdfs:comment "connects a CaseParticipant to a ParticipantStatus that describes their state within a VulnerabilityCase" .

:isCaseRoleOf a owl:ObjectProperty;
  rdfs:comment "relates a CaseRole to a CaseParticipant" .

:isCaseStatusOf a owl:ObjectProperty .

:isMessageTypeOf a owl:ObjectProperty;
  rdfs:subPropertyOf owl:topObjectProperty;
  rdfs:comment "A VultronMessageType belongs to a VultronProcess" .

:isParticipantOf a owl:ObjectProperty;
  rdfs:domain :CaseParticipant;
  rdfs:range :VulnerabilityCase .

:pxaState a owl:ObjectProperty;
  rdfs:domain _:genid4;
  rdfs:range vultron_process:CsParticipantAgnosticState;
  rdfs:comment "links a CaseStatus to a specific CsParticipantAgnosticState" .

_:genid4 a owl:Class;
  owl:unionOf _:genid6 .

_:genid6 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid5 .

_:genid5 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest rdf:nil .

:pxaStateForParticipant a owl:ObjectProperty;
  rdfs:subPropertyOf owl:topObjectProperty;
  rdfs:domain :CaseParticipant;
  rdfs:range vultron_process:CsParticipantAgnosticState .

:rmState a owl:ObjectProperty;
  rdfs:domain :ParticipantStatus;
  rdfs:range vultron_process:ReportManagementState;
  rdfs:comment "links a ParticipantStatus to a specific ReportManagementState" .

:vfdState a owl:ObjectProperty;
  rdfs:domain :ParticipantStatus;
  rdfs:range vultron_process:CsParticipantSpecificState;
  rdfs:comment "links a ParticipantStatus to a specific CsParticipantSpecificState" .

:Actor a owl:Class .

:CaseOwnerParticipant a owl:Class;
  owl:equivalentClass _:genid7;
  rdfs:subClassOf :CaseParticipant .

_:genid7 a owl:Class;
  owl:intersectionOf _:genid10 .

_:genid10 a rdf:List;
  rdf:first :CaseParticipant;
  rdf:rest _:genid8 .

_:genid8 a rdf:List;
  rdf:first _:genid9;
  rdf:rest rdf:nil .

_:genid9 a owl:Restriction;
  owl:someValuesFrom :CaseOwnerRole;
  owl:onProperty :hasCaseRole .

:CaseOwnerRole a owl:Class;
  rdfs:subClassOf :CvdCaseRole;
  rdfs:comment "A role representing the owner of a VulnerabilityCase" .

:CaseParticipant a owl:Class;
  owl:equivalentClass _:genid11;
  rdfs:comment "A CaseParticipant is a wrapper around an Actor in a VulnerabilityCase. It is used to track the status of the participant within the context of a specific case, as well as the roles they play in the case. Several subclasses of CaseParticipant are provided for convenience." .

_:genid11 a owl:Class;
  owl:intersectionOf _: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 :CvdCaseRole;
  owl:onProperty :hasCaseRole .

_:genid15 a owl:Restriction;
  owl:someValuesFrom :VulnerabilityCase;
  owl:onProperty :isParticipantOf .

_:genid17 a owl:Restriction;
  owl:someValuesFrom :CvdCaseRole;
  owl:onProperty :hasCaseRole .

_:genid19 a owl:Restriction;
  owl:someValuesFrom :Actor;
  owl:onProperty :actor .

:CaseStateMessageType a owl:Class;
  rdfs:subClassOf :VultronMessageType;
  rdfs:comment "Messages regarding the Vultron Case State Model" .

:CaseStatus a owl:Class;
  owl:equivalentClass _:genid20;
  rdfs:comment "Represents the case-level (global, participant-agnostic) status of a VulnerabilityCase." .

_:genid20 a owl:Class;
  owl:intersectionOf _:genid23 .

_:genid23 a rdf:List;
  rdf:first _:genid24;
  rdf:rest _:genid21 .

_:genid21 a rdf:List;
  rdf:first _:genid22;
  rdf:rest rdf:nil .

_:genid22 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsParticipantAgnosticState;
  owl:onProperty :pxaState .

_:genid24 a owl:Restriction;
  owl:someValuesFrom vultron_process:EmbargoManagementState;
  owl:onProperty :emState .

:CaseStatusCA a owl:Class;
  owl:equivalentClass _:genid25;
  rdfs:subClassOf :CaseStatusCs, :MsgTypeCA;
  rdfs:comment "A CaseStatus indicating CsAttacksObservedState" .

_:genid25 a owl:Class;
  owl:intersectionOf _:genid28 .

_:genid28 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid26 .

_:genid26 a rdf:List;
  rdf:first _:genid27;
  rdf:rest rdf:nil .

_:genid27 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsAttacksObservedState;
  owl:onProperty :pxaState .

:CaseStatusCP a owl:Class;
  owl:equivalentClass _:genid29;
  rdfs:subClassOf :CaseStatusCs, :MsgTypeCP;
  rdfs:comment "A CaseStatus indicating CsPublicAwareState" .

_:genid29 a owl:Class;
  owl:intersectionOf _:genid32 .

_:genid32 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid30 .

_:genid30 a rdf:List;
  rdf:first _:genid31;
  rdf:rest rdf:nil .

_:genid31 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsPublicAwareState;
  owl:onProperty :pxaState .

:CaseStatusCX a owl:Class;
  owl:equivalentClass _:genid33;
  rdfs:subClassOf :CaseStatusCs, :MsgTypeCX;
  rdfs:comment "A CaseStatus indicating CsPublicExploitState" .

_:genid33 a owl:Class;
  owl:intersectionOf _:genid36 .

_:genid36 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid34 .

_:genid34 a rdf:List;
  rdf:first _:genid35;
  rdf:rest rdf:nil .

_:genid35 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsPublicExploitState;
  owl:onProperty :pxaState .

:CaseStatusCs a owl:Class;
  rdfs:subClassOf :CaseStatus;
  rdfs:comment "A CaseStatus that includes a Vultron CaseState update" .

:CaseStatusEA a owl:Class;
  owl:equivalentClass _:genid37;
  rdfs:subClassOf :CaseStatus, :CaseStatusEm;
  rdfs:comment "A CaseStatus indicating EmActiveState" .

_:genid37 a owl:Class;
  owl:intersectionOf _:genid40 .

_:genid40 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid38 .

_:genid38 a rdf:List;
  rdf:first _:genid39;
  rdf:rest rdf:nil .

_:genid39 a owl:Restriction;
  owl:someValuesFrom vultron_process:EmActiveState;
  owl:onProperty :emState .

:CaseStatusEN a owl:Class;
  owl:equivalentClass _:genid41;
  rdfs:subClassOf :CaseStatus, :CaseStatusEm;
  rdfs:comment "A CaseStatus indicating EmNoneState" .

_:genid41 a owl:Class;
  owl:intersectionOf _:genid44 .

_:genid44 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid42 .

_:genid42 a rdf:List;
  rdf:first _:genid43;
  rdf:rest rdf:nil .

_:genid43 a owl:Restriction;
  owl:someValuesFrom vultron_process:EmNoneState;
  owl:onProperty :emState .

:CaseStatusEP a owl:Class;
  owl:equivalentClass _:genid45;
  rdfs:subClassOf :CaseStatus, :CaseStatusEm;
  rdfs:comment "A CaseStatus indicating EmProposedState" .

_:genid45 a owl:Class;
  owl:intersectionOf _:genid48 .

_:genid48 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid46 .

_:genid46 a rdf:List;
  rdf:first _:genid47;
  rdf:rest rdf:nil .

_:genid47 a owl:Restriction;
  owl:someValuesFrom vultron_process:EmProposedState;
  owl:onProperty :emState .

:CaseStatusER a owl:Class;
  owl:equivalentClass _:genid49;
  rdfs:subClassOf :CaseStatus, :CaseStatusEm;
  rdfs:comment "A CaseStatus indicating EmReviseState" .

_:genid49 a owl:Class;
  owl:intersectionOf _:genid52 .

_:genid52 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid50 .

_:genid50 a rdf:List;
  rdf:first _:genid51;
  rdf:rest rdf:nil .

_:genid51 a owl:Restriction;
  owl:someValuesFrom vultron_process:EmReviseState;
  owl:onProperty :emState .

:CaseStatusEX a owl:Class;
  owl:equivalentClass _:genid53;
  rdfs:subClassOf :CaseStatus, :CaseStatusEm;
  rdfs:comment "A CaseStatus indicating EmExitedState" .

_:genid53 a owl:Class;
  owl:intersectionOf _:genid56 .

_:genid56 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid54 .

_:genid54 a rdf:List;
  rdf:first _:genid55;
  rdf:rest rdf:nil .

_:genid55 a owl:Restriction;
  owl:someValuesFrom vultron_process:EmExitedState;
  owl:onProperty :emState .

:CaseStatusEm a owl:Class;
  rdfs:subClassOf :CaseStatus;
  rdfs:comment "A CaseStatus containing information about the EmbargoManagementState of a VulnerabilityCase" .

:CaseStatusEmActiveOrReviseNotExited a owl:Class;
  owl:equivalentClass _:genid57;
  rdfs:subClassOf :CaseStatusEmNotExited;
  rdfs:comment "A CaseStatus in which the EmbargoManagementState is in either EmActiveState or EmReviseState" .

_:genid57 a owl:Class;
  owl:intersectionOf _:genid60 .

_:genid60 a rdf:List;
  rdf:first :CaseStatusEmNotExited;
  rdf:rest _:genid58 .

_:genid58 a rdf:List;
  rdf:first _:genid59;
  rdf:rest rdf:nil .

_:genid59 a owl:Restriction;
  owl:someValuesFrom vultron_process:ActiveEmbargoState;
  owl:onProperty :emState .

:CaseStatusEmNotExited a owl:Class;
  owl:equivalentClass _:genid61;
  rdfs:subClassOf :CaseStatusEm;
  rdfs:comment "A CaseStatus indicating EmbargoManagementState is anything but EmExitedState" .

_:genid61 a owl:Class;
  owl:unionOf _:genid65 .

_:genid65 a rdf:List;
  rdf:first vultron_process:EmActiveState;
  rdf:rest _:genid64 .

_:genid64 a rdf:List;
  rdf:first vultron_process:EmNoneState;
  rdf:rest _:genid63 .

_:genid63 a rdf:List;
  rdf:first vultron_process:EmProposedState;
  rdf:rest _:genid62 .

_:genid62 a rdf:List;
  rdf:first vultron_process:EmReviseState;
  rdf:rest rdf:nil .

:CoordinatorParticipant a owl:Class;
  owl:equivalentClass _:genid66;
  rdfs:subClassOf :CaseParticipant;
  rdfs:comment "A CoordinatorParticipant is a CaseParticipant having the role of Coordinator" .

_:genid66 a owl:Class;
  owl:intersectionOf _:genid69 .

_:genid69 a rdf:List;
  rdf:first :CaseParticipant;
  rdf:rest _:genid67 .

_:genid67 a rdf:List;
  rdf:first _:genid68;
  rdf:rest rdf:nil .

_:genid68 a owl:Restriction;
  owl:someValuesFrom :CoordinatorRole;
  owl:onProperty :hasCaseRole .

:CoordinatorRole a owl:Class;
  rdfs:subClassOf :CvdCaseRole;
  rdfs:comment "A role representing a Coordinator in a VulnerabilityCase" .

:CvdCaseRole a owl:Class;
  rdfs:comment "A role within a CVD case. Roles are intended to be consistent with the Vultron documentation and the CERT Guide to Coordinated Vulnerability Disclosure." .

:DeployerParticipant a owl:Class;
  owl:equivalentClass _:genid70;
  rdfs:subClassOf :CaseParticipant;
  rdfs:comment "A DeployerParticipant is a CaseParticipant having the role of Deployer" .

_:genid70 a owl:Class;
  owl:intersectionOf _:genid73 .

_:genid73 a rdf:List;
  rdf:first :CaseParticipant;
  rdf:rest _:genid71 .

_:genid71 a rdf:List;
  rdf:first _:genid72;
  rdf:rest rdf:nil .

_:genid72 a owl:Restriction;
  owl:someValuesFrom :DeployerRole;
  owl:onProperty :hasCaseRole .

:DeployerRole a owl:Class;
  rdfs:subClassOf :CvdCaseRole;
  rdfs:comment "A role representing a Deployer in a VulnerabilityCase" .

:EmbargoManagementMessageType a owl:Class;
  rdfs:subClassOf :VultronMessageType;
  rdfs:comment "A VultronMessageType regarding the embargo management process" .

:FinderParticipant a owl:Class;
  owl:equivalentClass _:genid74;
  rdfs:subClassOf :CaseParticipant;
  rdfs:comment "A FinderParticipant is a CaseParticipant having the role of Finder" .

_:genid74 a owl:Class;
  owl:intersectionOf _:genid77 .

_:genid77 a rdf:List;
  rdf:first :CaseParticipant;
  rdf:rest _:genid75 .

_:genid75 a rdf:List;
  rdf:first _:genid76;
  rdf:rest rdf:nil .

_:genid76 a owl:Restriction;
  owl:someValuesFrom :FinderRole;
  owl:onProperty :hasCaseRole .

:FinderReporterParticipant a owl:Class;
  owl:equivalentClass _:genid78;
  rdfs:subClassOf :FinderParticipant, :ReporterParticipant;
  rdfs:comment "A FinderReporterParticipant is a CaseParticipant having the roles of Finder and Reporter" .

_:genid78 a owl:Class;
  owl:intersectionOf _:genid83 .

_:genid83 a rdf:List;
  rdf:first :CaseParticipant;
  rdf:rest _:genid81 .

_:genid81 a rdf:List;
  rdf:first _:genid82;
  rdf:rest _:genid79 .

_:genid79 a rdf:List;
  rdf:first _:genid80;
  rdf:rest rdf:nil .

_:genid80 a owl:Restriction;
  owl:someValuesFrom :ReporterRole;
  owl:onProperty :hasCaseRole .

_:genid82 a owl:Restriction;
  owl:someValuesFrom :FinderRole;
  owl:onProperty :hasCaseRole .

:FinderRole a owl:Class;
  rdfs:subClassOf :CvdCaseRole;
  rdfs:comment "A role representing a Finder in a VulnerabilityCase" .

:GeneralMessageType a owl:Class;
  rdfs:subClassOf :VultronMessageType;
  rdfs:comment "A VultronMessageType for a general (non-state-machine related) message" .

:MayAcceptEmbargo a owl:Class;
  owl:equivalentClass :MayProposeEmbargo, _:genid84;
  rdfs:subClassOf rfc2119:MAY, :VultronSpec .

_:genid84 a owl:Class;
  owl:intersectionOf _:genid88 .

_:genid88 a rdf:List;
  rdf:first :VulnerabilityCase;
  rdf:rest _:genid85 .

_:genid85 a rdf:List;
  rdf:first _:genid86;
  rdf:rest rdf:nil .

_:genid86 a owl:Restriction;
  owl:allValuesFrom _:genid87;
  owl:onProperty :hasCaseStatus .

_:genid87 a owl:Restriction;
  owl:someValuesFrom vultron_process:CspxaState;
  owl:onProperty :pxaState .

:MayProposeEmbargo a owl:Class;
  rdfs:subClassOf rfc2119:MAY, :VultronSpec .

:MayTerminateEmbargoEarly a owl:Class;
  owl:equivalentClass _:genid89;
  rdfs:subClassOf rfc2119:MAY, :VultronSpec;
  rdfs:comment "Defines conditions under which an embargo may terminate only" .

_:genid89 a owl:Class;
  owl:intersectionOf _:genid92 .

_:genid92 a rdf:List;
  rdf:first :CaseStatusEmActiveOrReviseNotExited;
  rdf:rest _:genid90 .

_:genid90 a rdf:List;
  rdf:first _:genid91;
  rdf:rest rdf:nil .

_:genid91 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsFixReadyState;
  owl:onProperty :vfdState .

:MsgTypeAckableCs a owl:Class;
  owl:equivalentClass _:genid93;
  rdfs:subClassOf vultron_process:CaseStateSymbol, :CaseStateMessageType, :VultronStateMessageType;
  rdfs:comment "A CaseStateMessageType that can be acknowledged with a MsgTypeCK" .

_:genid93 a owl:Class;
  owl:unionOf _:genid99 .

_:genid99 a rdf:List;
  rdf:first :MsgTypeCA;
  rdf:rest _:genid98 .

_:genid98 a rdf:List;
  rdf:first :MsgTypeCD;
  rdf:rest _:genid97 .

_:genid97 a rdf:List;
  rdf:first :MsgTypeCF;
  rdf:rest _:genid96 .

_:genid96 a rdf:List;
  rdf:first :MsgTypeCP;
  rdf:rest _:genid95 .

_:genid95 a rdf:List;
  rdf:first :MsgTypeCV;
  rdf:rest _:genid94 .

_:genid94 a rdf:List;
  rdf:first :MsgTypeCX;
  rdf:rest rdf:nil .

:MsgTypeAckableEm a owl:Class;
  owl:equivalentClass _:genid100;
  rdfs:subClassOf vultron_process:EmbargoManagementSymbol, :EmbargoManagementMessageType,
    :VultronStateMessageType .

_:genid100 a owl:Class;
  owl:unionOf _:genid107 .

_:genid107 a rdf:List;
  rdf:first :MsgTypeEA;
  rdf:rest _:genid106 .

_:genid106 a rdf:List;
  rdf:first :MsgTypeEC;
  rdf:rest _:genid105 .

_:genid105 a rdf:List;
  rdf:first :MsgTypeEJ;
  rdf:rest _:genid104 .

_:genid104 a rdf:List;
  rdf:first :MsgTypeEP;
  rdf:rest _:genid103 .

_:genid103 a rdf:List;
  rdf:first :MsgTypeER;
  rdf:rest _:genid102 .

_:genid102 a rdf:List;
  rdf:first :MsgTypeET;
  rdf:rest _:genid101 .

_:genid101 a rdf:List;
  rdf:first :MsgTypeEV;
  rdf:rest rdf:nil .

:MsgTypeAckableGm a owl:Class;
  owl:equivalentClass :MsgTypeGI;
  rdfs:subClassOf :GeneralMessageType .

:MsgTypeAckableRm a owl:Class;
  owl:equivalentClass _:genid108;
  rdfs:subClassOf vultron_process:ReportManagementSymbol, :ReportManagementMessageType,
    :VultronStateMessageType .

_:genid108 a owl:Class;
  owl:unionOf _:genid114 .

_:genid114 a rdf:List;
  rdf:first :MsgTypeRA;
  rdf:rest _:genid113 .

_:genid113 a rdf:List;
  rdf:first :MsgTypeRC;
  rdf:rest _:genid112 .

_:genid112 a rdf:List;
  rdf:first :MsgTypeRD;
  rdf:rest _:genid111 .

_:genid111 a rdf:List;
  rdf:first :MsgTypeRI;
  rdf:rest _:genid110 .

_:genid110 a rdf:List;
  rdf:first :MsgTypeRS;
  rdf:rest _:genid109 .

_:genid109 a rdf:List;
  rdf:first :MsgTypeRV;
  rdf:rest rdf:nil .

:MsgTypeCA a owl:Class;
  rdfs:subClassOf vultron_process:CsASymbol, :CaseStateMessageType, :MsgTypeAckableCs;
  rdfs:comment "A VultronMessageType indicating CsAttacksObservedState" .

:MsgTypeCD a owl:Class;
  rdfs:subClassOf vultron_process:CsDSymbol, :CaseStateMessageType, :MsgTypeAckableCs;
  rdfs:comment "A VultronMessageType indicating CsFixDeployedState" .

:MsgTypeCE a owl:Class;
  rdfs:subClassOf :CaseStateMessageType;
  rdfs:comment "A VultronMessageType indicating an error in handling a CaseStateMessageType message" .

:MsgTypeCF a owl:Class;
  rdfs:subClassOf vultron_process:CsFSymbol, :CaseStateMessageType, :MsgTypeAckableCs;
  rdfs:comment "A VultronMessageType indicating a CaseParticipant has reached the CsFixReadyState" .

:MsgTypeCK a owl:Class;
  rdfs:subClassOf :CaseStateMessageType;
  rdfs:comment "An acknowledgement of a CsAckableMsgType" .

:MsgTypeCP a owl:Class;
  rdfs:subClassOf vultron_process:CsPSymbol, :CaseStateMessageType, :MsgTypeAckableCs;
  rdfs:comment "A VultronMessageType indicating CsPublicAwareState" .

:MsgTypeCV a owl:Class;
  rdfs:subClassOf vultron_process:CsVSymbol, :CaseStateMessageType, :MsgTypeAckableCs;
  rdfs:comment "VultronMessageType indicating CsVendorAwareState" .

:MsgTypeCX a owl:Class;
  rdfs:subClassOf vultron_process:CsXSymbol, :CaseStateMessageType, :MsgTypeAckableCs;
  rdfs:comment "VultronMessageType indicating CsPublicExploitState" .

:MsgTypeEA a owl:Class;
  rdfs:subClassOf vultron_process:EmASymbol, :EmbargoManagementMessageType, :MsgTypeAckableEm .

:MsgTypeEC a owl:Class;
  rdfs:subClassOf vultron_process:EmASymbol, :EmbargoManagementMessageType, :MsgTypeAckableEm .

:MsgTypeEE a owl:Class;
  rdfs:subClassOf :EmbargoManagementMessageType .

:MsgTypeEJ a owl:Class;
  rdfs:subClassOf vultron_process:EmRSymbol, :EmbargoManagementMessageType, :MsgTypeAckableEm .

:MsgTypeEK a owl:Class;
  rdfs:subClassOf :EmbargoManagementMessageType .

:MsgTypeEP a owl:Class;
  rdfs:subClassOf vultron_process:EmPSymbol, :EmbargoManagementMessageType, :MsgTypeAckableEm .

:MsgTypeER a owl:Class;
  rdfs:subClassOf vultron_process:EmRSymbol, :EmbargoManagementMessageType, :MsgTypeAckableEm .

:MsgTypeET a owl:Class;
  rdfs:subClassOf vultron_process:EmTSymbol, :EmbargoManagementMessageType, :MsgTypeAckableEm .

:MsgTypeEV a owl:Class;
  rdfs:subClassOf vultron_process:EmASymbol, :EmbargoManagementMessageType, :MsgTypeAckableEm .

:MsgTypeGE a owl:Class;
  rdfs:subClassOf :GeneralMessageType .

:MsgTypeGI a owl:Class;
  rdfs:subClassOf :GeneralMessageType .

:MsgTypeGK a owl:Class;
  rdfs:subClassOf :GeneralMessageType .

:MsgTypeRA a owl:Class;
  rdfs:subClassOf vultron_process:RmASymbol, :MsgTypeAckableRm, :ReportManagementMessageType .

:MsgTypeRC a owl:Class;
  rdfs:subClassOf vultron_process:RmCSymbol, :MsgTypeAckableRm, :ReportManagementMessageType .

:MsgTypeRD a owl:Class;
  rdfs:subClassOf vultron_process:RmDSymbol, :MsgTypeAckableRm, :ReportManagementMessageType .

:MsgTypeRE a owl:Class;
  rdfs:subClassOf :ReportManagementMessageType .

:MsgTypeRI a owl:Class;
  rdfs:subClassOf vultron_process:RmISymbol, :MsgTypeAckableRm, :ReportManagementMessageType .

:MsgTypeRK a owl:Class;
  rdfs:subClassOf :ReportManagementMessageType .

:MsgTypeRS a owl:Class;
  rdfs:subClassOf vultron_process:RmRSymbol, :MsgTypeAckableRm, :ReportManagementMessageType .

:MsgTypeRV a owl:Class;
  rdfs:subClassOf vultron_process:RmVSymbol, :MsgTypeAckableRm, :ReportManagementMessageType .

:MustNotAcceptEmbargo a owl:Class;
  owl:equivalentClass :MustNotProposeEmbargo, _:genid115;
  rdfs:subClassOf rfc2119:MUSTNOT, :VultronSpec .

_:genid115 a owl:Restriction;
  owl:someValuesFrom _:genid116;
  owl:onProperty :pxaState .

_:genid116 a owl:Class;
  owl:unionOf _:genid119 .

_:genid119 a rdf:List;
  rdf:first vultron_process:CsAttacksObservedState;
  rdf:rest _:genid118 .

_:genid118 a rdf:List;
  rdf:first vultron_process:CsPublicAwareState;
  rdf:rest _:genid117 .

_:genid117 a rdf:List;
  rdf:first vultron_process:CsPublicExploitState;
  rdf:rest rdf:nil .

:MustNotProposeEmbargo a owl:Class;
  owl:equivalentClass _:genid120;
  rdfs:subClassOf rfc2119:MUSTNOT, :VultronSpec .

_:genid120 a owl:Restriction;
  owl:someValuesFrom _:genid121;
  owl:onProperty :pxaState .

_:genid121 a owl:Class;
  owl:unionOf _:genid124 .

_:genid124 a rdf:List;
  rdf:first vultron_process:CsAttacksObservedState;
  rdf:rest _:genid123 .

_:genid123 a rdf:List;
  rdf:first vultron_process:CsPublicAwareState;
  rdf:rest _:genid122 .

_:genid122 a rdf:List;
  rdf:first vultron_process:CsPublicExploitState;
  rdf:rest rdf:nil .

:MustTerminateEmbargoEarly a owl:Class;
  owl:equivalentClass _:genid125;
  rdfs:subClassOf rfc2119:MUST, :VultronSpec;
  rdfs:comment "Conditions under which an embargo must terminate early" .

_:genid125 a owl:Class;
  owl:intersectionOf _:genid131 .

_:genid131 a rdf:List;
  rdf:first :CaseStatusEmActiveOrReviseNotExited;
  rdf:rest _:genid126 .

_:genid126 a rdf:List;
  rdf:first _:genid127;
  rdf:rest rdf:nil .

_:genid127 a owl:Restriction;
  owl:someValuesFrom _:genid128;
  owl:onProperty :pxaState .

_:genid128 a owl:Class;
  owl:unionOf _:genid130 .

_:genid130 a rdf:List;
  rdf:first vultron_process:CsPublicAwareState;
  rdf:rest _:genid129 .

_:genid129 a rdf:List;
  rdf:first vultron_process:CsPublicExploitState;
  rdf:rest rdf:nil .

:OtherParticipant a owl:Class;
  owl:equivalentClass _:genid132;
  rdfs:subClassOf :CaseParticipant;
  rdfs:comment "An OtherParticipant is a CaseParticipant having the role of Other" .

_:genid132 a owl:Class;
  owl:intersectionOf _:genid135 .

_:genid135 a rdf:List;
  rdf:first :CaseParticipant;
  rdf:rest _:genid133 .

_:genid133 a rdf:List;
  rdf:first _:genid134;
  rdf:rest rdf:nil .

_:genid134 a owl:Restriction;
  owl:someValuesFrom :OtherRole;
  owl:onProperty :hasCaseRole .

:OtherRole a owl:Class;
  rdfs:subClassOf :CvdCaseRole;
  rdfs:comment "Represents a miscellaneous (not otherwise specified) role in a VulnerabilityCase" .

:ParticipantStatus a owl:Class;
  owl:equivalentClass _:genid136;
  rdfs:subClassOf :CaseStatus;
  rdfs:comment "Represents the status of a participant with respect to a VulnerabilityCase (participant-specific)." .

_:genid136 a owl:Class;
  owl:intersectionOf _:genid143 .

_:genid143 a rdf:List;
  rdf:first :CaseStatus;
  rdf:rest _:genid141 .

_:genid141 a rdf:List;
  rdf:first _:genid142;
  rdf:rest _:genid139 .

_:genid139 a rdf:List;
  rdf:first _:genid140;
  rdf:rest _:genid137 .

_:genid137 a rdf:List;
  rdf:first _:genid138;
  rdf:rest rdf:nil .

_:genid138 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsParticipantSpecificState;
  owl:onProperty :vfdState .

_:genid140 a owl:Restriction;
  owl:someValuesFrom vultron_process:ReportManagementState;
  owl:onProperty :rmState .

_:genid142 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsParticipantAgnosticState;
  owl:onProperty :pxaState .

:ParticipantStatusCD a owl:Class;
  owl:equivalentClass _:genid144;
  rdfs:subClassOf :MsgTypeCD, :ParticipantStatusCs;
  rdfs:comment "A CaseStatus indicating a CaseParticipant is in the FixDeployedState" .

_:genid144 a owl:Class;
  owl:intersectionOf _:genid147 .

_:genid147 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid145 .

_:genid145 a rdf:List;
  rdf:first _:genid146;
  rdf:rest rdf:nil .

_:genid146 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsFixDeployedState;
  owl:onProperty :vfdState .

:ParticipantStatusCF a owl:Class;
  owl:equivalentClass _:genid148;
  rdfs:subClassOf :MsgTypeCF, :ParticipantStatusCs;
  rdfs:comment "A CaseStatus indicating a CaseParticipant is in the FixReadyState" .

_:genid148 a owl:Class;
  owl:intersectionOf _:genid151 .

_:genid151 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid149 .

_:genid149 a rdf:List;
  rdf:first _:genid150;
  rdf:rest rdf:nil .

_:genid150 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsFixReadyState;
  owl:onProperty :vfdState .

:ParticipantStatusCV a owl:Class;
  owl:equivalentClass _:genid152;
  rdfs:subClassOf :MsgTypeCV, :ParticipantStatusCs;
  rdfs:comment "A CaseStatus indicating a CaseParticipant is in the VendorAwareState" .

_:genid152 a owl:Class;
  owl:intersectionOf _:genid155 .

_:genid155 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid153 .

_:genid153 a rdf:List;
  rdf:first _:genid154;
  rdf:rest rdf:nil .

_:genid154 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsVendorAwareState;
  owl:onProperty :vfdState .

:ParticipantStatusCs a owl:Class;
  rdfs:subClassOf :CaseStatusCs, :ParticipantStatus;
  rdfs:comment "A CaseStatus regarding a participant-specific CaseState status" .

:ParticipantStatusRm a owl:Class;
  rdfs:subClassOf :ParticipantStatus .

:ParticipantStatusRmAccepted a owl:Class;
  owl:equivalentClass _:genid156;
  rdfs:subClassOf :MsgTypeRA, :ParticipantStatusRm .

_:genid156 a owl:Class;
  owl:intersectionOf _:genid159 .

_:genid159 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid157 .

_:genid157 a rdf:List;
  rdf:first _:genid158;
  rdf:rest rdf:nil .

_:genid158 a owl:Restriction;
  owl:someValuesFrom vultron_process:RmAcceptedState;
  owl:onProperty :rmState .

:ParticipantStatusRmClosed a owl:Class;
  owl:equivalentClass _:genid160;
  rdfs:subClassOf :MsgTypeRC, :ParticipantStatusRm .

_:genid160 a owl:Class;
  owl:intersectionOf _:genid163 .

_:genid163 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid161 .

_:genid161 a rdf:List;
  rdf:first _:genid162;
  rdf:rest rdf:nil .

_:genid162 a owl:Restriction;
  owl:someValuesFrom vultron_process:RmClosedState;
  owl:onProperty :rmState .

:ParticipantStatusRmDeferred a owl:Class;
  owl:equivalentClass _:genid164;
  rdfs:subClassOf :MsgTypeRD, :ParticipantStatusRm .

_:genid164 a owl:Class;
  owl:intersectionOf _:genid167 .

_:genid167 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid165 .

_:genid165 a rdf:List;
  rdf:first _:genid166;
  rdf:rest rdf:nil .

_:genid166 a owl:Restriction;
  owl:someValuesFrom vultron_process:RmDeferredState;
  owl:onProperty :rmState .

:ParticipantStatusRmInvalid a owl:Class;
  owl:equivalentClass _:genid168;
  rdfs:subClassOf :MsgTypeRI, :ParticipantStatusRm .

_:genid168 a owl:Class;
  owl:intersectionOf _:genid171 .

_:genid171 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid169 .

_:genid169 a rdf:List;
  rdf:first _:genid170;
  rdf:rest rdf:nil .

_:genid170 a owl:Restriction;
  owl:someValuesFrom vultron_process:RmInvalidState;
  owl:onProperty :rmState .

:ParticipantStatusRmReceived a owl:Class;
  owl:equivalentClass _:genid172;
  rdfs:subClassOf :MsgTypeRS, :ParticipantStatusRm .

_:genid172 a owl:Class;
  owl:intersectionOf _:genid175 .

_:genid175 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid173 .

_:genid173 a rdf:List;
  rdf:first _:genid174;
  rdf:rest rdf:nil .

_:genid174 a owl:Restriction;
  owl:someValuesFrom vultron_process:RmReceivedState;
  owl:onProperty :rmState .

:ParticipantStatusRmStart a owl:Class;
  owl:equivalentClass _:genid176;
  rdfs:subClassOf :ParticipantStatusRm .

_:genid176 a owl:Class;
  owl:intersectionOf _:genid179 .

_:genid179 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid177 .

_:genid177 a rdf:List;
  rdf:first _:genid178;
  rdf:rest rdf:nil .

_:genid178 a owl:Restriction;
  owl:someValuesFrom vultron_process:RmStartState;
  owl:onProperty :rmState .

:ParticipantStatusRmValid a owl:Class;
  owl:equivalentClass _:genid180;
  rdfs:subClassOf :MsgTypeRV, :ParticipantStatusRm .

_:genid180 a owl:Class;
  owl:intersectionOf _:genid183 .

_:genid183 a rdf:List;
  rdf:first :ParticipantStatus;
  rdf:rest _:genid181 .

_:genid181 a rdf:List;
  rdf:first _:genid182;
  rdf:rest rdf:nil .

_:genid182 a owl:Restriction;
  owl:someValuesFrom vultron_process:RmValidState;
  owl:onProperty :rmState .

:ReportManagementMessageType a owl:Class;
  rdfs:subClassOf :VultronMessageType .

:ReporterParticipant a owl:Class;
  owl:equivalentClass _:genid184;
  rdfs:subClassOf :CaseParticipant;
  rdfs:comment "A ReporterParticipant is a CaseParticipant having the role of Reporter" .

_:genid184 a owl:Class;
  owl:intersectionOf _:genid187 .

_:genid187 a rdf:List;
  rdf:first :CaseParticipant;
  rdf:rest _:genid185 .

_:genid185 a rdf:List;
  rdf:first _:genid186;
  rdf:rest rdf:nil .

_:genid186 a owl:Restriction;
  owl:someValuesFrom :ReporterRole;
  owl:onProperty :hasCaseRole .

:ReporterRole a owl:Class;
  rdfs:subClassOf :CvdCaseRole;
  rdfs:comment "A role representing the Reporter of a vulnerability in a VulnerabilityCase. Often, but not always, will appear along with the FinderRole." .

:ShouldBeBriefEmbargo a owl:Class;
  owl:equivalentClass _:genid188;
  rdfs:subClassOf rfc2119:SHOULD, :MayAcceptEmbargo, :MayProposeEmbargo .

_:genid188 a owl:Class;
  owl:intersectionOf _:genid194 .

_:genid194 a rdf:List;
  rdf:first :MayAcceptEmbargo;
  rdf:rest _:genid193 .

_:genid193 a rdf:List;
  rdf:first :VulnerabilityCase;
  rdf:rest _:genid189 .

_:genid189 a rdf:List;
  rdf:first _:genid190;
  rdf:rest rdf:nil .

_:genid190 a owl:Restriction;
  owl:someValuesFrom _:genid191;
  owl:onProperty :hasParticipant .

_:genid191 a owl:Restriction;
  owl:someValuesFrom _:genid192;
  owl:onProperty :hasParticipantStatus .

_:genid192 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsFixReadyState;
  owl:onProperty :vfdState .

:ShouldDeployASAP a owl:Class;
  owl:equivalentClass _:genid195;
  rdfs:subClassOf rfc2119:SHOULD, :VultronSpec .

_:genid195 a owl:Class;
  owl:intersectionOf _:genid200 .

_:genid200 a rdf:List;
  rdf:first _:genid201;
  rdf:rest _:genid198 .

_:genid198 a rdf:List;
  rdf:first _:genid199;
  rdf:rest _:genid196 .

_:genid196 a rdf:List;
  rdf:first _:genid197;
  rdf:rest rdf:nil .

_:genid197 a owl:Restriction;
  owl:allValuesFrom vultron_process:CsFixNotDeployedState;
  owl:onProperty :vfdState .

_:genid199 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsFixReadyState;
  owl:onProperty :vfdState .

_:genid201 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsAttacksObservedState;
  owl:onProperty :pxaState .

:ShouldFixASAP a owl:Class;
  owl:equivalentClass _:genid202;
  rdfs:subClassOf rfc2119:SHOULD, :VultronSpec .

_:genid202 a owl:Class;
  owl:intersectionOf _:genid205 .

_:genid205 a rdf:List;
  rdf:first _:genid206;
  rdf:rest _:genid203 .

_:genid203 a rdf:List;
  rdf:first _:genid204;
  rdf:rest rdf:nil .

_:genid204 a owl:Restriction;
  owl:allValuesFrom vultron_process:CsFixNotReadyState;
  owl:onProperty :vfdState .

_:genid206 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsAttacksObservedState;
  owl:onProperty :pxaState .

:ShouldNotAcceptEmbargo a owl:Class;
  owl:equivalentClass :ShouldNotProposeEmbargo, _:genid207;
  rdfs:subClassOf rfc2119:SHOULDNOT, :MayAcceptEmbargo, :MayProposeEmbargo, :VultronSpec .

_:genid207 a owl:Class;
  owl:intersectionOf _:genid213 .

_:genid213 a rdf:List;
  rdf:first :MayAcceptEmbargo;
  rdf:rest _:genid212 .

_:genid212 a rdf:List;
  rdf:first :VulnerabilityCase;
  rdf:rest _:genid208 .

_:genid208 a rdf:List;
  rdf:first _:genid209;
  rdf:rest rdf:nil .

_:genid209 a owl:Restriction;
  owl:someValuesFrom _:genid210;
  owl:onProperty :hasParticipant .

_:genid210 a owl:Restriction;
  owl:someValuesFrom _:genid211;
  owl:onProperty :hasParticipantStatus .

_:genid211 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsFixDeployedState;
  owl:onProperty :vfdState .

:ShouldNotProposeEmbargo a owl:Class;
  rdfs:subClassOf rfc2119:SHOULDNOT, :MayAcceptEmbargo, :MayProposeEmbargo, :VultronSpec .

:ShouldPublishASAP a owl:Class;
  owl:equivalentClass _:genid214 .
# 
# http://www.cert.org/ns/vultron_protocol#ShouldTerminateEmbargoEarly
# 
# http://www.cert.org/ns/vultron_protocol#VendorDeployerParticipant
# 
# http://www.cert.org/ns/vultron_protocol#VendorParticipant
# 
# http://www.cert.org/ns/vultron_protocol#VendorRole
# 
# http://www.cert.org/ns/vultron_protocol#VulnerabilityCase
# 
# http://www.cert.org/ns/vultron_protocol#VulnerabilityReport
# 
# http://www.cert.org/ns/vultron_protocol#VultronMessageType
# 
# http://www.cert.org/ns/vultron_protocol#VultronSpec
# 
# http://www.cert.org/ns/vultron_protocol#VultronStateMessageType
# 
# 
# 
# #################################################################
# #
# #    General axioms
# #
# #################################################################
# 
# 
# 
# 
# Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi

_:genid214 a owl:Class;
  owl:intersectionOf _:genid217 .

_:genid217 a rdf:List;
  rdf:first _:genid218;
  rdf:rest _:genid215 .

_:genid215 a rdf:List;
  rdf:first _:genid216;
  rdf:rest rdf:nil .

_:genid216 a owl:Restriction;
  owl:allValuesFrom vultron_process:CsPublicUnawareState;
  owl:onProperty :pxaState .

_:genid218 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsAttacksObservedState;
  owl:onProperty :pxaState .

:ShouldPublishASAP rdfs:subClassOf rfc2119:SHOULD, :VultronSpec .

:ShouldTerminateEmbargoEarly a owl:Class;
  owl:equivalentClass _:genid219;
  rdfs:subClassOf rfc2119:SHOULD, :VultronSpec;
  rdfs:comment "Defines conditions under which an embargo should terminate early" .

_:genid219 a owl:Class;
  owl:intersectionOf _:genid222 .

_:genid222 a rdf:List;
  rdf:first :CaseStatusEmActiveOrReviseNotExited;
  rdf:rest _:genid220 .

_:genid220 a rdf:List;
  rdf:first _:genid221;
  rdf:rest rdf:nil .

_:genid221 a owl:Restriction;
  owl:someValuesFrom vultron_process:CsAttacksObservedState;
  owl:onProperty :pxaState .

:VendorDeployerParticipant a owl:Class;
  owl:equivalentClass _:genid223;
  rdfs:subClassOf :CaseParticipant, :DeployerParticipant, :VendorParticipant .

_:genid223 a owl:Class;
  owl:intersectionOf _:genid228 .

_:genid228 a rdf:List;
  rdf:first :CaseParticipant;
  rdf:rest _:genid226 .

_:genid226 a rdf:List;
  rdf:first _:genid227;
  rdf:rest _:genid224 .

_:genid224 a rdf:List;
  rdf:first _:genid225;
  rdf:rest rdf:nil .

_:genid225 a owl:Restriction;
  owl:someValuesFrom :VendorRole;
  owl:onProperty :hasCaseRole .

_:genid227 a owl:Restriction;
  owl:someValuesFrom :DeployerRole;
  owl:onProperty :hasCaseRole .

:VendorParticipant a owl:Class;
  owl:equivalentClass _:genid229;
  rdfs:subClassOf :CaseParticipant;
  rdfs:comment "A VendorParticipant is a CaseParticipant having the role of Vendor" .

_:genid229 a owl:Class;
  owl:intersectionOf _:genid232 .

_:genid232 a rdf:List;
  rdf:first :CaseParticipant;
  rdf:rest _:genid230 .

_:genid230 a rdf:List;
  rdf:first _:genid231;
  rdf:rest rdf:nil .

_:genid231 a owl:Restriction;
  owl:someValuesFrom :VendorRole;
  owl:onProperty :hasCaseRole .

:VendorRole a owl:Class;
  rdfs:subClassOf :CvdCaseRole .

:VulnerabilityCase a owl:Class;
  rdfs:comment "A Vulnerability Case is a container for vulnerability reports, and is used to track the lifecycle of the case and its constituent vulnerability reports, including the status of the case itself, the participants in the case, and the embargo status of the case." .

:VulnerabilityReport a owl:Class;
  rdfs:comment "Represents a VulnerabilityReport object" .

:VultronMessageType a owl:Class;
  rdfs:comment "Describes a message type within the Vultron Protocol" .

:VultronSpec a owl:Class .

:VultronStateMessageType a owl:Class;
  owl:equivalentClass _:genid233;
  rdfs:subClassOf dfa:Symbol, :VultronMessageType;
  rdfs:comment "A MessageType directly related to the operation of the Vultron protocol state machines" .

_:genid233 a owl:Class;
  owl:intersectionOf _:genid235 .

_:genid235 a rdf:List;
  rdf:first dfa:Symbol;
  rdf:rest _:genid234 .

_:genid234 a rdf:List;
  rdf:first :VultronMessageType;
  rdf:rest rdf:nil .

_:genid236 a owl:AllDisjointClasses;
  owl:members _:genid243 .

_:genid243 a rdf:List;
  rdf:first :CaseOwnerRole;
  rdf:rest _:genid242 .

_:genid242 a rdf:List;
  rdf:first :CoordinatorRole;
  rdf:rest _:genid241 .

_:genid241 a rdf:List;
  rdf:first :DeployerRole;
  rdf:rest _:genid240 .

_:genid240 a rdf:List;
  rdf:first :FinderRole;
  rdf:rest _:genid239 .

_:genid239 a rdf:List;
  rdf:first :OtherRole;
  rdf:rest _:genid238 .

_:genid238 a rdf:List;
  rdf:first :ReporterRole;
  rdf:rest _:genid237 .

_:genid237 a rdf:List;
  rdf:first :VendorRole;
  rdf:rest rdf:nil .

_:genid244 a owl:AllDisjointClasses;
  owl:members _:genid248 .

_:genid248 a rdf:List;
  rdf:first :CaseStateMessageType;
  rdf:rest _:genid247 .

_:genid247 a rdf:List;
  rdf:first :EmbargoManagementMessageType;
  rdf:rest _:genid246 .

_:genid246 a rdf:List;
  rdf:first :GeneralMessageType;
  rdf:rest _:genid245 .

_:genid245 a rdf:List;
  rdf:first :ReportManagementMessageType;
  rdf:rest rdf:nil .