Class: Proposition

An abstract entity representing the sharable meaning that can be put forth as true in a Statement made by an Agent.

URI: vaspec:Proposition

Parents

• is_a: Entity - Anything that exists, has existed, or will exist.

Referenced by Class

• EvidenceLine EvidenceLine➞targetProposition _0..1 Proposition
• Statement Statement➞assertedProposition _0..1 Proposition

Attributes

Own

• Proposition➞propositionType _0..*
  • Description: A more specific type of Proposition about a genetic variation (e.g. a Variant Pathogenicity Proposition, or Molecular Consequence Proposition)
  • Range: Coding
• Proposition➞subject _1..1
  • Description: The Entity about which the Proposition is made.
  • Range: Entity
• Proposition➞predicate _1..1
  • Description: The relationship asserted to hold between the subject and the object of the Proposition.
  • Range: Coding
• Proposition➞object _1..1
  • Description: An Entity, concept, or value that is related to the subject of a Proposition via its predicate.
  • Range: Element
• Proposition➞qualifier _0..*
  • Description: A value or concept that extends or refines the meaning of the Proposition expressed by the core subject - predicate - object 'triple' - e.g. by providing additional information/detail, or constraining the claim to apply in a particular context.
  • Range: Element
• Proposition➞negated _0..1
  • Description: A ga4ghBoolean flag set to 'true' if the statement expressed by the subject, predicate, object, and qualifier(s) is explicitly asserted to be false.
  • Range: Ga4ghBoolean

Inherited from Entity:

• Element➞extensionElement _0..*
  • Description: A key-value data structure that allows definition of custom fields to capture information not directly supported by the VA specification.
  • Range: Extension
• Entity➞localId _1..1
  • Description: The 'logical' identifier of the entity in the system of record, e.g. a UUID. This 'id' is unique within a given system. The identified entity may have a different 'id' in a different system.
  • Range: Identifier
• Entity➞globalIdentifier _0..*
  • Description: A 'business' identifier or accession number for the entity, typically as provided by an external system or authority, that is globally unique and persists across implementing systems.
  • Range: Identifier
• Entity➞type _1..1
  • Description: The schema class that is instantiated by the data object. Must be the name of a class from the VA schema.
  • Range: Class
• Entity➞label _0..1
  • Description: A primary name for the Entity.
  • Range: Ga4ghString
• Entity➞alternativeLabel _0..*
  • Description: An alternative name for the Entity.
  • Range: Ga4ghString
• Entity➞description _0..1
  • Description: A free text description of the Entity.
  • Range: Ga4ghString
• Entity➞hasURL _0..*
  • Description: The URL/web address of a digital resource representing the entity, or providing information about it.
  • Range: Url
• Entity➞reference _0..*
  • Description: A document or other Information Entity that describes the Entity.
  • Range: InformationEntity
• Entity➞xref _0..*
  • Description: A cross-reference that links to database identifiers of an entity that represents the same or a closely related concept or knowledge as the Entity.
  • Range: Ga4ghString
• Entity➞thisRecordMeta _0..1
  • Description: A reusable structure that encapsulates provenance metadata that applies to this concrete record/encoding of information about the Entity.
  • Range: RecordMetadata
• Entity➞sourceRecordMeta _0..*
  • Description: A reusable structure that encapsulates provenance metadata that applies to an upstream data record about the Entity, from which content of the present record was derived.
  • Range: RecordMetadata

Other properties

Comments:		Propositions are taken to represent the semantic content of sentences or larger lexical entities formulated in some natural or artificial language. As primary bearers of truth, they are either true or false. They are abstract entities whose identity and existence are independent of space and time, and of whether they are ever asserted to be true by some agent. Propositions are ‘sharable’ in the sense that the same Proposition instance can be expressed in many different Statements, as made by different Agents and/or on different occasions.
Exact Mappings:		SEPIO:0000000