11 citations found. Retrieving documents...
Gruninger, M.; Fox, M.S. (1996), The Logic of Enterprise Modelling, Modelling and Methodologies for Enterprise Integration. Bernus, P.; Nemes , L. (Eds.), Cornwall, Great Britain: Chapman and Hall.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Automating Partner Selection for a Virtual Organisation - Biqing, Janowski, Yonghe (1999)   (1 citation)  (Correct)

....of the lasting interest and value. We seek to understand those problems independently from the technology used today, which is one of the reasons we chose to present the model for a virtual organisation formally; the need for a more formal treatment of enterprise models have been observed before [16, 7]. Another reason is the need for abstraction. This work extends the model for a virtual manufacturing organisation in [10] and its semantics in [11] This paper presents work in progress. There are several directions we plan to continue our study. We plan to further develop the model of services, ....

M. Gruninger and M.S. Fox. The Logic of Enterprise Modelling. In Modelling and Methodologies for Enterprise Integration, pages 140--157, 1996.


Formal Ontology and Information Systems - Guarino (1998)   (80 citations)  (Correct)

....modelling [3,53] information integration [55,7,35] object oriented analysis [51,39] information retrieval and extraction [24,6,34,54] knowledge management and organization [40] agent based systems design 1 . Current applications areas are disparate, including enterprise integration [22,46], natural language translation [30,33] medicine [16] mechanical engineering [10] standardization of product knowledge [8,4,26] electronic commerce [32] geographic information systems [12] legal information systems 2 , biological information systems 3 . I shall use the generic term ....

Gruninger, M. and Fox, M. S. 1995. The Logic of Enterprise Modelling. In J. Brown and D. O' Sullivan (eds.), Reengineering the Enterprise. Chapman and Hall.


A Framework for Understanding and Classifying Ontology.. - Jasper, Uschold (1999)   (31 citations)  (Correct)

....of various relationships such as part of, or similar subject matter. Close inspection of the implicit taxonomy of Yahoo reveals that there is no consistent specific meaning of the relationship. At the other extreme, are rigorously formal and carefully axiomatized ontologies such as TOVE (Gruninger Fox, 1995) and PIF (Lee et al. 1995) The meaning captured in an ontology varies both in the amount being represented and the degree of formality of the representation. The amount of meaning (an attribute of the ontology itself) is directly related to restricting the possible interpretations which serves ....

Gruninger, M. & Fox, M. (1995). The logic of enterprise modelling. In Brown, J. & O'Sullivan, D., (Eds.), Reengineering the Enterprise, pages 83--98. Chapman and Hall.


The Enterprise Ontology - Uschold, King, Moralee, Zorgios (1995)   (27 citations)  (Correct)

....was inspired and influenced by many other projects and e#orts, too numerous to mention. The main influences are listed below, together with references: TOVE: TOronto Virtual Enterprise project, University of Toronto, especially the activity and resource components of the TOVE enterprise ontology. [7]. O Plan: Planning and Scheduling group, AIAI, the plan representations used influenced the activity component of the Enterprise Ontology. 16, 17, 3] ARPA Rome Laboratory Planning and Scheduling Initiative: Knowledge Representation Specification Language (KRSL) 13] was consulted for the time ....

M. Gruninger and M.S. Fox. The logic of enterprise modelling. In J. Brown and D. O'Sullivan, editors, Reengineering the Enterprise, pages 83--98. Chapman and Hall, 1995.


Building Ontologies: Towards a Unified Methodology - Uschold (1996)   (17 citations)  (Correct)

....ffl semi formal: expressed in an artificial formally defined language, e.g. the Ontolingua version of the Enterprise Ontology 1 ; ffl rigorously formal: meticulously defined terms with formal semantics, theorems and proofs of such properties as soundness and completeness. e.g. TOVE [7]. The best method for building an ontology will depend on the degree of formality required, which in turn depends a great deal on the intended purpose of the ontology. 2.2.2 Purpose The literature is currently rich with descriptions of ontologies and their intended purposes. At a high level, ....

M. Gruninger and M.S. Fox. The logic of enterprise modelling. In J. Brown and D. O'Sullivan, editors, Reengineering the Enterprise, pages 83--98. Chapman and Hall, 1995.


