Skip to content

Commit 74ee9f5

Browse files
authored
Update fp-007-relations.md (interim)
1 parent 1f2d5a3 commit 74ee9f5

1 file changed

Lines changed: 7 additions & 10 deletions

File tree

principles/fp-007-relations.md

Lines changed: 7 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -3,32 +3,29 @@ layout: principle
33
id: fp-007-relations
44
title: Relations (principle 7)
55
---
6-
7-
## NOTE
8-
9-
The content of this page is scheduled to be reviewed. Improved wording will be posted as it becomes available.
6+
GO TO: [Recommendations/Requirements](#recommendations-and-requirements) | [Implementation](#implementation) | [Examples/Counter‑Examples](#examples) | [Criteria for Review](#criteria-for-review) | [Feedback/Discussion](#feedback-and-discussion)
107

118
## Summary
129

13-
Relations should be reused from the Relations Ontology (RO).
10+
Existing relations MUST be reused from the Relations Ontology (RO). New relations SHOULD be submitted to RO.
1411

1512
[This check is automatically validated.](checks/fp_007)
1613

1714
## Purpose
1815

19-
To facilitate interoperability between multiple ontologies, especially with respect to logical inference. That is, a reasoner can only detect logical inconsistencies between ontologies and infer new axioms if the ontologies use the same object properties.
16+
To facilitate interoperability between multiple ontologies, especially with respect to logical inference. That is, a reasoner can only detect logical inconsistencies between ontologies and infer new axioms if the ontologies use the same relations (aka object properties).
2017

2118
## Recommendations and Requirements
2219

23-
Each OBO ontology MUST reuse existing relations (aka object properties) that have already been declared in the Relations Ontology (RO),
24-
rather than declaring relations that mean the same as an existing RO relation. Where it makes sense for an ontology to declare a new relation in
20+
For any given relation need, each OBO ontology MUST reuse a relation from the Relations Ontology (RO) if the appropriate relation already exists,
21+
rather than declaring new relations that hold the same meaning. Where it makes sense for an ontology to declare a new relation in
2522
its own ID space and there is a RO relation that is logically a super-property of the new relation, the new relation MUST be asserted to be
2623
a sub-property of the RO relation. In such cases, it is requested that there still be coordination with RO, for example in the form of an issue
2724
submitted to the [RO tracker](https://github.com/oborel/obo-relations/issues).
2825

29-
## Implementation
26+
Note: 'Reuse' means that the actual RO relations PURLs are used. Ontology developers should be aware that RO relations (in rare instances) can evolve over time and previous relations might become obsolete. This means developers should monitor the state of the RO relations they use.
3027

31-
Reuse means that the actual relations PURLs are used. Ontology developers should be aware that RO relations (in rare instances) can evolve over time and previous relations might become obsolete. This means developers should monitor the state of the RO relations they use.
28+
## Implementation
3229

3330
- If the domain of the proposed relation is a class in the same ontology as that relation, it is fine to keep in the ontology; if a suitable RO parent exists, the new relation MUST be declared a sub-property of that parent.
3431
- If the domain of the proposed relation is a class outside of the ontology defining that relation, the relation MUST be added to RO.

0 commit comments

Comments
 (0)