From Odp

Revision as of 20:48, 26 August 2009 by EvaBlomqvist (Talk | contribs)
Jump to: navigation, search

This pattern has been certified.

Related submission, with evaluation history, can be found here

If you are a member of quality committee please visit the

evaluation section

If you are author of this proposal or you want to contribute to this pattern's review, you can:

In general, it could be useful to visit the evaluation section to have information about the evaluation process of this proposal

Current revision ID: 5616

General information

Name Partition
Also known as
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)

Reusable component
Component type


Problem example
Pattern solution example

Pattern reference

Known use
Related ODP
Used in combination with


Scenarios about Partition

No scenario is added to this Content OP.


Reviews about Partition
Review article Posted on About revision (current is 5616)
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 5616) takes in account the reviews: Http:// about Partition, Http:// about Partition, Http:// about Partition 2

Other info at evaluation tab

Submission to event


Personal tools
Quality Committee
Content OP publishers