Document (#36422)

Author
Nguyen, P.H.P.
Kaneiwa, K.
Nguyen, M.-Q.
Title
Ontology inferencing rules and operations in conceptual structure theory
Source
Advances in ontologies: Proceedings of the Sixth Australasian Ontology Workshop Adelaide, Australia, 7 December 2010. Eds.: K. Taylor, T.Meyer u. M.Orgun [http://krr.meraka.org.za/~aow2010/AOW2010-preproceedings.pdf]
Imprint
Adelaide : Macquarie University, Australia
Year
2010
Pages
S.61-70
Abstract
This paper describes in detail the inferencing rules and operations concerning an ontology formalism previously proposed under Conceptual Structure Theory. The ontology consists of hierarchies of concept, relation and meta-relation types, and formal relationships between them, in particular between arguments of relation and meta-relation types. Inferencing rules are described as well as operations to maintain the ontology in a semantically consistent state at all times. The main aim of the paper is to provide a blue print for the implementation of ontologies in the future Semantic Web.
Footnote
Preprint. To be published as Vol 122 in the Conferences in Research and Practice in Information Technology Series by the Australian Computer Society Inc. http://crpit.com/.
Theme
Wissensrepräsentation

Similar documents (author)

  1. Zhang, J.; Nguyen, T.: WebStar: a visualization model for hyperlink structures (2005) 4.61 
    4.6082807 = sum of:
  4.6082807 = weight(author_txt:nguyen in 2056) [ClassicSimilarity], result of:
    4.6082807 = fieldWeight in 2056, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.216561 = idf(docFreq=11, maxDocs=44421)
      0.5 = fieldNorm(doc=2056)
  2. Nguyen-Kim, M.T.: ¬Die kleinste gemeinsame Wirklichkeit : wahr, falsch, plausibel? : die größten Streitfragen wissenschaftlich geprüft (2021) 4.61 
    4.6082807 = sum of:
  4.6082807 = weight(author_txt:nguyen in 1236) [ClassicSimilarity], result of:
    4.6082807 = fieldWeight in 1236, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.216561 = idf(docFreq=11, maxDocs=44421)
      0.5 = fieldNorm(doc=1236)
  3. Nguyen, S.-H.; Chowdhury, G.: Interpreting the knowledge map of digital library research (1990-2010) (2013) 4.03 
    4.0322456 = sum of:
  4.0322456 = weight(author_txt:nguyen in 1958) [ClassicSimilarity], result of:
    4.0322456 = fieldWeight in 1958, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.216561 = idf(docFreq=11, maxDocs=44421)
      0.4375 = fieldNorm(doc=1958)
  4. Nguyen, T.-L.; Wu, X.; Sajeev, S.: Object-oriented modeling of multimedia documents (1998) 3.46 
    3.4562106 = sum of:
  3.4562106 = weight(author_txt:nguyen in 4598) [ClassicSimilarity], result of:
    3.4562106 = fieldWeight in 4598, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.216561 = idf(docFreq=11, maxDocs=44421)
      0.375 = fieldNorm(doc=4598)
  5. Yee, W.G.; Nguyen, L.T; Frieder, O.: ¬A view of the data on P2P file-sharing systems (2009) 3.46 
    3.4562106 = sum of:
  3.4562106 = weight(author_txt:nguyen in 105) [ClassicSimilarity], result of:
    3.4562106 = fieldWeight in 105, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.216561 = idf(docFreq=11, maxDocs=44421)
      0.375 = fieldNorm(doc=105)

Similar documents (content)

  1. Corby, O.; Dieng, R.; Hébért, C.: ¬A conceptual graph model for W3C resource description framework (2000) 0.14 
    0.13696814 = sum of:
  0.13696814 = product of:
    0.85605085 = sum of:
      0.0226648 = weight(abstract_txt:paper in 6086) [ClassicSimilarity], result of:
        0.0226648 = score(doc=6086,freq=1.0), product of:
          0.059862614 = queryWeight, product of:
            1.1859224 = boost
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.0145821385 = queryNorm
          0.37861362 = fieldWeight in 6086, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.109375 = fieldNorm(doc=6086)
      0.14468431 = weight(abstract_txt:formalism in 6086) [ClassicSimilarity], result of:
        0.14468431 = score(doc=6086,freq=1.0), product of:
          0.16350286 = queryWeight, product of:
            1.3858815 = boost
            8.090549 = idf(docFreq=36, maxDocs=44421)
            0.0145821385 = queryNorm
          0.88490385 = fieldWeight in 6086, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.090549 = idf(docFreq=36, maxDocs=44421)
            0.109375 = fieldNorm(doc=6086)
      0.063599795 = weight(abstract_txt:conceptual in 6086) [ClassicSimilarity], result of:
        0.063599795 = score(doc=6086,freq=1.0), product of:
          0.119094454 = queryWeight, product of:
            1.6727237 = boost
            4.8825436 = idf(docFreq=914, maxDocs=44421)
            0.0145821385 = queryNorm
          0.5340282 = fieldWeight in 6086, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.8825436 = idf(docFreq=914, maxDocs=44421)
            0.109375 = fieldNorm(doc=6086)
      0.6251019 = weight(abstract_txt:inferencing in 6086) [ClassicSimilarity], result of:
        0.6251019 = score(doc=6086,freq=1.0), product of:
          0.6255356 = queryWeight, product of:
            4.6951566 = boost
            9.1365185 = idf(docFreq=12, maxDocs=44421)
            0.0145821385 = queryNorm
          0.9993067 = fieldWeight in 6086, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.1365185 = idf(docFreq=12, maxDocs=44421)
            0.109375 = fieldNorm(doc=6086)
    0.16 = coord(4/25)
  2. Zhitomirsky-Geffet, M.; Bar-Ilan, J.: Towards maximal unification of semantically diverse ontologies for controversial domains (2014) 0.11 
    0.11384712 = sum of:
  0.11384712 = product of:
    0.47436303 = sum of:
      0.053952985 = weight(abstract_txt:semantically in 2634) [ClassicSimilarity], result of:
        0.053952985 = score(doc=2634,freq=2.0), product of:
          0.11827581 = queryWeight, product of:
            1.178722 = boost
            6.881186 = idf(docFreq=123, maxDocs=44421)
            0.0145821385 = queryNorm
          0.45616248 = fieldWeight in 2634, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.881186 = idf(docFreq=123, maxDocs=44421)
            0.046875 = fieldNorm(doc=2634)
      0.013736945 = weight(abstract_txt:paper in 2634) [ClassicSimilarity], result of:
        0.013736945 = score(doc=2634,freq=2.0), product of:
          0.059862614 = queryWeight, product of:
            1.1859224 = boost
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.0145821385 = queryNorm
          0.22947451 = fieldWeight in 2634, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.046875 = fieldNorm(doc=2634)
      0.027257055 = weight(abstract_txt:conceptual in 2634) [ClassicSimilarity], result of:
        0.027257055 = score(doc=2634,freq=1.0), product of:
          0.119094454 = queryWeight, product of:
            1.6727237 = boost
            4.8825436 = idf(docFreq=914, maxDocs=44421)
            0.0145821385 = queryNorm
          0.22886923 = fieldWeight in 2634, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.8825436 = idf(docFreq=914, maxDocs=44421)
            0.046875 = fieldNorm(doc=2634)
      0.11290738 = weight(abstract_txt:rules in 2634) [ClassicSimilarity], result of:
        0.11290738 = score(doc=2634,freq=5.0), product of:
          0.20563367 = queryWeight, product of:
            2.691976 = boost
            5.238438 = idf(docFreq=640, maxDocs=44421)
            0.0145821385 = queryNorm
          0.5490705 = fieldWeight in 2634, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            5.238438 = idf(docFreq=640, maxDocs=44421)
            0.046875 = fieldNorm(doc=2634)
      0.07318063 = weight(abstract_txt:relation in 2634) [ClassicSimilarity], result of:
        0.07318063 = score(doc=2634,freq=1.0), product of:
          0.28985426 = queryWeight, product of:
            3.6904836 = boost
            5.38611 = idf(docFreq=552, maxDocs=44421)
            0.0145821385 = queryNorm
          0.2524739 = fieldWeight in 2634, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.38611 = idf(docFreq=552, maxDocs=44421)
            0.046875 = fieldNorm(doc=2634)
      0.19332802 = weight(abstract_txt:ontology in 2634) [ClassicSimilarity], result of:
        0.19332802 = score(doc=2634,freq=6.0), product of:
          0.30483282 = queryWeight, product of:
            3.7846375 = boost
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0145821385 = queryNorm
          0.63421 = fieldWeight in 2634, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.046875 = fieldNorm(doc=2634)
    0.24 = coord(6/25)
  3. Kent, R.E.: ¬The information flow foundation for conceptual knowledge organization (2000) 0.11 
    0.113417886 = sum of:
  0.113417886 = product of:
    0.47257453 = sum of:
      0.018249113 = weight(abstract_txt:between in 1121) [ClassicSimilarity], result of:
        0.018249113 = score(doc=1121,freq=2.0), product of:
          0.059716947 = queryWeight, product of:
            1.1844786 = boost
            3.4573963 = idf(docFreq=3804, maxDocs=44421)
            0.0145821385 = queryNorm
          0.30559355 = fieldWeight in 1121, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.4573963 = idf(docFreq=3804, maxDocs=44421)
            0.0625 = fieldNorm(doc=1121)
      0.018315926 = weight(abstract_txt:paper in 1121) [ClassicSimilarity], result of:
        0.018315926 = score(doc=1121,freq=2.0), product of:
          0.059862614 = queryWeight, product of:
            1.1859224 = boost
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.0145821385 = queryNorm
          0.30596602 = fieldWeight in 1121, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.0625 = fieldNorm(doc=1121)
      0.025843618 = weight(abstract_txt:structure in 1121) [ClassicSimilarity], result of:
        0.025843618 = score(doc=1121,freq=1.0), product of:
          0.094881594 = queryWeight, product of:
            1.493033 = boost
            4.3580413 = idf(docFreq=1545, maxDocs=44421)
            0.0145821385 = queryNorm
          0.27237758 = fieldWeight in 1121, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.3580413 = idf(docFreq=1545, maxDocs=44421)
            0.0625 = fieldNorm(doc=1121)
      0.04104257 = weight(abstract_txt:theory in 1121) [ClassicSimilarity], result of:
        0.04104257 = score(doc=1121,freq=2.0), product of:
          0.1025084 = queryWeight, product of:
            1.5518801 = boost
            4.529811 = idf(docFreq=1301, maxDocs=44421)
            0.0145821385 = queryNorm
          0.4003825 = fieldWeight in 1121, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.529811 = idf(docFreq=1301, maxDocs=44421)
            0.0625 = fieldNorm(doc=1121)
      0.03634274 = weight(abstract_txt:conceptual in 1121) [ClassicSimilarity], result of:
        0.03634274 = score(doc=1121,freq=1.0), product of:
          0.119094454 = queryWeight, product of:
            1.6727237 = boost
            4.8825436 = idf(docFreq=914, maxDocs=44421)
            0.0145821385 = queryNorm
          0.30515897 = fieldWeight in 1121, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.8825436 = idf(docFreq=914, maxDocs=44421)
            0.0625 = fieldNorm(doc=1121)
      0.33278057 = weight(abstract_txt:ontology in 1121) [ClassicSimilarity], result of:
        0.33278057 = score(doc=1121,freq=10.0), product of:
          0.30483282 = queryWeight, product of:
            3.7846375 = boost
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0145821385 = queryNorm
          1.0916822 = fieldWeight in 1121, product of:
            3.1622777 = tf(freq=10.0), with freq of:
              10.0 = termFreq=10.0
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0625 = fieldNorm(doc=1121)
    0.24 = coord(6/25)
  4. Kim, J.-M.; Shin, H.; Kim, H.-J.: Schema and constraints-based matching and merging of Topic Maps (2007) 0.11 
    0.11034203 = sum of:
  0.11034203 = product of:
    0.4597585 = sum of:
      0.037137453 = weight(abstract_txt:consists in 1922) [ClassicSimilarity], result of:
        0.037137453 = score(doc=1922,freq=1.0), product of:
          0.09589835 = queryWeight, product of:
            1.0613754 = boost
            6.196136 = idf(docFreq=245, maxDocs=44421)
            0.0145821385 = queryNorm
          0.3872585 = fieldWeight in 1922, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.196136 = idf(docFreq=245, maxDocs=44421)
            0.0625 = fieldNorm(doc=1922)
      0.022350507 = weight(abstract_txt:between in 1922) [ClassicSimilarity], result of:
        0.022350507 = score(doc=1922,freq=3.0), product of:
          0.059716947 = queryWeight, product of:
            1.1844786 = boost
            3.4573963 = idf(docFreq=3804, maxDocs=44421)
            0.0145821385 = queryNorm
          0.3742741 = fieldWeight in 1922, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            3.4573963 = idf(docFreq=3804, maxDocs=44421)
            0.0625 = fieldNorm(doc=1922)
      0.012951315 = weight(abstract_txt:paper in 1922) [ClassicSimilarity], result of:
        0.012951315 = score(doc=1922,freq=1.0), product of:
          0.059862614 = queryWeight, product of:
            1.1859224 = boost
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.0145821385 = queryNorm
          0.21635064 = fieldWeight in 1922, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.0625 = fieldNorm(doc=1922)
      0.18451059 = weight(abstract_txt:operations in 1922) [ClassicSimilarity], result of:
        0.18451059 = score(doc=1922,freq=2.0), product of:
          0.31963012 = queryWeight, product of:
            3.3562007 = boost
            6.5309834 = idf(docFreq=175, maxDocs=44421)
            0.0145821385 = queryNorm
          0.5772628 = fieldWeight in 1922, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.5309834 = idf(docFreq=175, maxDocs=44421)
            0.0625 = fieldNorm(doc=1922)
      0.09757418 = weight(abstract_txt:relation in 1922) [ClassicSimilarity], result of:
        0.09757418 = score(doc=1922,freq=1.0), product of:
          0.28985426 = queryWeight, product of:
            3.6904836 = boost
            5.38611 = idf(docFreq=552, maxDocs=44421)
            0.0145821385 = queryNorm
          0.33663186 = fieldWeight in 1922, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.38611 = idf(docFreq=552, maxDocs=44421)
            0.0625 = fieldNorm(doc=1922)
      0.10523445 = weight(abstract_txt:ontology in 1922) [ClassicSimilarity], result of:
        0.10523445 = score(doc=1922,freq=1.0), product of:
          0.30483282 = queryWeight, product of:
            3.7846375 = boost
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0145821385 = queryNorm
          0.3452202 = fieldWeight in 1922, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0625 = fieldNorm(doc=1922)
    0.24 = coord(6/25)
  5. Dunsire, G.; Willer, M.: Initiatives to make standard library metadata models and structures available to the Semantic Web (2010) 0.11 
    0.10943412 = sum of:
  0.10943412 = product of:
    0.4559755 = sum of:
      0.009678054 = weight(abstract_txt:between in 952) [ClassicSimilarity], result of:
        0.009678054 = score(doc=952,freq=1.0), product of:
          0.059716947 = queryWeight, product of:
            1.1844786 = boost
            3.4573963 = idf(docFreq=3804, maxDocs=44421)
            0.0145821385 = queryNorm
          0.16206545 = fieldWeight in 952, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4573963 = idf(docFreq=3804, maxDocs=44421)
            0.046875 = fieldNorm(doc=952)
      0.021720015 = weight(abstract_txt:paper in 952) [ClassicSimilarity], result of:
        0.021720015 = score(doc=952,freq=5.0), product of:
          0.059862614 = queryWeight, product of:
            1.1859224 = boost
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.0145821385 = queryNorm
          0.36283106 = fieldWeight in 952, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            3.4616103 = idf(docFreq=3788, maxDocs=44421)
            0.046875 = fieldNorm(doc=952)
      0.027257055 = weight(abstract_txt:conceptual in 952) [ClassicSimilarity], result of:
        0.027257055 = score(doc=952,freq=1.0), product of:
          0.119094454 = queryWeight, product of:
            1.6727237 = boost
            4.8825436 = idf(docFreq=914, maxDocs=44421)
            0.0145821385 = queryNorm
          0.22886923 = fieldWeight in 952, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.8825436 = idf(docFreq=914, maxDocs=44421)
            0.046875 = fieldNorm(doc=952)
      0.050493717 = weight(abstract_txt:rules in 952) [ClassicSimilarity], result of:
        0.050493717 = score(doc=952,freq=1.0), product of:
          0.20563367 = queryWeight, product of:
            2.691976 = boost
            5.238438 = idf(docFreq=640, maxDocs=44421)
            0.0145821385 = queryNorm
          0.2455518 = fieldWeight in 952, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.238438 = idf(docFreq=640, maxDocs=44421)
            0.046875 = fieldNorm(doc=952)
      0.07892583 = weight(abstract_txt:ontology in 952) [ClassicSimilarity], result of:
        0.07892583 = score(doc=952,freq=1.0), product of:
          0.30483282 = queryWeight, product of:
            3.7846375 = boost
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.0145821385 = queryNorm
          0.25891516 = fieldWeight in 952, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.5235233 = idf(docFreq=481, maxDocs=44421)
            0.046875 = fieldNorm(doc=952)
      0.26790082 = weight(abstract_txt:inferencing in 952) [ClassicSimilarity], result of:
        0.26790082 = score(doc=952,freq=1.0), product of:
          0.6255356 = queryWeight, product of:
            4.6951566 = boost
            9.1365185 = idf(docFreq=12, maxDocs=44421)
            0.0145821385 = queryNorm
          0.4282743 = fieldWeight in 952, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.1365185 = idf(docFreq=12, maxDocs=44421)
            0.046875 = fieldNorm(doc=952)
    0.24 = coord(6/25)