A Framework for Understanding and Classifying Ontology.. - Uschold, Jasper (1999)   (31 citations)  (Correct)

....of various relationships such as part of, or similar subject matter. Close inspection of the implicit taxonoomy of Yahoo reveals that there is no consistent specific meaning of the relationship. At the other extreme, are rigorously formal and carefully axiomatized ontologies such as TOVE [4] and PIF [7] The meaning captured in an ontology varies both in the amount being represented and the degree of formality of the representation. The amount of meaning (an attribute of the ontology itself) is directly related to restricting the possible interpretations which serves the primary ....

....Coalition [9] semi formal: expressed in an artificial formally defined language; e.g. the Ontolingua version of the Enterprise Ontology 4 ; rigorously formal: meticulously defined terms with formal semantics, theorems and proofs of such properties as soundness and completeness. e.g. TOVE [4]. Using a formal language may reduce ambiguity, but only if there are sufficient axioms otherwise it may be as or more ambiguous than a detailed carefully crafted set of definitions in natural language. For human communication purposes, informal specification of meaning may be preferred. Low ....

M. Gruninger and M.S. Fox. The logic of enterprise modelling. In J. Brown and D. O'Sullivan, editors, Reengineering the Enterprise, pages 83--98. Chapman and Hall, 1995.


Automating Partner Selection for a Virtual Organisation - Huang Biqing Tomasz (1999)   (1 citation)  (Correct)

....of the lasting interest and value. We seek to understand those problems independently from the technology used today, which is one of the reasons we chose to present the model for a virtual organisation formally; the need for a more formal treatment of enterprise models have been observed before [16, 7]. Another reason is the need for abstraction. This work extends the model for a virtual manufacturing organisation in [10] and its semantics in [11] This paper presents work in progress. There are several directions we plan to continue our study. We plan to further develop the model of services, ....

M. Gruninger and M.S. Fox. The Logic of Enterprise Modelling. In Modelling and Methodologies for Enterprise Integration, pages 140--157, 1996.


Ontologies: Principles, Methods and Applications - Uschold, Grüninger (1996)   (33 citations)  (Correct)

....that domain. In this sense, CYC is not a monolithic integrated ontology; rather, it is a network of microtheories for a set of domains whose union covers the different ontological commitments that can be made within those domains. 7.3. 2 TOVE The goal of the TOVE (TOronto Virtual Enterprise) [11] project is to create an enterprise ontology that has the following characteristics: 1) provides a shared terminology for the enterprise that every application can jointly understand and use, 2) defines the meaning (semantics) of each term in a precise and as unambiguous manner as possible using ....

M. Gruninger and M.S. Fox. The logic of enterprise modelling. In J. Brown and D. O'Sullivan, editors, Reengineering the Enterprise, pages 83--98. Chapman and Hall, 1995.


Converting an Informal Ontology into Ontolingua: Some Experiences - Uschold (1996)   (3 citations)  (Correct)

....to its formal encoding in Ontolingua as the Code. Our experiences of developing the Specification are described in detail in [6, 7] Also described in [7] is a more formal approach to developing ontologies based on the idea of competency questions; this was developed as part of the TOVE project [1, 2]. One objective of this paper is to facilitate the comparison and eventual merging of this [Enterprise] approach with the competency question [TOVE] approach. This, in turn, should enable further steps to be taken towards the development of a comprehensive and cohesive methodology for building ....

M. Gruninger and M.S. Fox. The logic of enterprise modelling. In J. Brown and D. O'Sullivan, editors, Reengineering the Enterprise, pages 83--98. Chapman and Hall, 1995.


Ontologies Supporting Cooperations In Mass Customization - A .. - Pawlaszczyk, al. (2004)   (Correct)

No context found.

Gruninger, M.; Fox, M.S. (1996), The Logic of Enterprise Modelling, Modelling and Methodologies for Enterprise Integration. Bernus, P.; Nemes , L. (Eds.), Cornwall, Great Britain: Chapman and Hall.


An Approach to the Definition of a Core Enterprise.. - Bertolazzi Krusich.. (2001)   (Correct)

No context found.

Gruninger, M., and Fox, M.S., "The Logic of Enterprise Modelling", Modelling and Methodologies for Enterprise Integration, P. Bernus & L. Nemes (Eds.), Cornwall, Great Britain: Chapman and Hall, 1996.

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