Submissions:Partition
From Odp
(Review has been created. Annotation 'assigned' has been removed. Annotation 'waiting' has been removed.) |
(Review has been created. Annotation 'assigned' has been removed.) |
||
| Line 24: | Line 24: | ||
|Event=WOP2009:Main | |Event=WOP2009:Main | ||
}} | }} | ||
| - | |||
| - | |||
| - | |||
Revision as of 10:35, 8 September 2009
| If you are a member of quality committee please visit the
If you are author of this proposal or you want to contribute to this pattern's review, you can: specify if this revision takes in account any of the review(s) In general, it could be useful to visit the evaluation section to have information about the evaluation process of this proposal Current revision ID: 5707 |
General information
| Name | Partition |
|---|---|
| Also known as | |
| Author(s) | |
| SubmittedBy | OlafNoppens |
Description
| Motivation | This is a logical pattern to define a partition. It is independant of a specific domain. Partitions are a common modeling structure. |
|---|---|
| Aim | The ontology engineer may say that a class is a partition over other classes (including class expressions). A partition is a structure dividing its content into several parts. |
| Solution description | We introduce two axioms where Partition is the Partition class and B1,...,Bn are arbitrary class expressions (n >= 2) (expressed in OWL 2 Abstract Syntax)
EquivalentClasses(Partition, ObjectUnionOf(B1, ..., Bn)) DisjointClasses(B1, ..., Bn) |
| Elements | |
| Implementation | |
| Reusable component | |
| Component type |
Example
| Problem example | |
|---|---|
| Pattern solution example | http://www.informatik.uni-ulm.de/ki/Noppens/owl/patterns/partition.owl |
| Consequences |
Pattern reference
| Origin | |
|---|---|
| Known use | |
| Reference | |
| Related ODP | |
| Used in combination with | |
| Test |
Scenarios
No scenario is added to this Content OP.
Reviews
| Review article | Posted on | About revision (current is 5707) |
|---|---|---|
| LuigiIannone about Partition | 24550827 September 2009 | 56165,616 |
| MartaSabou about Partition | 24550838 September 2009 | 56795,679 |
| HenrikEriksson about Partition | 24550849 September 2009 | 57485,748 |
| LuigiIannone about Partition 2 | 245508510 September 2009 | 57505,750 |
| RinkeHoekstra about Partition | 245513025 October 2009 | 59015,901 |
This revision (revision ID 5707) takes in account the reviews: Http://ontologydesignpatterns.org/wiki/Reviews:MartaSabou about Partition, Http://ontologydesignpatterns.org/wiki/Reviews:HenrikEriksson about Partition, Http://ontologydesignpatterns.org/wiki/Reviews:LuigiIannone about Partition 2
Other info at evaluation tab
| Submission to event |
|---|
