E. Franconi, B. Magnini, and O. Stock. Prototypes in a hybrid language with primitive descriptions. Computer and Mathematics with Applications, special issue: Semantic Networks in Arti cial Intelligence, 23(69) :543-556, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A short presentation of YAK, - Hybrid Knowledge Representation Self-citation (Franconi) (Correct)
No context found.
E. Franconi, B. Magnini, and O. Stock. Prototypes in a hybrid language with primitive descriptions. Computer and Mathematics with Applications, special issue: Semantic Networks in Arti cial Intelligence, 23(69) :543-556, 1991.
A short presentation of YAK, a Hybrid Knowledge Representation.. - Franconi Self-citation (Franconi) (Correct)
....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 reasoning [5] A compositional uni cation based query language with typed variables and simple connectives. ....
E. Franconi, B. Magnini, and O. Stock. Prototypes in a hybrid language with primitive descriptions. Computer and Mathematics with Applications, special issue: Semantic Networks in Articial Intelligence, 23(69) :543-556, 1991.
Description Logics for Natural Language Processing - Franconi (1994) (2 citations) Self-citation (Franconi) (Correct)
....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 the ABox, to exploit set reasoning to handle conjunctions, plurals and natural quanti ers together ....
....which includes: disjointness, implies rules, transitive roles, test operator to handle concrete domains. Constraints inference ( a la Allen) added to the ABox, to exploit set reasoning to handle conjunctions, plurals and natural quanti ers together with temporal and spatial reasoning [ Franconi,1992 ] A compositional uni cation based query language with typed variables and simple logical connectives, necessary to build up queries during the interpretation phase. A simple mechanism for multiple KBs handling. Viewpoints according to the relevant beliefs theory for multiple agents ....
[Article contains additional citation context not shown here]
E. Franconi, B. Magnini, and O. Stock. Prototypes in a hybrid language with primitive descriptions. Computer and Mathematics with Applications, special issue: Semantic Networks in Arti cial Intelligence, Pergamon Press, 23(6-9):543-556, March-May 1992.
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