Laks V. S. Lakshmanan Hassan M. Jammil. A declarative semantics for behavioral inheritance and con ict resolution. In Proceedings of the 1995.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....is, methods. We think that this is an important issue because it overcomes the dichotomy between data and operations of the relational model. Few proposals moreover, deal with behavioral inheritance and overriding. In addition to [ALUW93,LO91,McC88] these topics have been addressed in [BJ95,DT95,JL95] All these proposals extend F logic [KL90] or F logic variations) with behavioral inheritance. In F logic, indeed, only structural inheritance is directly captured. For behavioral inheritance, the non monotonic aspects introduced by the combination of overriding and dynamic binding are modeled ....

....of a method, and not method implementations, can be inherited along the inheritance hierarchy. In GuLog [DT95] overriding and conflicts arising from multiple inheritance are investigated, in a model similar to F logic. In GuLog, however, the schema and instance levels are separated. In ORLog [JL95] overriding and withdrawal of properties are supported. Withdrawal is used to prevent the inheritance of some properties in subclasses. It can thus result in non monotonic inheritance of signatures. A reasonable use of that mechanism is for preference specification for conflict resolution in case ....

H. M. Jamil and L.V.S. Lakshmanan. A Declarative Semantics of Behavioral Inheritance and Conflict Resolution. In Proc. Int'l Logic Programming Symposium, pages 130--144, 1995.

....integriert, so da das Modell redundanzarm gehalten wird, und nicht ben otigte Folgerungen aus den Abschlu regeln gar nicht erst hergeleitet werden m ussen. Verschiedene neuere Ans atze aus dem Bereich deduktiver objektorientierter Datenbanken sind von F Logik inspiriert worden. Gulog[7] und ORLog[14] versuchen, die Triggersemantik der Vererbung durch eine deklarativere Semantik zu ersetzen. Gulog beschr ankt sich dazu auf funktionsfreie Programme mit statischer Klassenhierarchie und versieht Regeln mit Typeinschr ankungen der verwendeten Variablen. Nichtmonotone Vererbung wird durch ....

M. H. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and conflict resolution. In Proc. of the 12th International Logic Programming Symposium (ILPS), pages 130--144, 1995.

....mechanism to suit her preferred needs. The above features were rst introduced in the context of ORLog (for Object Relationship Logic) 12] In [12] we developed a declarative semantics for the higher order features of ORLog, not including inheritance. In a preliminary version of this paper [13], we presented a declarative characterization of behavioral inheritance in ORLog and showed that con ict resolution in ORLog is possible in a relatively simple way. In [6] a stable model semantics for behavioral inheritance was proposed using notions of locality and inheritability similar to ....

H. M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and con ict resolution. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 130-144, Portland, Oregon, December 1995. MIT Press.

....simple, and have essentially made them free from b atoms while we still allowed b atoms in the queries. This restriction can be removed by considering a more elaborate model theoretic treatment similar to strati cation [1] or by taking an approach similar to the overriding concept developed in [7]. Our recent work on parametric inheritance [5] also provides additional formal basis for the belief function we have introduced in [4] and used in this paper. Intuitively, the rules containing b atoms should be placed at the highest possible stratum so that the belief computation kicks o when ....

Hasan M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and con ict resolution. In Proc ILPS, pages 130-144, December 1995.

....front to develop a deductive objectoriented language by taking an object oriented view and actually incorporating features peculiar to this paradigm. In the last few years, several proposals also addressed the issue of a direct semantics for logic based object oriented languages, for example [6, 13, 14]. These proposals attempt to provide a higher level abstraction for the object oriented features such as objects, classes, subclasses, methods, inheritance, overriding, encapsulation, etc. They also recognize the fact that implication and negation are not the answer to the problem of subclass ....

....is a much simpler problem, must be handled separately. There are two ways to address this issue (i) by rewriting every rule in # , or (ii) by adding an axiom to # i . We take the latter approach for e#ciency reasons. 11 A similar function, in a slightly di#erent setting, was used in ORLog [13]. 12 We, in fact, need another function #s similar to #m to determine signature inheritability. The definition of #s may be found in [11] 133 (1 # ) V:stipend(12K) # #m [stipend 1,V,grad stud,code] 2 # ) V:income(X) # stipend(X) #m[income 1,V,grad stud,code] 3 # ) V:avg ....

H. M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and conflict resolution. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 130--144, Portland, Oregon, December 1995. MIT Press.

....the user views of the MLS databases at different security levels is mimetic of the notion of inheritance in object oriented systems in a slightly elaborate fashion. In both our attempts, we utilized this connection and exploited our experience in dealing with inheritance in logic based systems [5, 15, 13]. The belief function presented in section 3.2 incorporates the results from our work in [15, 13] and extends the idea here further to cater to parametric inheritance. Our contributions in this paper may be summarized as follows: i) we propose a F logic like query language (unlike most others) ....

