| GraphicallyRepresentedBy
|
Partition-diagram.png +
|
| LogicalODPAim
|
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.
|
| LogicalODPDescription
|
Let ''P'' be a named concept that is the p … 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]):
''(define-concept P (or C0 C1 ... Cn) )''
''(disjoint Ci Cj)'' ( 0 ≤ i,j ≤ n, i ≠ j ).
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).
In OWL 2 [2] the axioms can be expressed as follows (using OWL 2 Abstract Syntax):
''EquivalentClasses(P, ObjectUnionOf(C1, ..., Cn))''
''DisjointClasses(C1, ..., Cn)''
[1] Patel-Schneider, P. F., Swartout, B.: Description-Logic Knowledge Representation System Specification, 1993
[2] Motik, B., Patel-Schneider, P. F., Parsia, B.: OWL 2 Structural Specification and Functional-Style Syntax. W3C Candidate Recommendation 11 June 2009. W3C Candidate Recommendation 11 June 2009.
|
| LogicalODPMotivation
|
The Partition Pattern is a logical pattern … 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. ept is defined as a partition of concepts.
|
| LogicalODPName
|
Partition +
|
| LogicalODPSample
|
http://www.informatik.uni-ulm.de/ki/Noppens/generation.owl +
|
| LogicalODPScenario
|
In an ontology about family relationship w … In an ontology about family relationship we defined concepts such as ''Person'',
''Aunt'' and ''ParentOfSon'' which are characterized by a relationships such as ''hasChild''(resp. the inverse relationship ''hasParent''), ''hasSibling'', '
''married-with'' as well as by the gender of people (''Male'' respectively ''Female''). There are a lot of similar ontologies about family relationships.
''EquivalentClasses(Parent-Of-Son ''ObjectSomeValuesFrom (has-Child Male) )''
''EquivalentClasses(Parent-Of-Daughter ''ObjectSomeValuesFrom(has-Child Female) )''
''EquivalentClasses(Aunt ObjectIntersectionOf(Uncle-Or-Aunt Female))''
''EquivalentClasses(Uncle-Or-Aunt ObjectIntersectionOf(Person ObjectSomeValuesFrom(has-Sibling Parent)))''
The concept ''Gender'' is partitioned in ''Male'' and ''Female''. Applying this pattern results in the following axioms:
''EquivalentClasses(Gender, ObjectUnionOf(Male Female)) ''
''DisjointClasses(Male Female)'' male)) ''
''DisjointClasses(Male Female)''
|
| Modification dateThis property is a special property in this wiki.
|
31 May 2010 08:29:54 +
|
| SubmittedBy
|
OlafNoppens +
|
| SubmittedToEvent
|
2009 +
|
| TakesInAccountReview
|
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 +
|
| Categories |
LogicalOP +,
ProposedLogicalOP +,
Submitted to event +
|
