Submissions:Partition Revision as of 09:51, 21 August 2009 by OlafNoppens (Talk | contribs) (WOP2009:Main) (diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Warning!

This is an old revision. Go to current revision

This pattern has been certified.

Related submission, with evaluation history, can be found here

Last modified date is: 2009-08-21

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

Scenarios about Partition

No scenario is added to this Content OP.

Reviews

Reviews about Partition

There is no review about this proposal.

Some subquery has no valid condition.

This revision (revision ID 5560) 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