....in object oriented systems in a slightly elaborate fashion. In both our attempts, we utilized this connection and exploited our experience in dealing with inheritance in logic based systems [5, 15, 13] The belief function presented in section 3. 2 incorporates the results from our work in [15, 13] and extends the idea here further to cater to parametric inheritance. Our contributions in this paper may be summarized as follows: i) we propose a F logic like query language (unlike most others) for MLS deductive databases which can be directly used to model applications, ii) we propose a ....

[Article contains additional citation context not shown here]

H. M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and conflict resolution. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 130--144, Portland, Oregon, December 1995. MIT Press.

....critical observation that user views of the MLS databases at di erent security levels are mimetic of the notion of inheritance in object oriented systems albeit in a slightly elaborate fashion. We utilize this connection and exploit our experience in dealing with inheritance in logic based systems [3, 12, 9]. The so called belief function introduced in [13] which we adapt in this paper for de ning the notion of belief in Herbrand sets, is an extension of the inheritability function discussed in [12, 9] The belief function we use captures the idea of the so called parametric inheritance. The ....

.... this connection and exploit our experience in dealing with inheritance in logic based systems [3, 12, 9] The so called belief function introduced in [13] which we adapt in this paper for de ning the notion of belief in Herbrand sets, is an extension of the inheritability function discussed in [12, 9]. The belief function we use captures the idea of the so called parametric inheritance. The impetus for MultiLog was to (i) develop a model and a query language which can guard against an additional security breach, called the surprise stories [13] ii) provide linguistic instruments for ....

[Article contains additional citation context not shown here]

H. M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and con ict resolution. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 130-144, Portland, Oregon, December 1995. MIT Press.

....has been used and appreciated most widely. Overriding has been a difficult issue to address in logic, as it is related to negation, belief or theory revision, and non monotonic reasoning. Several approaches were appealing in modeling overriding in knowledge representation and in knowledge bases [9, 38, 11, 4, 26, 8, 35, 6, 22, 5, 31, 5, 2, 3, 29, 28, 39, 13, 14, 30, 19]. Most solutions were computationally expensive, or were heavily dependent on the user for capturing the intended semantics i.e, inheritance was almost hand coded into the program. In the latter case, logic did very little in capturing the spirit of overriding and thus, was error prone. ....

....case, logic did very little in capturing the spirit of overriding and thus, was error prone. Currently, there are varied frameworks for computing declarative overriding. Among these, inheritance in object oriented logic is of very recent interest in the area of object oriented knowledge bases [34, 40, 1, 21, 12, 7, 10, 25, 19] (comprehensive surveys may be found in [9, 21] This interest has been sparked primarily by the need to model new generation knowledge applications such as bio informatics, GIS, CAD CAM, office automation, web databases, time series expert systems, etc. that require complex abstractions and ....

[Article contains additional citation context not shown here]

H. M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and conflict resolution. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 130--144, Portland, Oregon, December 1995. MIT Press.

....preferred needs. The above features were first introduced in the context of ORLog (for Object Relationship Logic) 40] In [40] we developed a declarative semantics for the higherorder features of ORLog, not including inheritance. In a preliminary version of the work contained in this chapter [42], we presented a declarative characterization of behavioral inheritance in ORLog and showed that conflict resolution in ORLog is possible in a relatively simple way. In [22] a stable model semantics for behavioral inheritance was proposed using notions of locality and inheritability similar to ....

H. M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and conflict resolution. In John Lloyd, editor, Proceedings of the 12th International Logic Programming Symposium, pages 130--144, Portland, Oregon, December 1995. MIT Press.

....3, and a proof procedure in section 4. We do not include a discussion on the fixpoint semantics in this paper for the want of space. Hence we only state the main results of our work in section 5. However, a complete discussion on the fixpoint theory as well as the general semantics may be found in [10]. In [10] we prove that (i) the fixpoint semantics and the modeltheoretic semantics are equivalent, and (ii) the proof theory is sound and complete with respect to this semantics. We compare our language with previous works in section 6, and finally give our conclusions in section 7. A more ....

....proof procedure in section 4. We do not include a discussion on the fixpoint semantics in this paper for the want of space. Hence we only state the main results of our work in section 5. However, a complete discussion on the fixpoint theory as well as the general semantics may be found in [10] In [10] we prove that (i) the fixpoint semantics and the modeltheoretic semantics are equivalent, and (ii) the proof theory is sound and complete with respect to this semantics. We compare our language with previous works in section 6, and finally give our conclusions in section 7. A more elaborate ....

[Article contains additional citation context not shown here]

H. M. Jamil and L. V. S. Lakshmanan. A declarative semantics for behavioral inheritance and conflict resolution. Technical report, Department of Computer Science, Concordia University, Montreal, Canada, April 1995. In preparation.

No context found.

Laks V. S. Lakshmanan Hassan M. Jammil. A declarative semantics for behavioral inheritance and con ict resolution. In Proceedings of the 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC