See this document in CiteSeerX!

A short presentation of YAK  (Make Corrections)  
a Hybrid Knowledge Representation System Enrico Franconi IRST, I-38050 Povo...



  Home/Search   Context   Related

 
View or download:
inf.unibz.it/%7Efranc...tluws91.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  inf.unibz.it/%7Efr...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: n and reasoning; simple revision mechanisms for ABox; interaction with DataBases; a uni er for terminological descriptions; a more expressive TBox; a richer graphical interface for Mac and Xwindow. The YAK system has been developed initially as the KR module of the AlFresco natural language system, a multimodal dialogue prototype for the exploration of italian art history. Now it is a stand-alone, robust, documented and portable piece of software, used within other AI NL projects. The YAK... (Update)

Active bibliography (related documents):   More   All
1.1:   Description Logics for Natural Language Processing - Franconi (1994)   (Correct)
1.1:   A short presentation of YAK, a Hybrid Knowledge Representation.. - Franconi   (Correct)
0.3:   Extending Hybridity within the YAK Knowledge Representation System - Franconi (1992)   (Correct)

System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:   More   All
0.4:   International Workshop on Description Logics - Borgida, Lenzerini, Nardi, Nebel (1995)   (Correct)
0.4:   Hierarchical Plans in a Description Logic of Time and Action - Artale, Franconi (1995)   (Correct)
0.4:   A Treatment of Plurals and Plural Quantifications based on a.. - Franconi (1993)   (Correct)

BibTeX entry:   (Update)

@misc{ representation-short,
  author = "Hybrid Knowledge Representation",
  title = "A short presentation of YAK,",
  url = "citeseer.ist.psu.edu/724024.html" }
Citations (may not include all citations):
193   Reasoning and Revision in Hybrid Representation Systems (context) - Nebel - 1990
189   Living with CLASSIC: When and how to use a KL-ONE-like langu.. - Brachman, McGuiness et al. - 1991
86   A deductive pattern matcher (context) - MacGregor - 1988
9   Walking through the semantics of framebased description lang.. - Cattoni, Franconi - 1990
5   Extending hybridity within the YAK knowledge representation .. - Franconi - 1991
4   Sist. Informatici e Calcolo Parallelo (context) - Franconi, manual et al. - 1990
4   Adding constraints inference to ABox reasoning (context) - Franconi - 1992
3   Prototypes in a hybrid language with primitive descriptions (context) - Franconi, Magnini et al. - 1991

Documents on the same site (http://www.inf.unibz.it/%7Efranconi/publications.html):   More
Queries and Updates in the coDB Peer to Peer Database.. - Franconi, Kuper.. (2004)   (Correct)
A Distributed Algorithm for Robust Data Sharing.. - Franconi, Kuper.. (2004)   (Correct)
Description Logics for Conceptual Design, Information Access.. - Franconi (2003)   (Correct)

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