Edu:Relation - Revision history

Tsch: Moved first three entries from 'Discussion' page to main 'Relation' page.

2020-01-20T18:41:16Z

Moved first three entries from 'Discussion' page to main 'Relation' page.

Tsch: Revised formatting; Added 'Commentary' section and reference to work of Guarino and Guizzardi.

2020-01-20T18:39:10Z

Revised formatting; Added 'Commentary' section and reference to work of Guarino and Guizzardi.

Wiaoa: Created page with " == Relation== ''Disambiguation'': the term as used in the literature can refer to either one of the following, depending on the context: * Instance-level Edu:entity|entit..."

2019-11-11T03:19:57Z

Created page with " == Relation== ''Disambiguation'': the term as used in the literature can refer to either one of the following, depending on the context: * Instance-level Edu:entity|entit..."

New page

== Relation==

''Disambiguation'': the term as used in the literature can refer to either one of the following, depending on the context:
* Instance-level [[Edu:entity|entity]]
* Type-level [[Edu:entity|entity]], used interchangeably with, mainly, relationship (e.g., in Entity-Relationship diagrams), association (UML class diagrams), and object property (in OWL)
* Its definitions in mathematics, notably [[Edu:Logic | logic]]

=== Definitions===

'''D1''' (as instance-level entity)
* '''A relation is an [[Edu:Entity|entity]] that asserts a (meaningful) connection between two or more other entities, where the entities are [[Edu:Individual | individuals]], such as [[Edu:Object | objects]], [[Edu:Process | processes]], or [[Edu:Quality | qualities]]. '''

'''D2''' (as type-level entity)
* '''A relation is an [[Edu:Entity|entity]] that asserts a (meaningful) connection between two or more other entities, where the entities are generally denoted with [[Edu:Class | class]]/[[Edu:Concept | concept]]/[[Edu:Universal | universal]].'''

==== Definition Variants====

'''V1''' [ [[Edu:TermlistReferences#MacBride2016 | MacBride, 2016]] ]
* Relations hold between things, or, alternatively, relations are borne by one thing to other things, or, another alternative paraphrase, relations have a subject of inherence whose relations they are and termini to which they relate the subject.

'''V2''' [ [[Edu:TermlistReferences#Chen1976 | Chen, 1976]] ]
* A relationship set, ''R'', is a mathematical relation among ''n'' entities, each taken from an entity set: {(e1, e2, ..., en) | e1 ∈ E1, e2 ∈ E2, ..., en ∈ En}, and each tuple of entities, (e1, e2, ..., en), is a ''relationship''.

'''V3''' [ [[Edu:TermlistReferences#arpetal2015|Arp et al., 2015]] ]
* The manner in which two or more [[Edu:entity | entities]] are associated or connected together. [[Edu:Basic Formal Ontology - BFO | BFO]] recognizes three basic types of relation: connecting [[Edu:universal|universal]] to [[Edu:universal|universal]], [[Edu:universal|universal]] to [[Edu:particular|particular]], and [[Edu:particular|particular]] to [[Edu:particular|particular]].

==== Closely related terms====

* Domain and range/codomain, also called, more generally, relata
* Relational properties / property characteristics
* The entities mentioned in the definitions above may be one and the same; if that is the case, then that relation is called a ''recursive relation''.

[[Category:Term|Term]]

← Older revision		Revision as of 18:41, 20 January 2020
Line 28:		Line 28:
	''' Commentary '''		''' Commentary '''
	* Guarino and Guizzardi have presented a view that a 'relationship' and 'relation' are different, " ... a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations." (https://www.academia.edu/28108703/Relationships_and_Events_Towards_a_General_Theory_of_Reification_and_Truthmaking and https://www.academia.edu/11814659/_We_need_to_discuss_the_Relationship_Revisiting_Relationships_as_Modeling_Constructs)		* Guarino and Guizzardi have presented a view that a 'relationship' and 'relation' are different, " ... a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations." (https://www.academia.edu/28108703/Relationships_and_Events_Towards_a_General_Theory_of_Reification_and_Truthmaking and https://www.academia.edu/11814659/_We_need_to_discuss_the_Relationship_Revisiting_Relationships_as_Modeling_Constructs)
		+	* [[Edu:Predicate\|Predicate]] is also used in relation to ''relation'', but that covers either sense as well, and it can be unary (which a relation cannot be).
		+	* ''Relation'' has a specific meaning in relational database theory, it being a set of tuples (d1, d2, ..., dn) where each dj (with 1 <= j <= n) is a member of data domain Dj. (reference: any database text book)
		+	* If one takes the mathematics definition of ''relation'', then also functions and attributes are relations.

@@ Line 2: / Line 2: @@
 == Relation==
+''Disambiguation'': The term 'Relation' as used in the literature may refer to one of the following, depending on the context:
 * Instance-level [[Edu:entity|entity]]
 * Type-level [[Edu:entity|entity]], used interchangeably with, mainly, relationship (e.g., in Entity-Relationship diagrams), association (UML class diagrams), and object property (in OWL)
 * Its definitions in mathematics, notably [[Edu:Logic | logic]]
@@ Line 19: / Line 15: @@
-==== Definition Variants====
+=== Definitions===
-'''V1''' [ [[Edu:TermlistReferences#MacBride2016 | MacBride, 2016]] ]
+''' Commentary '''
-*  Relations hold between things, or, alternatively, relations are borne by one thing to other things, or, another alternative paraphrase, relations have a subject of inherence whose relations they are and termini to which they relate the subject.
+* Guarino and Guizzardi have presented a view that a 'relationship' and 'relation' are different, " ... a relation holds in virtue of a relationship's existence. Relationships are therefore truthmakers of relations." (https://www.academia.edu/28108703/Relationships_and_Events_Towards_a_General_Theory_of_Reification_and_Truthmaking  and https://www.academia.edu/11814659/_We_need_to_discuss_the_Relationship_Revisiting_Relationships_as_Modeling_Constructs)
-==== Closely related terms====
+''' Closely Related Terms '''
 * Domain and range/codomain, also called, more generally, relata