relation
Let an agent explain relations as properties holding between entities across logic, mathematics, philosophy and data modelling, describe kinds and formal treatments, support modelling questions, and separate this general sense from specific uses such as personal relationships.
Bundle → Layer → Finding → Questions Filled
4 bundles · 8 layers · 8 findings · 16 questions
Understand What a relation is.
Concept
Concept and senses.
Concept
Concept.
- What is a relation, and how do logical, mathematical, philosophical, data and everyday senses differ? definition
- Which sense is meant? boundary
Formal
Formal treatment.
Formal
Formal.
- How are relations formalised as sets of tuples, and what properties can they have? definition
- Which entry fits binary relations? action
Apply Modelling with relations.
Model
Modelling.
Model
Modelling.
- How can the relations in this domain be identified and modelled in a schema or ontology? action
- Which entry fits data modelling? action
Reason
Reasoning.
Reason
Reasoning.
- How are relations used in logical reasoning and inference? provenance
- Which entry fits predicate logic? action
Philosophy Philosophy of relations.
Metaphysics
Metaphysics.
Metaphysics
Metaphysics.
- What debates exist about whether relations are real, internal or external, with positions attributed? provenance
- Which findings are contested? boundary
History
History.
History
History.
- How did the logic of relations develop from Aristotle through De Morgan, Peirce and Russell? provenance
- Which references are standard? provenance
Learn Teaching.
Teach
Teaching.
Teach
Teaching.
- How can relations be taught across logic, mathematics and computing? action
- Which misconceptions arise? provenance
Language
Language.
Language
Language.
- How do relation, relationship and connection differ in usage? definition
- Which entry fits a specific sense? action
Classifiers Filled
- Family
- Thing Registry
- Category
- Cross-cutting context
- Entry kind
- thing
- Plane
- XCT
- Domain
- XCT.QLT
What it is Filled
A property that holds between two or more entities, such as being larger than, being the parent of, being located in or being equal to, treated in logic and mathematics as sets of tuples, in philosophy as a category of being distinct from monadic properties, in databases as tables linking entities, and in everyday language as connections between people, things and ideas; relations are fundamental to reasoning, modelling and description across fields.
Why it exists Filled
Let an agent explain relations as properties holding between entities across logic, mathematics, philosophy and data modelling, describe kinds and formal treatments, support modelling questions, and separate this general sense from specific uses such as personal relationships.
Distinguishing features Filled
- Multi-place
- Formalisable
- Ubiquitous
- Cross-field
What robots and AI may and may not do Filled
Must not
- Model personal relationships in data in ways that expose people without consent.
- Confuse relations with functions or attributes.
- Infer sensitive relations such as kinship or partnership from data without a lawful basis.
- Present ambiguous models as precise.
Only with a human decision
- Publishing inferred relationships between named people.
May
- Explain relations across logic, mathematics, philosophy and data modelling, naming the field.
- Help model relations between entities in a dataset the agent is authorised to work on.
- Distinguish relations from functions and attributes.
Moral aspects Filled
- Data models of relations can reveal private relationships.
- Clear models avoid errors that affect people's records.
Who is affected
- People in datasets
- Data users
- Students
Owners Filled
Steward
Nobody: a concept held in common; the owner of a dataset answers for its relations.
Links to other meta-models Filled
parent
- Q937228 - registry parent class
related
- property - category
- binary relation - the two-place case in mathematics
- unit relation - relations between units
- point relation - relations between points
What else AI and robots need to interact with it Filled
Identity and identifiers required Filled
- Vercy registry: vr.tr.relation-q930933
- Wikidata: Q930933 (https://www.wikidata.org/wiki/Q930933)
Direct properties not applicable Not applicable
Not applicable
Plane XCT: no invented physical properties.
Recognition optional Filled
- Property between two or more entities
- Logical, mathematical, philosophical, data relations
- A monadic property belongs to one thing; a relationship in everyday use is a specific social bond
- Not physical; an abstract connection.
Capabilities and actions required Filled
- explain the concept across fields
- describe kinds and treatments
- support modelling
- separate senses
Hazards and failure modes required Filled
- Confusing senses of relation
- Confusing relations with functions or attributes
- Ambiguous modelling
Standards and interfaces required Filled
- Logical and mathematical notation
- Data modelling standards
- No regulation of the concept
Context of use required Filled
- Properties holding between entities.
- binary and n-ary relations
- relations in logic and set theory
- relations in metaphysics
- relations in data models
- relations in everyday description
Sources Filled
- Wikidata item Q930933: relation - identity and sense of the item
- Wikipedia: Relation (philosophy) - general description of the item
Open questions
- Should relations in metaphysics be a separate entry?
- How should logic resources be linked?
- How should modelling standards be linked?
Machine files
Provenance
thing registry research (pass 2) · unreviewed
Built from: models/things/publications/thing-q930933/spec.json