Submissions:Partition - Revision history

EnricoDaga: Text replace - 'WOP2009:Main' to 'WOP:2009'

2010-05-31T08:29:54Z

Text replace - 'WOP2009:Main' to 'WOP:2009'

MichaelUschold at 20:04, 5 March 2010

2010-03-05T20:04:29Z

EnricoDaga: Text replace - '{{Reviews about me}}' to '{{Reviews about me}}{{Modeling issues about me}}'

2010-03-01T13:20:52Z

Text replace - '{{Reviews about me}}' to '{{Reviews about me}}{{Modeling issues about me}}'

EnricoDaga: Text replace - 'Include Image' to 'Graphical representation'

2010-03-01T12:39:07Z

Text replace - 'Include Image' to 'Graphical representation'

OlafNoppens at 21:08, 10 October 2009

2009-10-10T21:08:40Z

OlafNoppens at 10:28, 7 October 2009

2009-10-07T10:28:24Z

OlafNoppens at 10:25, 7 October 2009

2009-10-07T10:25:18Z

OlafNoppens: The Partition Pattern describes how to model a partition. The pattern reﬂects the simplest case where a named concept is the partition of (arbitrary) concepts. Future work will be concerned with a m

2009-10-07T10:23:17Z

The Partition Pattern describes how to model a partition. The pattern reﬂects the simplest case where a named concept is the partition of (arbitrary) concepts. Future work will be concerned with a m

OlafNoppens at 10:18, 7 October 2009

2009-10-07T10:18:40Z

HenrikEriksson: Review has been created. Annotation 'assigned' has been removed.

2009-09-08T22:40:55Z

Review has been created. Annotation 'assigned' has been removed.

@@ Line 61: / Line 61: @@
 {{My references}}
 {{Submission to event
-|Event=WOP2009:Main
+|Event=WOP:2009
 }}

@@ Line 1: / Line 1: @@
 {{Logical_OP_Proposal_toolbar}}
 {{Graphical representation
 |ImageName=Partition-diagram.png
@@ Line 53: / Line 54: @@
 |TakesInAccountReview=http://ontologydesignpatterns.org/wiki/Reviews:LuigiIannone_about_Partition_2
 }}
 {{Scenarios about me}}
-{{Reviews about me}}{{Modeling issues about me}}
+{{Reviews about me}}
 {{Submission to event
 |Event=WOP2009:Main
 }}

@@ Line 55: / Line 55: @@
 {{Scenarios about me}}
-{{Reviews about me}}
+{{Reviews about me}}{{Modeling issues about me}}
 {{Submission to event
 |Event=WOP2009:Main
 }}

@@ Line 1: / Line 1: @@
 {{Logical_OP_Proposal_toolbar}}
-{{Include Image
+{{Graphical representation
 |ImageName=Partition-diagram.png
 }}

@@ Line 1: / Line 1: @@
 {{Logical_OP_Proposal_toolbar}}
 {{Include Image
-|ImageName=Image:Partition-diagram.png
+|ImageName=Partition-diagram.png
 }}
 {{Logical OP General Template

@@ Line 38: / Line 38: @@
 ''EquivalentClasses(Gender, ObjectUnionOf(Male Female)) ''
 ''DisjointClasses(Male Female)''
-−
 |SolutionExample=http://www.informatik.uni-ulm.de/ki/Noppens/generation.owl
 }}
 {{Logical OP Reference Template}}
 {{Scenarios about me}}

@@ Line 26: / Line 26: @@
 }}
 {{Logical OP Example Template
-|SolutionExample=http://www.informatik.uni-ulm.de/ki/Noppens/owl/patterns/partition.owl
+|ProblemExample=In an ontology about family relationship we deﬁned concepts such as ''Person'',
 }}
 {{Logical OP Reference Template}}

@@ Line 6: / Line 6: @@
 }}
 {{Logical OP Description Template
-|Motivation=This is a logical pattern to define a partition. It is independant of a specific domain. Partitions are a common modeling structure.
+|Motivation=The Partition Pattern is a logical pattern that introduces axioms which model a partition of concepts. A partition is a general structure which is divided into several disjoint parts. With respect to ontologies the structure is a concept which is divided into several pair-wise disjoint concepts. This pattern reflects the simplest case where a named concept is defined as a partition of concepts.
-|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.
+|Aim=The Partition Pattern describes how to model a partition, i.e., a named concept which is divided into several disjoint concepts. Applying this pattern to an ontology will introduce the necessary axioms.
-|Solution=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)
+|Solution=Let ''P'' be a named concept that is the partition which is divided into several concepts ''C_i''. Then the partition is defined by introducing the following axioms (expressed in KRSS [1]):
-''EquivalentClasses(Partition, ObjectUnionOf(B1, ..., Bn))''
+''(define-concept P (or C0 C1 ... Cn) )''
-''DisjointClasses(B1, ..., Bn)''
+Here ''(disjoint C_i C_j)''a placeholder for the pair-wise disjointness of all ''C_i''. Note that ''C_i'' can also be arbitrary concept expressions (even if this is not allowed in the original KRSS syntax).
 }}
 {{Logical OP Example Template

← Older revision		Revision as of 22:40, 8 September 2009
Line 24:		Line 24:
	\|Event=WOP2009:Main		\|Event=WOP2009:Main
	}}		}}
−	~~[[Category:Review assigned]]~~