P. Mello. Inheritance as Combination of Horn Clause Theories. In Inheritance Hierarchies in Knowledge Representation and Programming Languages, M. Lenzerini, D. Nardi, M. Simi (Eds.), John Wiley & Sons Ltd, pages 275-289. 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....sharing and hiding, etc. which are all important means to manage the complexity of a particular domain. The desire to have in Prolog means for dividing a program into smaller relatively separated and independent units with transparent minimal interfaces has been responded by several authors [21, 11, 18, 16, 15, 19, 26]. Problems are encounteredwhen trying to combine logic databases (modules) Several approaches have been tried e.g. inheritance [19] context switching [16] introducing implication into goals [11] different definitions of visibility of atoms [18] using abstraction in separating the logic ....

.... a program into smaller relatively separated and independent units with transparent minimal interfaces has been responded by several authors [21, 11, 18, 16, 15, 19, 26] Problems are encounteredwhen trying to combine logic databases (modules) Several approaches have been tried e.g. inheritance [19], context switching [16] introducing implication into goals [11] different definitions of visibility of atoms [18] using abstraction in separating the logic database from the concrete implementation by specifying required resources and produced results [21] The mutual communication among logic ....

[Article contains additional citation context not shown here]

P. Mello. Inheritance as Combination of Horn Clause Theories. In Inheritance Hierarchies in Knowledge Representation and Programming Languages, M. Lenzerini, D. Nardi, M. Simi (Eds.), John Wiley & Sons Ltd, pages 275-289. 1991.

....consequences of the axioms. Thus, while complete inheritance refers to all the consequences of axioms, atomic inheritance refers to their atomic consequences. Although both aspects of content inheritance are useful to knowledge representation, existing combinations of logic and objects, except [21], address either complete inheritance (e.g. 7, 15, 18] or atomic inheritance (e.g. 20] but not both as SILO does. Apart from various inheritance aspects, there are also a number of knowledge specialisation types (or specialisations) required for knowledge representation. The more ....

....is not applicable, as instances cannot have new attributes predicates defined in them. Existing systems do not address all of the above specialisation types. They do not usually provide ways of implementing one or more of extension, refinement and exception of knowledge. For example, the system in [21], although supports complete and atomic inheritance, it does not provide direct ways for representing refinements and partial exceptions. Typically, in a multiple inheritance system, an instance class inherits knowledge from all of its classes superclasses. Multiple inheritance causes no problems ....

[Article contains additional citation context not shown here]

P. Mello, Inheritance as combination of Horn clause theories, in: M. Lenzerini, D. Nardi and M. Simi, eds., Inheritance Hierarchies in Knowledge Representation and Programming Languages (John Wiley & Sons, 1991).

....inheritance. However, they are not appropriate to deal with cases where not all of the atomic consequences of axioms are inherited. Therefore, another technique, called consequence retraction, is employed in SILO. Consequence retraction is similar to solution invalidation (notion introduced in [23]) We use a more general view of this technique: Definition 8. Consequence Retraction) An atomic consequence found during a reasoning process in the context of an object is retracted if it is inconsistent with any of the axioms in the object s current theory. For example, the answer to query ....

P. Mello, Inheritance as combination of Horn clause theories, Inheritance Hierarchies in Knowledge Representation and Programming Languages, eds, M. Lenzerini, D. Nardi and M. Simi, John Wiley & Sons (1991) 275-289.

.... et al. 1993; Meier and Schimpf, 1993; Kwon et al. 1993) theories (McCabe, 1992) units (Lamma et al. 1991) Several authors have applied concepts of the object oriented programming to achieve structuring of logic programs (Kowalski, 1979; Zaniolo, 1984; Gallaire, 1986; Leonardi et al. 1989; Mello, 1991; McCabe, 1992; Razek, 1992; Xu and Zheng, 1995) Problems are encountered when trying to combine logic databases (modules) Several approaches have been tried, e.g. inheritance (Mello, 1991) context switching (Lamma et al. 1991) introducing implication into goals (Miller, 1989; Giordano et ....

.... achieve structuring of logic programs (Kowalski, 1979; Zaniolo, 1984; Gallaire, 1986; Leonardi et al. 1989; Mello, 1991; McCabe, 1992; Razek, 1992; Xu and Zheng, 1995) Problems are encountered when trying to combine logic databases (modules) Several approaches have been tried, e.g. inheritance (Mello, 1991), context switching (Lamma et al. 1991) introducing implication into goals (Miller, 1989; Giordano et al. 1994) different definitions of Slovak Technical University, Dept. of Computer Science and Engineering, Ilkovicova 3, 812 19 Bratislava, Slovakia, fax: 42 7) 720 415, e mail: ....

