Download presentation
Presentation is loading. Please wait.
1
CHORD Semantic Assumptions January, 2008
2
Unique Name Assumption User Defined Equality OID Equality UNA[a,b,c] = a b a c b c a = b b[m->v] c :: a ------------------------------- c[m->v] a = b b[m->v] c :: a ------------------------------- false
![Unique Name Assumption User Defined Equality OID Equality UNA[a,b,c] = a b a c b c a = b b[m->v] c :: a c[m->v] a = b b[m->v] c :: a false](http://images.slideplayer.com./16/5086084/slides/slide_2.jpg "Unique Name Assumption User Defined Equality OID Equality UNA[a,b,c] = a b a c b c a = b b[m->v] c :: a c[m->v] a = b b[m->v] c :: a false")
3
Domain Assumption Closed Domain Assumption Open Domain Assumption x ( x : Person y Father(x,y) ) Peter : Person Brother(Paul, John) ------------------------------------------------------- Father(Peter, Paul) Father(Peter, John) x ( x : Person y Father(x,y) ) Peter : Person Brother(Paul, John) ------------------------------------------------------- x Father(Peter, x)
4
Taxonomy Constraints Simple Inheritance Multiple Inheritance (No Constraints) X :: A X :: B ------------------ A :: B B :: A A = B
5
Multiple Inheritance Conflicts Resolution Source Based Value Based A :: B A::C B[m->T] C[m->U] T = U V 1 A[m->V 1 ] ------------------------ A[m->T]
![Multiple Inheritance Conflicts Resolution Source Based Value Based A :: B A::C B[m->T] C[m->U] T = U V 1 A[m->V 1 ] A[m->T]](http://images.slideplayer.com./16/5086084/slides/slide_5.jpg "Multiple Inheritance Conflicts Resolution Source Based Value Based A :: B A::C B[m->T] C[m->U] T = U V 1 A[m->V 1 ] A[m->T]")
6
Unknown Information Handling Default Reasoning Minimal Information
7
Feature Inheritance Override By Default (Closed World Overriding) Open World Inheritance No Overriding A :: B B[m->v] ------------------------------------------------------------ X A[m->X] ( V 1 ( A[m->V 1 ] ) A[m->v] ) A :: B B[m->v] ------------------------------------------- A[m->v] [ V 1 ( A[m->V 1 ] ) ] ?
![Feature Inheritance Override By Default (Closed World Overriding) Open World Inheritance No Overriding A :: B B[m->v] X A[m->X] ( V 1 ( A[m->V 1 ] ) A[m->v] ) A :: B B[m->v] A[m->v] [ V 1 ( A[m->V 1 ] ) ]](http://images.slideplayer.com./16/5086084/slides/slide_7.jpg "Feature Inheritance Override By Default (Closed World Overriding) Open World Inheritance No Overriding A :: B B[m->v] X A[m->X] ( V 1 ( A[m->V 1 ] ) A[m->v] ) A :: B B[m->v] A[m->v] [ V 1 ( A[m->V 1 ] ) ]")
Similar presentations
![[ §4 : 1 ] 4. Requirements Processes I Overview 4.1Fundamentals 4.2Elicitation 4.3Specification 4.4Verification 4.5Validation Requirements Definition Document.](/12/3448319/big_thumb.jpg "[ §4 : 1 ] 4. Requirements Processes I Overview 4.1Fundamentals 4.2Elicitation 4.3Specification 4.4Verification 4.5Validation Requirements Definition Document.>")
![CHORD Semantics January, 2007. F-Atoms User Defined Constraint – A::B – A[B->C], A[B=>C] – A[B(V)->C], A[B(P:T0)=>T1] Built-in Constraint – 1 : Integer,](/15/4656221/big_thumb.jpg "CHORD Semantics January, 2007. F-Atoms User Defined Constraint – A::B – A[B->C], A[B=>C] – A[B(V)->C], A[B(P:T0)=>T1] Built-in Constraint – 1 : Integer,>")
![From F-logic to CHORD. F-Logic Syntax Atoms –Focus on only two kinds of atoms s :: c (subclass relationship) s[m->>v] (inheritable multi-valued method)](/16/4912825/big_thumb.jpg "From F-logic to CHORD. F-Logic Syntax Atoms –Focus on only two kinds of atoms s :: c (subclass relationship) s[m->>v] (inheritable multi-valued method)>")
![CHORD Semantics January, 2007. F-Atoms User Defined Constraint – A::B – A[B->C], A[B=>C] – A[B(V)->C], A[B(P:T0)=>T1] Built-in Constraint – 1 : Integer,](/16/4978953/big_thumb.jpg "CHORD Semantics January, 2007. F-Atoms User Defined Constraint – A::B – A[B->C], A[B=>C] – A[B(V)->C], A[B(P:T0)=>T1] Built-in Constraint – 1 : Integer,>")
