E. Franconi. Extending hybridity within the YAK knowledge representation system. In Proc. of the 2 nd International Workshop on Terminological Logics, Schloss Dagstuhl, Germany, 1991. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Terminological Knowledge Representation System in a Process.. - Sattler (1998) (29 citations) (Correct)
....then a tableau based algorithm can handle ALUEN # concepts in the according assertional part and ALUEN concepts in queries in a sound and complete way. 5 The TKR system Crack Crack is a TKR system implemented by E. Franconi et al. 10] at IRST, Povo, Italy and the successor system of Yak [15]. The inference algorithm implemented is tableau based and optimized using the experiences made with Yak and Kris [3] The aim of the Crack project was the implementation of a TKR system based on a concept language with high expressive power, furnished with sound and complete algorithm that is ....
E. Franconi. Extending hybridity within the yak knowledge representation system. In B. Nebel, C. Peltason, and K. von Luck, editors, Proceedings of the 2nd International Workshop on Terminological Logics, pages 43--46, Schlo Dagstuhl, 1991.
Uniformly Querying Knowledge Bases and Data Bases - Bresciani (1994) (4 citations) (Correct)
....formulae. We plan to expand its capability with the possibility of answering any first order logic query. We foresee that, to this extent, much attention has to be paid on the optimization of the queries. 11 10 As we argued even for standard knowledge bases [Bresciani,1991] the every operator [Franconi,1992] would be more adequate in this case. 11 Because in our system queries to KB and to DB are 5.3 Aknowledgments Our thanks must be addressed to Enrico Franconi, for his careful reading of several preliminary copies of the present paper and the useful suggestions he made about it. We also thank ....
E. Franconi. Extending hybridity within the YAK knowledge representation system. AI*IA notizie, the Italian Association for Artificial Intelligence Journal, 5(2):55--58, June 1992.
A short presentation of YAK, - Hybrid Knowledge Representation Self-citation (Franconi) (Correct)
No context found.
E. Franconi. Extending hybridity within the YAK knowledge representation system. In Proc. of the 2 nd International Workshop on Terminological Logics, Schloss Dagstuhl, Germany, 1991.
A short presentation of YAK, a Hybrid Knowledge Representation.. - Franconi Self-citation (Franconi) (Correct)
....added to ABox, to exploit set and time reasoning [5] A compositional uni cation based query language with typed variables and simple connectives. A simple mechanism for multiple KBs handling. Viewpoints according to the relevant beliefs theory for multiple agents beliefs representation [4]. YAK is written in pure common lisp. An optional graphical interface is available for Xerox Medley common lisp featuring display and browsing capabilities, Macintosh Allegro common lisp, KCL, Allegro and Lucid 1 common lisp under Xwindow featuring display only. In the Appendix a simpli ed ....
E. Franconi. Extending hybridity within the YAK knowledge representation system. In Proc. of the 2 nd International Workshop on Terminological Logics, Schloss Dagstuhl, Germany, 1991.
Description Logics for Natural Language Processing - Franconi (1994) (2 citations) Self-citation (Franconi) (Correct)
No context found.
E. Franconi. Extending hybridity within the YAK knowledge representation system. In B. Nebel, C. Peltason, and K. von Luck, editors, Proc. of the 2 nd International Workshop on Terminological Logics, pages 43-46, Schloss Dagstuhl, Germany, May 1991. DFKI, Saarbrucken.
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