Jérôme Euzenat  Home/Search
Context Related
| inrialpes.fr/pub/INR...euzenat94b.ps.gz inrialpes.fr/pub/she...euzenat94b.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math...tp.inrialpes.fr (more) From: inrialpes.fr/sherpa/publi (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: and OOL on this conceptual level, as a whole or component by component, is possible but misses the meaning of the involved concepts [16, 18]. Therefore each tentative characterisation of OOL with regard to OBKR is contradicted by some non typical system. On the other hand, in the last ten years, there has been fundamental work concerning the semantics attached to the notions of objects, classes, specialisation and so on [3, 2]. There are roughly three ways for establishing the semantics of... (Update)
Context of citations to this paper: More
...in general. Some of these differences do not apply to object oriented languages, e.g. the missing uniqueness of records. Euzenat [12] argues that a general unification of the two formalisms is infeasible, as a semantic reducibility from one formalism into the complementary...
...in general. Some of these differences do not apply to object oriented languages, e.g. the missing uniqueness of records. Euzenat [10] argues that a general unification of the two formalisms is infeasible, as a semantic reducibility from one formalism into the complementary...
Cited by: More
A Denotational Semantics for Joining Description Logics and.. - Schacht, Hahn (1997) (Correct)
Making Objects More Knowledgeable - Schacht, Hahn (Correct)
Similar documents (at the sentence level):
9.9%: Proc. of the. . . Workshop on Object-Based Representation Systems - (Ed.) (1993) (Correct)
6.1%: Proceedings on the IJCAI Workshop on Object-Based Representation.. - (Ed.) (1993) (Correct)
5.3%: Brief overview of T-TREE: the TROPES Taxonomy building Tool - Euzenat (1993) (Correct)
Active bibliography (related documents): More All
0.5: Reasoning with Behavioural Knowledge in Application.. - Compatangelo, Donini.. (1997) (Correct)
0.5: Perspectives and Complex Aggregates - Bækdal, Kristensen (2000) (Correct)
0.5: Multiple Perspectives in Interactive System Design - McWhirter, Redmiles, Stolze (1996) (Correct)
Similar documents based on text: More All
0.4: Interactive Class Classification Using Types - Capponi (1993) (Correct)
0.3: A Formalization of Reasoning Not Derived From Standard.. - Gregory Tseytin Smirnov (Correct)
0.2: Automatic Taxonomy Building Within an Object Formalism - Valtchev (1997) (Correct)
Related documents from co-citation: More All
2: Restricted Parallelism in Object-oriented Lexical Parsing - Neuhaus, Hahn - 1996
2: the definition of specialization hierarchies for procedures (context) - Borgida - 1981
2: A denotational semantics of inheritance and its correctness - Cook, Palsberg - 1995
BibTeX entry: (Update)
Jerome Euzenat. KR and OOL co-operation based on semantics nonreducibility. In ECAI-94 Workshop on Integrating Object-Orientation and Knowledge Representation, 1994. http://citeseer.ist.psu.edu/euzenat94kr.html More
@misc{ euzenat94kr,
author = "J. Euzenat",
title = "KR and OOL co-operation based on semantics nonreducibility",
text = "Jerome Euzenat. KR and OOL co-operation based on semantics nonreducibility.
In ECAI-94 Workshop on Integrating Object-Orientation and Knowledge Representation,
1994.",
year = "1994",
url = "citeseer.ist.psu.edu/euzenat94kr.html" }
Citations (may not include all citations):167 Dimensions of object-based language design (context) - Wegner
137 The art of the meta-object protocol (context) - Kiczales, Rivieres et al. - 1991
107 The mathematics of inheritance systems (context) - Touretzky - 1986
94 Expressiveness and tractability in knowledge representation .. (context) - Levesque, Brachman - 1987
93 Feature constraint logics for unification grammars - Smolka - 1992
82 Objects as closures: abstract semantics of object-oriented p.. (context) - Reddy - 1988
50 Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1993
44 What is-a is and isn't: an analysis of taxonomic link in sem.. (context) - Brachman - 1983
40 Mathematical structures in computer science (context) - Cardelli, Mitchell et al.
25 The design space of frame knowledge representation systems - Karp - 1993
14 Multiple perspectives and classification mechanism in object.. (context) - Marino, Rechenmann et al. - 1990
13 A class library implementation of a principled open architec.. (context) - Gaines - 1993
8 The equivalence of model theoretic and structural subsumptio.. (context) - Dionne, Maes et al. - 1993
5 What's inheritance got to do with knowledge representation (context) - Patel-Schneider - 1991
4 Object-oriented programming and frame-based knowledge repres.. (context) - Rathke - 1993
3 A purely taxonomic and descriptive meaning for classes (context) - Euzenat - 1993
3 Foundations of object-oriented languages (context) - Black, Palsberg - 1994
2 points of view and object evolution (context) - Carre, Comyn et al. - 1988
2 Multiple representation perspectives for supporting explanat.. (context) - Rathke, Redmiles - 1993
2 A unified framework for classbased representation formalisms (context) - Calvanese, Lenzerini et al. - 1994
1 Smalltalk-80 the langage and its implementation (context) - Goldberg, Robson - 1983
1 How well a vanilla loop fit into a frame (context) - Nebel - 1985
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.inrialpes.fr.html): More
Issues in Temporal Representation of Multimedia Documents - Layaïda (1996) (Correct)
Towards Safe Driving in Traffic Situation by Using .. - Hassoun, Laugier, .. (1993) (Correct)
Forgetting in Intelligent Systems - Strecker (1993) (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