Borgo, S., Guarino, N., and Masolo, C., "An Ontological Theory of Physical Objects," in L. Ironi (ed.), Proceedings of the Eleventh International Workshop on Qualitative Reasoning, Cortona (Italy), 1997, 223-231.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... on the Ontolingua server and from ITBM CNR, John Sowa s upper level ontology [19] Russell and Norvig s upper level ontology [15] James Allen s temporal axioms [1] Casati and Varzi s formal theory of holes [4] Barry Smith s ontology of boundaries [17, 18] Nicola Guarino s formal mereotopology [2,3], and various formal representations of plans and processes including CPR [13] and PSL [16] After all of the relevant content was identified and linked to the SUO web site (http: suo.ieee.org refs.html) it was translated into SUO KIF. After the translation of the ontological content (known as ....

Borgo, S., Guarino, N., and Masolo, C. (1997) "An Ontological Theory of Physical Objects," in L. Ironi (ed.), Proceedings of Eleventh International Workshop on Qualitative Reasoning (QR'97), Cortona (Italia), 3-6 Giugno, 223-231.

....and topology, conversely, allow other kinds of equivalence relations. These relations are weaker than the identity, namely the equivalence classes they induce are larger than singletons. The simplest weakening we can define is the congruence relation. Even though, the relation has been studied (Borgo, Guarino, Masolo, 1996, 1997; Cristani, 1997; Mutinelli, 1998) the complexity of reasoning in subalgebras has not yet been deeply investigated. The reason to introduce this new relation, and to provide an algebraic structure to host relations based on it (in particular relations in which we compare regions, which, even if ....

Borgo, S., Guarino, N., & Masolo, C. (1997). An Ontological Theory of Physical Objects. In Ironi, L. (Ed.), Proceedings of Eleventh International Workshop on Qualitative Reasoning (QR 1997), pp. 223--231 Cortona, Italy.

....the past, it is now gaining a specific role in Artificial Intelligence, Computational Linguistics, and Database Theory. In particular, its importance is being recognized in research fields as diverse as knowledge engineering [20,45,15,18] knowledge representation [23,2,42] qualitative modelling [19,9,13], language engineering [31,5] database design [11,47] information 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 ....

Borgo, S., Guarino, N., and Masolo, C. 1997. An Ontological Theory of Physical Objects. In Proceedings of Qualitative Reasoning 11th International Workshop. Cortona, Italy, IAN-CNR, Pavia: 223-231.

....is reported in Fig. 1. All these categories are assumed as primitive sortal categories. I give in the following an informal account of their properties, and the relationships among them. A preliminary formal account, limited to the case of space, matter, and physical continuants, appears in [Borgo et al. 1997]. Just to visualize the perspective I have in mind, suppose to have a workshop for the production of plasticine artifacts: you have a lump of plasticine on one side, a clean table where to put your artifacts, a side desk with colors and a clock in front of you. We are interested in modelling a ....

Borgo, S., Guarino, N., and Masolo, C. 1997. An Ontological Theory of Physical Objects. In Proceedings of Qualitative Reasoning 11th International Workshop. Cortona, Italy, IANCNR, Pavia: 223-231.

....identity is lost. In this level only very peculiar objects are defined, namely configurations of atoms in the case of continuants and situations (i.e. occurrences of configurations) in the case of occurrents. Such objects may play a crucial role in a formal axiomatization (see for instance (Borgo, Guarino Masolo, 1997), since they avoid the introduction of modal framework. At the mereological level, the IC is extensional: two entities are the same if and only if they have the same parts (mereological essentialism) Regions of space, temporal intervals and amounts of matter belong to this level. The entities ....

Borgo, S., Guarino, N., and Masolo, C. 1997. An Ontological Theory of Physical Objects. In Proceedings of Qualitative Reasoning 11th International Workshop.

....and the relationships among them. A preliminary formal account, limited to the case of space, matter, and physical continuants, appears in Summer School on Information Extraction, Frascati, July 14 19, Frascati, Italy. To appear in a volume edited by M. T. Pazienza, published by Springer Verlag. [Borgo and Guarino 1997]. Just to visualize the perspective I have in mind, suppose to have a workshop for the production of plasticine artifacts: you have a lump of plasticine on one side, a clean table where to put your artifacts, a side desk with colors and a clock in front of you. We are interested in modelling a ....

.... information retrieval, I would like to conclude this paper reporting about OntoSeek, a general purpose tool for ontology based information retrieval being developed by CORINTO 7 with the cooperation of LADSEBCNR, as part of a project on retrieval and reuse of object oriented software components [Borgo et al. 1997]. One of the key choices of this project has been avoiding the construction of an ontology from scratch, relying instead on a large ontology built for purposes of natural language translation. The ontology chosen, SENSUS [Knight and Luk 1994] is the result of many years of effort, and amounts to a ....

[Article contains additional citation context not shown here]

Borgo, S. and Guarino, N. 1997. An Ontological Theory of Physical Objects. In Proceedings of 1997 Workshop on Qualitative Reasoning (QR 97). Cortona, Italy.

No context found.

Borgo, S., Guarino, N., and Masolo, C., "An Ontological Theory of Physical Objects," in L. Ironi (ed.), Proceedings of the Eleventh International Workshop on Qualitative Reasoning, Cortona (Italy), 1997, 223-231.

No context found.

BORGO, S., GUARINO, N., AND MASOLO, C. An ontological theory of physical objects. In Proceedings of Eleventh International Workshop on Qualitative Reasoning (QR'97) (Cortona, Italy, 1997), L. Ironi, Ed., pp. 223--231. http://www.ladseb.pd.cnr.it/infor/Ontology/Papers/QR97.pdf.

No context found.

Borgo S., Guarino N., and Masolo C. (1997) "An Ontological Theory of Physical Objects," in L. Ironi (ed.), Proceedings of Eleventh International Workshop on Qualitative Reasoning (QR'97), Cortona (Italia), 3-6 Giugno, 223-231.

No context found.

Borgo S., Guarino N., and Masolo C. (1997) "An Ontological Theory of Physical Objects," in L. Ironi (ed.), Proceedings of Eleventh International Workshop on Qualitative Reasoning (QR'97), Cortona (Italia), 3-6 Giugno, 223-231.

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