Browse wiki

From Odp

Jump to: navigation, search
Submissions:Partition
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 +
hide properties that link here 
View Inheritance + ArchitecturalODPRelated
Faceted Classification Scheme +, Multiple Alternative Classification Criteria +, View Inheritance + RelatedPattern
 

 

Enter the name of the page to start browsing from.
Personal tools
Quality Committee
Content OP publishers