Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, A unified framework for classbased representation formalisms, Proc. 4th KR, Bonn (DE), pp109-120, 1994 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
KR and OOL co-operation based on semantics non reducibility - Euzenat (1994) (2 citations) (Correct)
....and co operation accordingly. This is illustrated through the design of a new implementation of the TROPES system. 1. WHY ARE OOL AND OBKR DIFFERENT There have been several works on the many possible OOL and OBKR based on the remark that OOL and OBKR are very similar at a conceptual level [16, 11, 12, 24, 4]. As a matter of fact, involved concepts include individual entities (hereby called objects) to which attributes are assigned, and generic entities (called classes) describing the structure of individual objects and organised through a relation (called specialisation) A possible source of ....
....systems [9] External data are integrated through abstract data types. No distinction between OOL and KR classes is considered and no semantics is provided. Recently, it has been argued that some sort of terminological logic is more general than frames and object oriented data models [4]. However, it only concerns a restricted class of object models and features has not been taken into account (e.g. reflectivity) The presented position takes into account the current state of object semantics in OOL and OBKR. Without neglecting the efforts towards the convergence of both ....
Diego Calvanese, Maurizio Lenzerini, Daniele Nardi, A unified framework for classbased representation formalisms, Proc. 4th KR, Bonn (DE), pp109-120, 1994
Reasoning with Behavioural Knowledge in Application.. - Compatangelo, Donini.. (1997) (Correct)
....binary predicates. It is endowed with a set of constructors that determines the language in which class properties can be specified. Much of the research in DLs concentrated on algorithms for reasoning about concepts. The computational and expressive properties of DLs have been extensively studied [9, 15, 1, 5]. While other approaches based on DLs [18, 5] deal with the structural component of domain knowledge only, we use DLs also to formalise some relevant aspects of the static part of behavioural domain modelling (i.e. process descriptions) Although the DL used in this paper is ALN [9] behaviours ....
....that determines the language in which class properties can be specified. Much of the research in DLs concentrated on algorithms for reasoning about concepts. The computational and expressive properties of DLs have been extensively studied [9, 15, 1, 5] While other approaches based on DLs [18, 5] deal with the structural component of domain knowledge only, we use DLs also to formalise some relevant aspects of the static part of behavioural domain modelling (i.e. process descriptions) Although the DL used in this paper is ALN [9] behaviours are captured in a parametric way with respect ....
D. Calvanese and M. Lenzerini and D. Nardi. A Unified Framework for ClassBased Representation Formalisms. In J. Doyle and E. Sandewall and P. Torasso, editor, Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR-94), pages 109--120. Morgan Kaufmann, 1994.
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