Carsten Schroder, Ralf Moller, and Carsten Lutz. A partial logical reconstruction of PLAKON/ KONWERK. In [Baader et al., 1996] , pages 55--64, 1996.  Home/Search   Document Details and Download   Summary   Related Articles

....WintelPC. In logics, this is called open world assumption (OWA) In general, knowledge on subsumed concepts provides no restriction on the membership of subsuming concepts. However, knowledge on technical domains is typically quite precise and detailed. Thus, the cover axiom seems to be justified [Schr oder et al. 1996] , that may be described as follows: In knowledge bases on products and materials, all members of a superclass are also members of at least one subclass. Presupposing the definitions in Fig. 2, all members of WintelPC are either members of OfficePC or ApplicationServer. Adding more subclasses to ....

....model referring to the concepts of Figure 2) The items 1 to 3 present usual demands on the interpretation of concept definitions. Item 4 describes the meaning of expressions describing resource constraints. Item 5 presents the so called cover axiom that is well known in the area of configuration [Schr oder et al. 1996] . As mentioned above, the cover axiom guarantees that all members of a more abstract concept exhibit all properties of a most specific concept. Item 6 defines the strong kind of the CWA that has been motivated in the previous section. In conclusion to the remarks on representation, please note ....

Carsten Schroder, Ralf Moller, and Carsten Lutz. A partial logical reconstruction of PLAKON/ KONWERK. In [Baader et al., 1996] , pages 55--64, 1996.

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