OlafNoppens (Talk | contribs) (WOP2009:Main) |
OlafNoppens (Talk | contribs) |
||
| Line 21: | Line 21: | ||
{{Scenarios about me}} | {{Scenarios about me}} | ||
{{Reviews about me}} | {{Reviews about me}} | ||
| + | {{Submission to event | ||
| + | |Event=WOP2009:Main | ||
| + | }} | ||
|
Last modified date is: 2009-08-21 |
| Name | Partition |
|---|---|
| Also known as | |
| Author(s) | |
| SubmittedBy | OlafNoppens |
| 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 |
| Problem example | |
|---|---|
| Pattern solution example | http://www.informatik.uni-ulm.de/ki/Noppens/owl/patterns/partition.owl |
| Consequences |
| Origin | |
|---|---|
| Known use | |
| Reference | |
| Related ODP | |
| Used in combination with | |
| Test |
No scenario is added to this Content OP.
This revision (revision ID 5561) takes in account the reviews: Partition (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 |
|---|
'Ontology Design Patterns'