[Article contains additional citation context not shown here]

Mello P. (1991): Inheritance as combination of Horn clause theories. In: Inheritance Hierarchies in Knowledge Representation and Programming Languages (Simi M., Lenzerini M. and Nardi D., Eds.), --- John Wiley & Sons Ltd., pp.275--289.

....sharing and hiding, etc. which are all important means to manage the complexity of a particular domain. The desire to have in Prolog means for dividing a program into smaller relatively separated and independent units with transparent minimal interfaces has been responded by several authors [21, 11, 18, 16, 15, 19, 26]. Problems are encountered when trying to combine logic databases (modules) Several approaches have been tried e.g. inheritance [19] context switching [16] introducing implication into goals [11] different definitions of visibility of atoms [18] using abstraction in separating the logic ....

.... a program into smaller relatively separated and independent units with transparent minimal interfaces has been responded by several authors [21, 11, 18, 16, 15, 19, 26] Problems are encountered when trying to combine logic databases (modules) Several approaches have been tried e.g. inheritance [19], context switching [16] introducing implication into goals [11] different definitions of visibility of atoms [18] using abstraction in separating the logic database from the concrete implementation by specifying required resources and produced results [21] The mutual communication among logic ....

[Article contains additional citation context not shown here]

P. Mello. Inheritance as Combination of Horn Clause Theories. In Inheritance Hierarchies in Knowledge Representation and Programming Languages, M. Lenzerini, D. Nardi, M. Simi (Eds.), John Wiley & Sons Ltd, pages 275-289. 1991.

....sharing and hiding, etc. which are all important means to manage the complexity of a particular domain. The desire to have in Prolog means for dividing a program into smaller relatively separated and independent units with transparent minimal interfaces has been responded by several authors [21, 11, 18, 16, 15, 19, 26]. Problems are encountered when trying to combine logic databases (modules) Several approaches have been tried e.g. inheritance [19] context switching [16] introducing implication into goals [11] different definitions of visibility of atoms [18] using abstraction in separating the logic ....

.... a program into smaller relatively separated and independent units with transparent minimal interfaces has been responded by several authors [21, 11, 18, 16, 15, 19, 26] Problems are encountered when trying to combine logic databases (modules) Several approaches have been tried e.g. inheritance [19], context switching [16] introducing implication into goals [11] different definitions of visibility of atoms [18] using abstraction in separating the logic database from the concrete implementation by specifying required resources and produced results [21] The mutual communication among logic ....

[Article contains additional citation context not shown here]

P. Mello. Inheritance as Combination of Horn Clause Theories. In Inheritance Hierarchies in Knowledge Representation and Programming Languages, M. Lenzerini, D. Nardi, M. Simi (Eds.), John Wiley & Sons Ltd, pages 275-289. 1991.

....by using explicit references to self . The message sent self : G requests that G be evaluated in the hierarchy associated with the object that received the last message sent. Monteiro and Porto [79] resort instead to a clever 34 use of parametric modules. Here, as suggested by Mello in [65] we can rely on the workings of the composition we have outlined in section 2.1.3. Example 3.5. Consider the following example written using McCabe s Class Template Language. bird isa animal tweety isa bird human(S; A) isa animal peter isa human(male; 30) mary isa human(female; 42) human(S; A) ....

P. Mello. Inheritance as Combination of Horn Clause Theories. In D. Lenzerini, D. Nardi, and M. Simi, editors, Inheritance Hierarchies in Knowledge Representation, pages 275--289. J. Wiley and Sons, 1989.

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