Document (#13857)

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.1739627 = sum of:
     0.1739627 = product of:
       0.54363346 = sum of:
         0.014815662 = weight(abstract_txt:with in 935) [ClassicSimilarity], result of:
           0.014815662 = score(doc=935,freq=4.0), product of:
             0.047483437 = queryWeight, product of:
               1.1276921 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.016868742 = queryNorm
             0.31201747 = fieldWeight in 935, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.0625 = fieldNorm(doc=935)
         0.035479654 = weight(abstract_txt:proposes in 935) [ClassicSimilarity], result of:
           0.035479654 = score(doc=935,freq=1.0), product of:
             0.10708394 = queryWeight, product of:
               1.1974756 = boost
               5.30121 = idf(docFreq=601, maxDocs=44421)
               0.016868742 = queryNorm
             0.33132562 = fieldWeight in 935, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.30121 = idf(docFreq=601, maxDocs=44421)
               0.0625 = fieldNorm(doc=935)
         0.040087968 = weight(abstract_txt:formal in 935) [ClassicSimilarity], result of:
           0.040087968 = score(doc=935,freq=1.0), product of:
             0.11616647 = queryWeight, product of:
               1.2472252 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.016868742 = queryNorm
             0.3450907 = fieldWeight in 935, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.0625 = fieldNorm(doc=935)
         0.056756806 = weight(abstract_txt:ontology in 935) [ClassicSimilarity], result of:
           0.056756806 = score(doc=935,freq=2.0), product of:
             0.11625369 = queryWeight, product of:
               1.2476933 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.016868742 = queryNorm
             0.4882151 = fieldWeight in 935, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.0625 = fieldNorm(doc=935)
         0.04837674 = weight(abstract_txt:properties in 935) [ClassicSimilarity], result of:
           0.04837674 = score(doc=935,freq=1.0), product of:
             0.13167273 = queryWeight, product of:
               1.3278604 = boost
               5.878422 = idf(docFreq=337, maxDocs=44421)
               0.016868742 = queryNorm
             0.36740136 = fieldWeight in 935, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.878422 = idf(docFreq=337, maxDocs=44421)
               0.0625 = fieldNorm(doc=935)
         0.082903646 = weight(abstract_txt:oriented in 935) [ClassicSimilarity], result of:
           0.082903646 = score(doc=935,freq=1.0), product of:
             0.23757306 = queryWeight, product of:
               2.5224237 = boost
               5.58337 = idf(docFreq=453, maxDocs=44421)
               0.016868742 = queryNorm
             0.34896064 = fieldWeight in 935, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.58337 = idf(docFreq=453, maxDocs=44421)
               0.0625 = fieldNorm(doc=935)
         0.13590945 = weight(abstract_txt:ontological in 935) [ClassicSimilarity], result of:
           0.13590945 = score(doc=935,freq=1.0), product of:
             0.33030453 = queryWeight, product of:
               2.974245 = boost
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.016868742 = queryNorm
             0.4114671 = fieldWeight in 935, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.0625 = fieldNorm(doc=935)
         0.1293035 = weight(abstract_txt:object in 935) [ClassicSimilarity], result of:
           0.1293035 = score(doc=935,freq=1.0), product of:
             0.36575088 = queryWeight, product of:
               3.8331676 = boost
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.016868742 = queryNorm
             0.3535289 = fieldWeight in 935, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.0625 = fieldNorm(doc=935)
       0.32 = coord(8/25)
   

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

   0.14013699 = sum of:
     0.14013699 = product of:
       0.87585616 = sum of:
         0.02721357 = weight(abstract_txt:concept in 832) [ClassicSimilarity], result of:
           0.02721357 = score(doc=832,freq=1.0), product of:
             0.07732533 = queryWeight, product of:
               1.0175725 = boost
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.016868742 = queryNorm
             0.35193604 = fieldWeight in 832, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.078125 = fieldNorm(doc=832)
         0.20725912 = weight(abstract_txt:oriented in 832) [ClassicSimilarity], result of:
           0.20725912 = score(doc=832,freq=4.0), product of:
             0.23757306 = queryWeight, product of:
               2.5224237 = boost
               5.58337 = idf(docFreq=453, maxDocs=44421)
               0.016868742 = queryNorm
             0.8724016 = fieldWeight in 832, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.58337 = idf(docFreq=453, maxDocs=44421)
               0.078125 = fieldNorm(doc=832)
         0.27996922 = weight(abstract_txt:paradigm in 832) [ClassicSimilarity], result of:
           0.27996922 = score(doc=832,freq=4.0), product of:
             0.29030976 = queryWeight, product of:
               2.7883692 = boost
               6.1720386 = idf(docFreq=251, maxDocs=44421)
               0.016868742 = queryNorm
             0.96438104 = fieldWeight in 832, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.1720386 = idf(docFreq=251, maxDocs=44421)
               0.078125 = fieldNorm(doc=832)
         0.36141428 = weight(abstract_txt:object in 832) [ClassicSimilarity], result of:
           0.36141428 = score(doc=832,freq=5.0), product of:
             0.36575088 = queryWeight, product of:
               3.8331676 = boost
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.016868742 = queryNorm
             0.9881433 = fieldWeight in 832, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.078125 = fieldNorm(doc=832)
       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.13782209 = sum of:
     0.13782209 = product of:
       0.68911046 = sum of:
         0.018333444 = weight(abstract_txt:with in 4853) [ClassicSimilarity], result of:
           0.018333444 = score(doc=4853,freq=2.0), product of:
             0.047483437 = queryWeight, product of:
               1.1276921 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.016868742 = queryNorm
             0.3861019 = fieldWeight in 4853, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.109375 = fieldNorm(doc=4853)
         0.09921266 = weight(abstract_txt:formal in 4853) [ClassicSimilarity], result of:
           0.09921266 = score(doc=4853,freq=2.0), product of:
             0.11616647 = queryWeight, product of:
               1.2472252 = boost
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.016868742 = queryNorm
             0.8540559 = fieldWeight in 4853, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.521451 = idf(docFreq=482, maxDocs=44421)
               0.109375 = fieldNorm(doc=4853)
         0.14046593 = weight(abstract_txt:ontology in 4853) [ClassicSimilarity], result of:
           0.14046593 = score(doc=4853,freq=4.0), product of:
             0.11625369 = queryWeight, product of:
               1.2476933 = boost
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.016868742 = queryNorm
             1.2082708 = fieldWeight in 4853, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               5.5235233 = idf(docFreq=481, maxDocs=44421)
               0.109375 = fieldNorm(doc=4853)
         0.09473974 = weight(abstract_txt:distinct in 4853) [ClassicSimilarity], result of:
           0.09473974 = score(doc=4853,freq=1.0), product of:
             0.14192782 = queryWeight, product of:
               1.3785999 = boost
               6.1030455 = idf(docFreq=269, maxDocs=44421)
               0.016868742 = queryNorm
             0.6675206 = fieldWeight in 4853, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1030455 = idf(docFreq=269, maxDocs=44421)
               0.109375 = fieldNorm(doc=4853)
         0.3363587 = weight(abstract_txt:ontological in 4853) [ClassicSimilarity], result of:
           0.3363587 = score(doc=4853,freq=2.0), product of:
             0.33030453 = queryWeight, product of:
               2.974245 = boost
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.016868742 = queryNorm
             1.018329 = fieldWeight in 4853, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.109375 = fieldNorm(doc=4853)
       0.2 = coord(5/25)
   

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

   0.13586044 = sum of:
     0.13586044 = product of:
       0.5660852 = sum of:
         0.020662336 = weight(abstract_txt:world in 4327) [ClassicSimilarity], result of:
           0.020662336 = score(doc=4327,freq=1.0), product of:
             0.07467772 = queryWeight, product of:
               4.426988 = idf(docFreq=1442, maxDocs=44421)
               0.016868742 = queryNorm
             0.27668676 = fieldWeight in 4327, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.426988 = idf(docFreq=1442, maxDocs=44421)
               0.0625 = fieldNorm(doc=4327)
         0.01283074 = weight(abstract_txt:with in 4327) [ClassicSimilarity], result of:
           0.01283074 = score(doc=4327,freq=3.0), product of:
             0.047483437 = queryWeight, product of:
               1.1276921 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.016868742 = queryNorm
             0.27021506 = fieldWeight in 4327, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.0625 = fieldNorm(doc=4327)
         0.06681285 = weight(abstract_txt:entities in 4327) [ClassicSimilarity], result of:
           0.06681285 = score(doc=4327,freq=2.0), product of:
             0.12960888 = queryWeight, product of:
               1.3174127 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.016868742 = queryNorm
             0.5154959 = fieldWeight in 4327, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.0625 = fieldNorm(doc=4327)
         0.13590945 = weight(abstract_txt:ontological in 4327) [ClassicSimilarity], result of:
           0.13590945 = score(doc=4327,freq=1.0), product of:
             0.33030453 = queryWeight, product of:
               2.974245 = boost
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.016868742 = queryNorm
             0.4114671 = fieldWeight in 4327, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.0625 = fieldNorm(doc=4327)
         0.20056632 = weight(abstract_txt:identity in 4327) [ClassicSimilarity], result of:
           0.20056632 = score(doc=4327,freq=2.0), product of:
             0.3398157 = queryWeight, product of:
               3.016763 = boost
               6.677587 = idf(docFreq=151, maxDocs=44421)
               0.016868742 = queryNorm
             0.59022087 = fieldWeight in 4327, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.677587 = idf(docFreq=151, maxDocs=44421)
               0.0625 = fieldNorm(doc=4327)
         0.1293035 = weight(abstract_txt:object in 4327) [ClassicSimilarity], result of:
           0.1293035 = score(doc=4327,freq=1.0), product of:
             0.36575088 = queryWeight, product of:
               3.8331676 = boost
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.016868742 = queryNorm
             0.3535289 = fieldWeight in 4327, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.0625 = fieldNorm(doc=4327)
       0.24 = coord(6/25)
   

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

   0.1291351 = sum of:
     0.1291351 = product of:
       0.46119678 = sum of:
         0.020662336 = weight(abstract_txt:world in 498) [ClassicSimilarity], result of:
           0.020662336 = score(doc=498,freq=1.0), product of:
             0.07467772 = queryWeight, product of:
               4.426988 = idf(docFreq=1442, maxDocs=44421)
               0.016868742 = queryNorm
             0.27668676 = fieldWeight in 498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.426988 = idf(docFreq=1442, maxDocs=44421)
               0.0625 = fieldNorm(doc=498)
         0.037708227 = weight(abstract_txt:concept in 498) [ClassicSimilarity], result of:
           0.037708227 = score(doc=498,freq=3.0), product of:
             0.07732533 = queryWeight, product of:
               1.0175725 = boost
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.016868742 = queryNorm
             0.48765686 = fieldWeight in 498, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.5047812 = idf(docFreq=1334, maxDocs=44421)
               0.0625 = fieldNorm(doc=498)
         0.007407831 = weight(abstract_txt:with in 498) [ClassicSimilarity], result of:
           0.007407831 = score(doc=498,freq=1.0), product of:
             0.047483437 = queryWeight, product of:
               1.1276921 = boost
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.016868742 = queryNorm
             0.15600874 = fieldWeight in 498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4961398 = idf(docFreq=9949, maxDocs=44421)
               0.0625 = fieldNorm(doc=498)
         0.08182869 = weight(abstract_txt:entities in 498) [ClassicSimilarity], result of:
           0.08182869 = score(doc=498,freq=3.0), product of:
             0.12960888 = queryWeight, product of:
               1.3174127 = boost
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.016868742 = queryNorm
             0.63135093 = fieldWeight in 498, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.8321705 = idf(docFreq=353, maxDocs=44421)
               0.0625 = fieldNorm(doc=498)
         0.04837674 = weight(abstract_txt:properties in 498) [ClassicSimilarity], result of:
           0.04837674 = score(doc=498,freq=1.0), product of:
             0.13167273 = queryWeight, product of:
               1.3278604 = boost
               5.878422 = idf(docFreq=337, maxDocs=44421)
               0.016868742 = queryNorm
             0.36740136 = fieldWeight in 498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.878422 = idf(docFreq=337, maxDocs=44421)
               0.0625 = fieldNorm(doc=498)
         0.13590945 = weight(abstract_txt:ontological in 498) [ClassicSimilarity], result of:
           0.13590945 = score(doc=498,freq=1.0), product of:
             0.33030453 = queryWeight, product of:
               2.974245 = boost
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.016868742 = queryNorm
             0.4114671 = fieldWeight in 498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5834737 = idf(docFreq=166, maxDocs=44421)
               0.0625 = fieldNorm(doc=498)
         0.1293035 = weight(abstract_txt:object in 498) [ClassicSimilarity], result of:
           0.1293035 = score(doc=498,freq=1.0), product of:
             0.36575088 = queryWeight, product of:
               3.8331676 = boost
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.016868742 = queryNorm
             0.3535289 = fieldWeight in 498, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.656462 = idf(docFreq=421, maxDocs=44421)
               0.0625 = fieldNorm(doc=498)
       0.28 = coord(7/25)