R. Cattoni and E. Franconi. Walking through the semantics of framebased description languages: A case study. In Proc. of the 5 th International Symposium on Methodologies for Intelligent Systems, pages 234{ 241, Knoxville, TN, 1990. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An Empirical Analysis of Optimization Techniques.. - Baader.. (1992) (59 citations) (Correct)
....[5] work on structured inheritance networks. In the last decade many knowledge representation systems based on these ideas have been built, for example back [37] classic [36] kandor [34] kl two [42] k rep [30] krypton [6] kris [3] loom [29] meson [13] nikl [41] sb one [23] and yak [10]. Moreover, formal aspects of ter1 minological representation languages have been thoroughly investigated, with the highest emphasis having been placed on the decidability and complexity of the subsumption problem [24, 31, 39, 35, 33, 40, 11, 12] As a result of these investigations, it is known ....
R. Cattoni and E. Franconi. Walking through the semantics of framebased description languages: A case study. In Proceedings of the Fifth International Symposium on Methodologies for Intelligent systems, Knoxville, TN, Oct. 1990. North-Holland.
Managing Complex Objects in Peirce - Ellis, Levinson, Robinson (1994) (3 citations) (Correct)
.... KL ONE (Brachman Schmolze, 1985) is an early terminological reasoning system based on the design in Brachman (1977) Many knowledge representation systems have been built based on the ideas in KL ONE: KANDOR (Patel Schneider, 1984) KL TWO (Vilain, 1985) MESON (Edelmann Owsnicki, 1986) YAK (Cattoni Franconi, 1990), BACK (Peltason, 1991) CLASSIC (Patel Schneider, McGuinness, Brachman, Alperin Resnick, Borgida, 1991) K Rep (Mays, Dionne, Weida, 1991) KRYPTON (Brachman, Pigman Gilbert Levesque, 1985) KRIS (Baader Hollunder, 1991) LOOM (MacGregor, 1991) NIKL (Schmolze Mark, 1991) and SB ONE ....
CATTONI, R. & FRANCONI, E. (1990). Walking Through the Semantics of Frame-based Description Languages: A Case Study. Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems, Knoxville, Texas, October, North-Holland, New York.
An Empirical Analysis of Terminological Representation .. - Heinsohn, Kudenko.. (1994) (35 citations) (Correct)
....since we made our experiment, Terminological Representation Systems 4 so runtime performance may have changed. 3 Systems There are a large number of systems which could have been included in an empirical analysis, e.g. kl one [11] lilog [8] nikl [36] k rep [23] krs [18] krypton [10] yak [12]. However, we concentrated on a relatively small number of systems. This does not mean that we feel that the systems we did not include (or mention) are not worthwhile to be analyzed. The only reason not to include all the systems was the limited amount of time available. We hope, however, that ....
R. Cattoni and E. Franconi. Walking through the semantics of frame-based description languages: A case study. In Proceedings of the Fifth International Symposium on Methodologies for Intelligent systems, Knoxville, TN, Oct. 1990. North-Holland.
A short presentation of YAK, - Hybrid Knowledge Representation Self-citation (Franconi) (Correct)
No context found.
R. Cattoni and E. Franconi. Walking through the semantics of framebased description languages: A case study. In Proc. of the 5 th International Symposium on Methodologies for Intelligent Systems, pages 234{ 241, Knoxville, TN, 1990.
Extending Hybridity within the YAK Knowledge Representation System - Franconi (1992) (2 citations) Self-citation (Franconi) (Correct)
....the AlFresco natural language system, a multimodal dialogue prototype for the exploration of Italian art history. The expressivity of the YAK TBox comes out from a study about the balancing of expressiveness, functional adequacy and formal properties of deductive procedures. It has been shown in [5] how some constructs though enhancing expressive power and still maintaining tractability do not give an intuitive behaviour to the language, from the point of view of both meaning and calculus. The classi er provided within the YAK system has a tractable, sound and complete algorithm. ....
Roldano Cattoni and Enrico Franconi. Walking through the Semantics of Frame-Based Description Languages: a case study. In Z.W. Ras, M. Zemankova, M.L. Emrich (eds.), Methodologies for Intelligent Systems, 5, North-Holland (1990) 4
A short presentation of YAK, a Hybrid Knowledge Representation.. - Franconi Self-citation (Franconi) (Correct)
....characteristics: The TBox language, with respect to FL , allows for primitive concepts and roles, functional roles and role conjunction; note that, di erently from all currently developed systems, there is no number restriction. A tractable and complete subsumption procedure is provided [2]. An object oriented ABox with an abstraction classi cation propagation realizing procedure [6, 8] A Constraint Box which includes: disjointness, implies rules, transitive roles, test operator [1, 7] Constraints inference ( a la Allen) added to ABox, to exploit set and time ....
R. Cattoni and E. Franconi. Walking through the semantics of framebased description languages: A case study. In Proc. of the 5 th International Symposium on Methodologies for Intelligent Systems, pages 234{ 241, Knoxville, TN, 1990.
Description Logics for Natural Language Processing - Franconi (1994) (2 citations) Self-citation (Franconi) (Correct)
....the following characteristics: The terminological TBox language, derives from the very simple frame based description language FL ; in addition, it allows for primitive concepts and roles, functional roles and role conjunction. A tractable and complete subsumption procedure is provided [ Cattoni and Franconi,1990 ] An object oriented ABox, with a complete recognition reasoning procedure. Franconi et al. 1992; Nebel,1990 ] A Constraint Box which includes: disjointness, implies rules, transitive roles, test operator to handle concrete domains. Constraints inference ( a la Allen) added to ....
R. Cattoni and E. Franconi. Walking through the semantics of frame-based description languages: A case study. In Proc. of the 5 th International Symposium on Methodologies for Intelligent Systems, pages 234-241, Knoxville, TN, 1990. North-Holland.
An Empirical Analysis of Optimization Techniques.. - Baader.. (1994) (59 citations) Self-citation (Franconi) (Correct)
....[5] work on structured inheritance networks. In the last decade many knowledge representation systems based on these ideas have been built, for example back [37] classic [36] kandor [34] kl two [42] k rep [30] krypton [6] kris [3] loom [29] meson [13] nikl [41] sb one [23] and yak [10]. Moreover, formal aspects of terminological representation languages have been thoroughly investigated, with the highest emphasis having been placed on the decidability and complexity of the subsumption problem [24; 31; 39; 35; 33; 40; 11; 12] As a result of these investigations, it is known ....
R. Cattoni and E. Franconi. Walking through the semantics of frame-based description languages: A case study. In Proceedings of the Fifth International Symposium on Methodologies for Intelligent systems, Knoxville, TN, Oct. 1990. North-Holland.
An Empirical Analysis of Optimization Techniques.. - Baader.. (1992) (59 citations) Self-citation (Franconi) (Correct)
No context found.
Roldano Cattoni and Enrico Franconi (1990). Walking through the semantics of frame-based description languages: A case study. In Proceedings of the Fifth International Symposium on Methodologies for Intelligent systems, Knoxville, TN. North-Holland.
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