Document (#13858)

Author

Bonfatti, F.
Pazzi, L.

Title

Ontological foundations for state and identity within the object-oriented paradigm

Source

International journal of human-computer studies. 43(1995) nos.5/6, S.891-906

Year

1995

Abstract

Presents the resutls of current research aimed at searching for the fiundation of the object oriented paradigm with formal ontology methods. Proposes an ontological foundation for the concept of object state and identity, showing formally the equivalence with the infinite properties which are inherent in the cognition of real world distinct entities

Similar documents (content)

1. Vlachidis, A.; Binding, C.; Tudhope, D.; May, K.: Excavating grey literature : a case study on the rich indexing of archaeological documents via natural language-processing techniques and knowledge-based resources (2010) 0.17

   0.1740816 = sum of:
     0.1740816 = product of:
       0.544005 = sum of:
         0.014861335 = weight(abstract_txt:with in 3948) [ClassicSimilarity], result of:
           0.014861335 = score(doc=3948,freq=4.0), product of:
             0.047561344 = queryWeight, product of:
               1.1281767 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.01686488 = queryNorm
             0.31246668 = fieldWeight in 3948, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.0625 = fieldNorm(doc=3948)
         0.03554489 = weight(abstract_txt:proposes in 3948) [ClassicSimilarity], result of:
           0.03554489 = score(doc=3948,freq=1.0), product of:
             0.10717093 = queryWeight, product of:
               1.1974946 = boost
               5.3066463 = idf(docFreq=595, maxDocs=44218)
               0.01686488 = queryNorm
             0.3316654 = fieldWeight in 3948, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3066463 = idf(docFreq=595, maxDocs=44218)
               0.0625 = fieldNorm(doc=3948)
         0.03998384 = weight(abstract_txt:formal in 3948) [ClassicSimilarity], result of:
           0.03998384 = score(doc=3948,freq=1.0), product of:
             0.11591738 = queryWeight, product of:
               1.2454014 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.01686488 = queryNorm
             0.34493396 = fieldWeight in 3948, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.0625 = fieldNorm(doc=3948)
         0.056931578 = weight(abstract_txt:ontology in 3948) [ClassicSimilarity], result of:
           0.056931578 = score(doc=3948,freq=2.0), product of:
             0.116444156 = queryWeight, product of:
               1.248228 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.01686488 = queryNorm
             0.48891744 = fieldWeight in 3948, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.0625 = fieldNorm(doc=3948)
         0.048571877 = weight(abstract_txt:properties in 3948) [ClassicSimilarity], result of:
           0.048571877 = score(doc=3948,freq=1.0), product of:
             0.1319721 = queryWeight, product of:
               1.3288505 = boost
               5.888745 = idf(docFreq=332, maxDocs=44218)
               0.01686488 = queryNorm
             0.36804655 = fieldWeight in 3948, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.888745 = idf(docFreq=332, maxDocs=44218)
               0.0625 = fieldNorm(doc=3948)
         0.08328956 = weight(abstract_txt:oriented in 3948) [ClassicSimilarity], result of:
           0.08328956 = score(doc=3948,freq=1.0), product of:
             0.23821144 = queryWeight, product of:
               2.5248256 = boost
               5.5943284 = idf(docFreq=446, maxDocs=44218)
               0.01686488 = queryNorm
             0.34964553 = fieldWeight in 3948, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5943284 = idf(docFreq=446, maxDocs=44218)
               0.0625 = fieldNorm(doc=3948)
         0.13582951 = weight(abstract_txt:ontological in 3948) [ClassicSimilarity], result of:
           0.13582951 = score(doc=3948,freq=1.0), product of:
             0.3300388 = queryWeight, product of:
               2.9718888 = boost
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.01686488 = queryNorm
             0.4115562 = fieldWeight in 3948, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.0625 = fieldNorm(doc=3948)
         0.12899236 = weight(abstract_txt:object in 3948) [ClassicSimilarity], result of:
           0.12899236 = score(doc=3948,freq=1.0), product of:
             0.36501324 = queryWeight, product of:
               3.8278067 = boost
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.01686488 = queryNorm
             0.3533909 = fieldWeight in 3948, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.0625 = fieldNorm(doc=3948)
       0.32 = coord(8/25)
   

2. Maurer, H.: Object-oriented modelling of hyperstructure : overcoming the static link deficiency (1994) 0.14

   0.1404304 = sum of:
     0.1404304 = product of:
       0.8776901 = sum of:
         0.02719215 = weight(abstract_txt:concept in 764) [ClassicSimilarity], result of:
           0.02719215 = score(doc=764,freq=1.0), product of:
             0.07725286 = queryWeight, product of:
               1.0166988 = boost
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.01686488 = queryNorm
             0.3519889 = fieldWeight in 764, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.078125 = fieldNorm(doc=764)
         0.20822391 = weight(abstract_txt:oriented in 764) [ClassicSimilarity], result of:
           0.20822391 = score(doc=764,freq=4.0), product of:
             0.23821144 = queryWeight, product of:
               2.5248256 = boost
               5.5943284 = idf(docFreq=446, maxDocs=44218)
               0.01686488 = queryNorm
             0.8741138 = fieldWeight in 764, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5943284 = idf(docFreq=446, maxDocs=44218)
               0.078125 = fieldNorm(doc=764)
         0.2817294 = weight(abstract_txt:paradigm in 764) [ClassicSimilarity], result of:
           0.2817294 = score(doc=764,freq=4.0), product of:
             0.291405 = queryWeight, product of:
               2.7925346 = boost
               6.187499 = idf(docFreq=246, maxDocs=44218)
               0.01686488 = queryNorm
             0.96679676 = fieldWeight in 764, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.187499 = idf(docFreq=246, maxDocs=44218)
               0.078125 = fieldNorm(doc=764)
         0.3605446 = weight(abstract_txt:object in 764) [ClassicSimilarity], result of:
           0.3605446 = score(doc=764,freq=5.0), product of:
             0.36501324 = queryWeight, product of:
               3.8278067 = boost
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.01686488 = queryNorm
             0.98775756 = fieldWeight in 764, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.078125 = fieldNorm(doc=764)
       0.16 = coord(4/25)
   

3. Bateman, J.A.: On the relationship between ontology construction and natural language : a socio-semiotic view (1995) 0.14

   0.13793695 = sum of:
     0.13793695 = product of:
       0.68968475 = sum of:
         0.018389964 = weight(abstract_txt:with in 4785) [ClassicSimilarity], result of:
           0.018389964 = score(doc=4785,freq=2.0), product of:
             0.047561344 = queryWeight, product of:
               1.1281767 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.01686488 = queryNorm
             0.3866578 = fieldWeight in 4785, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.109375 = fieldNorm(doc=4785)
         0.09895495 = weight(abstract_txt:formal in 4785) [ClassicSimilarity], result of:
           0.09895495 = score(doc=4785,freq=2.0), product of:
             0.11591738 = queryWeight, product of:
               1.2454014 = boost
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.01686488 = queryNorm
             0.853668 = fieldWeight in 4785, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5189433 = idf(docFreq=481, maxDocs=44218)
               0.109375 = fieldNorm(doc=4785)
         0.14089847 = weight(abstract_txt:ontology in 4785) [ClassicSimilarity], result of:
           0.14089847 = score(doc=4785,freq=4.0), product of:
             0.116444156 = queryWeight, product of:
               1.248228 = boost
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.01686488 = queryNorm
             1.2100089 = fieldWeight in 4785, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5314693 = idf(docFreq=475, maxDocs=44218)
               0.109375 = fieldNorm(doc=4785)
         0.09528043 = weight(abstract_txt:distinct in 4785) [ClassicSimilarity], result of:
           0.09528043 = score(doc=4785,freq=1.0), product of:
             0.14240852 = queryWeight, product of:
               1.380394 = boost
               6.1171575 = idf(docFreq=264, maxDocs=44218)
               0.01686488 = queryNorm
             0.6690641 = fieldWeight in 4785, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1171575 = idf(docFreq=264, maxDocs=44218)
               0.109375 = fieldNorm(doc=4785)
         0.3361609 = weight(abstract_txt:ontological in 4785) [ClassicSimilarity], result of:
           0.3361609 = score(doc=4785,freq=2.0), product of:
             0.3300388 = queryWeight, product of:
               2.9718888 = boost
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.01686488 = queryNorm
             1.0185497 = fieldWeight in 4785, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.109375 = fieldNorm(doc=4785)
       0.2 = coord(5/25)
   

4. Allison, A.; Currall, J.; Moss, M.; Stuart, S.: Digital identity matters (2005) 0.14

   0.13575816 = sum of:
     0.13575816 = product of:
       0.56565905 = sum of:
         0.020699339 = weight(abstract_txt:world in 3327) [ClassicSimilarity], result of:
           0.020699339 = score(doc=3327,freq=1.0), product of:
             0.07473601 = queryWeight, product of:
               4.4314575 = idf(docFreq=1429, maxDocs=44218)
               0.01686488 = queryNorm
             0.2769661 = fieldWeight in 3327, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4314575 = idf(docFreq=1429, maxDocs=44218)
               0.0625 = fieldNorm(doc=3327)
         0.012870293 = weight(abstract_txt:with in 3327) [ClassicSimilarity], result of:
           0.012870293 = score(doc=3327,freq=3.0), product of:
             0.047561344 = queryWeight, product of:
               1.1281767 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.01686488 = queryNorm
             0.27060407 = fieldWeight in 3327, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.0625 = fieldNorm(doc=3327)
         0.066767454 = weight(abstract_txt:entities in 3327) [ClassicSimilarity], result of:
           0.066767454 = score(doc=3327,freq=2.0), product of:
             0.12949672 = queryWeight, product of:
               1.316329 = boost
               5.8332562 = idf(docFreq=351, maxDocs=44218)
               0.01686488 = queryNorm
             0.51559186 = fieldWeight in 3327, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.8332562 = idf(docFreq=351, maxDocs=44218)
               0.0625 = fieldNorm(doc=3327)
         0.13582951 = weight(abstract_txt:ontological in 3327) [ClassicSimilarity], result of:
           0.13582951 = score(doc=3327,freq=1.0), product of:
             0.3300388 = queryWeight, product of:
               2.9718888 = boost
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.01686488 = queryNorm
             0.4115562 = fieldWeight in 3327, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.0625 = fieldNorm(doc=3327)
         0.20050006 = weight(abstract_txt:identity in 3327) [ClassicSimilarity], result of:
           0.20050006 = score(doc=3327,freq=2.0), product of:
             0.33960068 = queryWeight, product of:
               3.0146322 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.01686488 = queryNorm
             0.59039944 = fieldWeight in 3327, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0625 = fieldNorm(doc=3327)
         0.12899236 = weight(abstract_txt:object in 3327) [ClassicSimilarity], result of:
           0.12899236 = score(doc=3327,freq=1.0), product of:
             0.36501324 = queryWeight, product of:
               3.8278067 = boost
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.01686488 = queryNorm
             0.3533909 = fieldWeight in 3327, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.0625 = fieldNorm(doc=3327)
       0.24 = coord(6/25)
   

5. Gerstenkorn, A.: Entities and quiddities : about ontological and epistemological conceptualization for knowledge organization (2010) 0.13

   0.12907311 = sum of:
     0.12907311 = product of:
       0.4609754 = sum of:
         0.020699339 = weight(abstract_txt:world in 3511) [ClassicSimilarity], result of:
           0.020699339 = score(doc=3511,freq=1.0), product of:
             0.07473601 = queryWeight, product of:
               4.4314575 = idf(docFreq=1429, maxDocs=44218)
               0.01686488 = queryNorm
             0.2769661 = fieldWeight in 3511, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.4314575 = idf(docFreq=1429, maxDocs=44218)
               0.0625 = fieldNorm(doc=3511)
         0.037678543 = weight(abstract_txt:concept in 3511) [ClassicSimilarity], result of:
           0.037678543 = score(doc=3511,freq=3.0), product of:
             0.07725286 = queryWeight, product of:
               1.0166988 = boost
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.01686488 = queryNorm
             0.48773012 = fieldWeight in 3511, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.505458 = idf(docFreq=1327, maxDocs=44218)
               0.0625 = fieldNorm(doc=3511)
         0.0074306675 = weight(abstract_txt:with in 3511) [ClassicSimilarity], result of:
           0.0074306675 = score(doc=3511,freq=1.0), product of:
             0.047561344 = queryWeight, product of:
               1.1281767 = boost
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.01686488 = queryNorm
             0.15623334 = fieldWeight in 3511, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4997334 = idf(docFreq=9868, maxDocs=44218)
               0.0625 = fieldNorm(doc=3511)
         0.081773095 = weight(abstract_txt:entities in 3511) [ClassicSimilarity], result of:
           0.081773095 = score(doc=3511,freq=3.0), product of:
             0.12949672 = queryWeight, product of:
               1.316329 = boost
               5.8332562 = idf(docFreq=351, maxDocs=44218)
               0.01686488 = queryNorm
             0.6314685 = fieldWeight in 3511, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.8332562 = idf(docFreq=351, maxDocs=44218)
               0.0625 = fieldNorm(doc=3511)
         0.048571877 = weight(abstract_txt:properties in 3511) [ClassicSimilarity], result of:
           0.048571877 = score(doc=3511,freq=1.0), product of:
             0.1319721 = queryWeight, product of:
               1.3288505 = boost
               5.888745 = idf(docFreq=332, maxDocs=44218)
               0.01686488 = queryNorm
             0.36804655 = fieldWeight in 3511, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.888745 = idf(docFreq=332, maxDocs=44218)
               0.0625 = fieldNorm(doc=3511)
         0.13582951 = weight(abstract_txt:ontological in 3511) [ClassicSimilarity], result of:
           0.13582951 = score(doc=3511,freq=1.0), product of:
             0.3300388 = queryWeight, product of:
               2.9718888 = boost
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.01686488 = queryNorm
             0.4115562 = fieldWeight in 3511, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5848994 = idf(docFreq=165, maxDocs=44218)
               0.0625 = fieldNorm(doc=3511)
         0.12899236 = weight(abstract_txt:object in 3511) [ClassicSimilarity], result of:
           0.12899236 = score(doc=3511,freq=1.0), product of:
             0.36501324 = queryWeight, product of:
               3.8278067 = boost
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.01686488 = queryNorm
             0.3533909 = fieldWeight in 3511, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6542544 = idf(docFreq=420, maxDocs=44218)
               0.0625 = fieldNorm(doc=3511)
       0.28 = coord(7/25)