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.6059904 = sum of:
  4.6059904 = weight(author_txt:nguyen in 1056) [ClassicSimilarity], result of:
    4.6059904 = fieldWeight in 1056, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.211981 = idf(docFreq=11, maxDocs=44218)
      0.5 = fieldNorm(doc=1056)
  2. Nguyen-Kim, M.T.: ¬Die kleinste gemeinsame Wirklichkeit : wahr, falsch, plausibel? : die größten Streitfragen wissenschaftlich geprüft (2021) 4.61 
    4.6059904 = sum of:
  4.6059904 = weight(author_txt:nguyen in 235) [ClassicSimilarity], result of:
    4.6059904 = fieldWeight in 235, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.211981 = idf(docFreq=11, maxDocs=44218)
      0.5 = fieldNorm(doc=235)
  3. Nguyen, S.-H.; Chowdhury, G.: Interpreting the knowledge map of digital library research (1990-2010) (2013) 4.03 
    4.0302415 = sum of:
  4.0302415 = weight(author_txt:nguyen in 958) [ClassicSimilarity], result of:
    4.0302415 = fieldWeight in 958, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.211981 = idf(docFreq=11, maxDocs=44218)
      0.4375 = fieldNorm(doc=958)
  4. Nguyen, T.-L.; Wu, X.; Sajeev, S.: Object-oriented modeling of multimedia documents (1998) 3.45 
    3.4544928 = sum of:
  3.4544928 = weight(author_txt:nguyen in 3598) [ClassicSimilarity], result of:
    3.4544928 = fieldWeight in 3598, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.211981 = idf(docFreq=11, maxDocs=44218)
      0.375 = fieldNorm(doc=3598)
  5. Yee, W.G.; Nguyen, L.T; Frieder, O.: ¬A view of the data on P2P file-sharing systems (2009) 3.45 
    3.4544928 = sum of:
  3.4544928 = weight(author_txt:nguyen in 3118) [ClassicSimilarity], result of:
    3.4544928 = fieldWeight in 3118, product of:
      1.0 = tf(freq=1.0), with freq of:
        1.0 = termFreq=1.0
      9.211981 = idf(docFreq=11, maxDocs=44218)
      0.375 = fieldNorm(doc=3118)

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.13682473 = sum of:
  0.13682473 = product of:
    0.8551546 = sum of:
      0.02277393 = weight(abstract_txt:paper in 5086) [ClassicSimilarity], result of:
        0.02277393 = score(doc=5086,freq=1.0), product of:
          0.06005083 = queryWeight, product of:
            1.1888304 = boost
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.014567941 = queryNorm
          0.37924424 = fieldWeight in 5086, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.109375 = fieldNorm(doc=5086)
      0.14441139 = weight(abstract_txt:formalism in 5086) [ClassicSimilarity], result of:
        0.14441139 = score(doc=5086,freq=1.0), product of:
          0.16328688 = queryWeight, product of:
            1.3861845 = boost
            8.085969 = idf(docFreq=36, maxDocs=44218)
            0.014567941 = queryNorm
          0.8844029 = fieldWeight in 5086, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            8.085969 = idf(docFreq=36, maxDocs=44218)
            0.109375 = fieldNorm(doc=5086)
      0.06392519 = weight(abstract_txt:conceptual in 5086) [ClassicSimilarity], result of:
        0.06392519 = score(doc=5086,freq=1.0), product of:
          0.11949279 = queryWeight, product of:
            1.6769929 = boost
            4.891165 = idf(docFreq=902, maxDocs=44218)
            0.014567941 = queryNorm
          0.5349711 = fieldWeight in 5086, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.891165 = idf(docFreq=902, maxDocs=44218)
            0.109375 = fieldNorm(doc=5086)
      0.62404406 = weight(abstract_txt:inferencing in 5086) [ClassicSimilarity], result of:
        0.62404406 = score(doc=5086,freq=1.0), product of:
          0.62479025 = queryWeight, product of:
            4.696487 = boost
            9.131938 = idf(docFreq=12, maxDocs=44218)
            0.014567941 = queryNorm
          0.9988057 = fieldWeight in 5086, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.131938 = idf(docFreq=12, maxDocs=44218)
            0.109375 = fieldNorm(doc=5086)
    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.11409084 = sum of:
  0.11409084 = product of:
    0.4753785 = sum of:
      0.053835124 = weight(abstract_txt:semantically in 1634) [ClassicSimilarity], result of:
        0.053835124 = score(doc=1634,freq=2.0), product of:
          0.11809604 = queryWeight, product of:
            1.1788622 = boost
            6.8766055 = idf(docFreq=123, maxDocs=44218)
            0.014567941 = queryNorm
          0.45585886 = fieldWeight in 1634, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.8766055 = idf(docFreq=123, maxDocs=44218)
            0.046875 = fieldNorm(doc=1634)
      0.013803087 = weight(abstract_txt:paper in 1634) [ClassicSimilarity], result of:
        0.013803087 = score(doc=1634,freq=2.0), product of:
          0.06005083 = queryWeight, product of:
            1.1888304 = boost
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.014567941 = queryNorm
          0.22985673 = fieldWeight in 1634, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.046875 = fieldNorm(doc=1634)
      0.027396513 = weight(abstract_txt:conceptual in 1634) [ClassicSimilarity], result of:
        0.027396513 = score(doc=1634,freq=1.0), product of:
          0.11949279 = queryWeight, product of:
            1.6769929 = boost
            4.891165 = idf(docFreq=902, maxDocs=44218)
            0.014567941 = queryNorm
          0.22927335 = fieldWeight in 1634, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.891165 = idf(docFreq=902, maxDocs=44218)
            0.046875 = fieldNorm(doc=1634)
      0.11279195 = weight(abstract_txt:rules in 1634) [ClassicSimilarity], result of:
        0.11279195 = score(doc=1634,freq=5.0), product of:
          0.20548053 = queryWeight, product of:
            2.693341 = boost
            5.236983 = idf(docFreq=638, maxDocs=44218)
            0.014567941 = queryNorm
          0.54891795 = fieldWeight in 1634, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            5.236983 = idf(docFreq=638, maxDocs=44218)
            0.046875 = fieldNorm(doc=1634)
      0.07342501 = weight(abstract_txt:relation in 1634) [ClassicSimilarity], result of:
        0.07342501 = score(doc=1634,freq=1.0), product of:
          0.29048088 = queryWeight, product of:
            3.697721 = boost
            5.3924384 = idf(docFreq=546, maxDocs=44218)
            0.014567941 = queryNorm
          0.25277054 = fieldWeight in 1634, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.3924384 = idf(docFreq=546, maxDocs=44218)
            0.046875 = fieldNorm(doc=1634)
      0.19412683 = weight(abstract_txt:ontology in 1634) [ClassicSimilarity], result of:
        0.19412683 = score(doc=1634,freq=6.0), product of:
          0.30565262 = queryWeight, product of:
            3.7930577 = boost
            5.5314693 = idf(docFreq=475, maxDocs=44218)
            0.014567941 = queryNorm
          0.6351224 = fieldWeight in 1634, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            5.5314693 = idf(docFreq=475, maxDocs=44218)
            0.046875 = fieldNorm(doc=1634)
    0.24 = coord(6/25)
  3. Kent, R.E.: ¬The information flow foundation for conceptual knowledge organization (2000) 0.11 
    0.11387311 = sum of:
  0.11387311 = product of:
    0.4744713 = sum of:
      0.018340627 = weight(abstract_txt:between in 121) [ClassicSimilarity], result of:
        0.018340627 = score(doc=121,freq=2.0), product of:
          0.05991264 = queryWeight, product of:
            1.1874617 = boost
            3.4633842 = idf(docFreq=3764, maxDocs=44218)
            0.014567941 = queryNorm
          0.3061228 = fieldWeight in 121, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.4633842 = idf(docFreq=3764, maxDocs=44218)
            0.0625 = fieldNorm(doc=121)
      0.018404117 = weight(abstract_txt:paper in 121) [ClassicSimilarity], result of:
        0.018404117 = score(doc=121,freq=2.0), product of:
          0.06005083 = queryWeight, product of:
            1.1888304 = boost
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.014567941 = queryNorm
          0.30647564 = fieldWeight in 121, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.0625 = fieldNorm(doc=121)
      0.025837982 = weight(abstract_txt:structure in 121) [ClassicSimilarity], result of:
        0.025837982 = score(doc=121,freq=1.0), product of:
          0.09486181 = queryWeight, product of:
            1.4941909 = boost
            4.3579993 = idf(docFreq=1538, maxDocs=44218)
            0.014567941 = queryNorm
          0.27237496 = fieldWeight in 121, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.3579993 = idf(docFreq=1538, maxDocs=44218)
            0.0625 = fieldNorm(doc=121)
      0.041204356 = weight(abstract_txt:theory in 121) [ClassicSimilarity], result of:
        0.041204356 = score(doc=121,freq=2.0), product of:
          0.102771126 = queryWeight, product of:
            1.5552347 = boost
            4.5360413 = idf(docFreq=1287, maxDocs=44218)
            0.014567941 = queryNorm
          0.40093318 = fieldWeight in 121, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.5360413 = idf(docFreq=1287, maxDocs=44218)
            0.0625 = fieldNorm(doc=121)
      0.036528684 = weight(abstract_txt:conceptual in 121) [ClassicSimilarity], result of:
        0.036528684 = score(doc=121,freq=1.0), product of:
          0.11949279 = queryWeight, product of:
            1.6769929 = boost
            4.891165 = idf(docFreq=902, maxDocs=44218)
            0.014567941 = queryNorm
          0.3056978 = fieldWeight in 121, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.891165 = idf(docFreq=902, maxDocs=44218)
            0.0625 = fieldNorm(doc=121)
      0.33415553 = weight(abstract_txt:ontology in 121) [ClassicSimilarity], result of:
        0.33415553 = score(doc=121,freq=10.0), product of:
          0.30565262 = queryWeight, product of:
            3.7930577 = boost
            5.5314693 = idf(docFreq=475, maxDocs=44218)
            0.014567941 = queryNorm
          1.0932527 = fieldWeight in 121, product of:
            3.1622777 = tf(freq=10.0), with freq of:
              10.0 = termFreq=10.0
            5.5314693 = idf(docFreq=475, maxDocs=44218)
            0.0625 = fieldNorm(doc=121)
    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.1105594 = sum of:
  0.1105594 = product of:
    0.46066415 = sum of:
      0.037048142 = weight(abstract_txt:consists in 922) [ClassicSimilarity], result of:
        0.037048142 = score(doc=922,freq=1.0), product of:
          0.09573851 = queryWeight, product of:
            1.0614235 = boost
            6.1915555 = idf(docFreq=245, maxDocs=44218)
            0.014567941 = queryNorm
          0.38697222 = fieldWeight in 922, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.1915555 = idf(docFreq=245, maxDocs=44218)
            0.0625 = fieldNorm(doc=922)
      0.022462588 = weight(abstract_txt:between in 922) [ClassicSimilarity], result of:
        0.022462588 = score(doc=922,freq=3.0), product of:
          0.05991264 = queryWeight, product of:
            1.1874617 = boost
            3.4633842 = idf(docFreq=3764, maxDocs=44218)
            0.014567941 = queryNorm
          0.37492234 = fieldWeight in 922, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            3.4633842 = idf(docFreq=3764, maxDocs=44218)
            0.0625 = fieldNorm(doc=922)
      0.013013676 = weight(abstract_txt:paper in 922) [ClassicSimilarity], result of:
        0.013013676 = score(doc=922,freq=1.0), product of:
          0.06005083 = queryWeight, product of:
            1.1888304 = boost
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.014567941 = queryNorm
          0.216711 = fieldWeight in 922, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.0625 = fieldNorm(doc=922)
      0.18457045 = weight(abstract_txt:operations in 922) [ClassicSimilarity], result of:
        0.18457045 = score(doc=922,freq=2.0), product of:
          0.31967908 = queryWeight, product of:
            3.3594108 = boost
            6.532101 = idf(docFreq=174, maxDocs=44218)
            0.014567941 = queryNorm
          0.57736164 = fieldWeight in 922, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            6.532101 = idf(docFreq=174, maxDocs=44218)
            0.0625 = fieldNorm(doc=922)
      0.09790002 = weight(abstract_txt:relation in 922) [ClassicSimilarity], result of:
        0.09790002 = score(doc=922,freq=1.0), product of:
          0.29048088 = queryWeight, product of:
            3.697721 = boost
            5.3924384 = idf(docFreq=546, maxDocs=44218)
            0.014567941 = queryNorm
          0.3370274 = fieldWeight in 922, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.3924384 = idf(docFreq=546, maxDocs=44218)
            0.0625 = fieldNorm(doc=922)
      0.10566925 = weight(abstract_txt:ontology in 922) [ClassicSimilarity], result of:
        0.10566925 = score(doc=922,freq=1.0), product of:
          0.30565262 = queryWeight, product of:
            3.7930577 = boost
            5.5314693 = idf(docFreq=475, maxDocs=44218)
            0.014567941 = queryNorm
          0.34571683 = fieldWeight in 922, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.5314693 = idf(docFreq=475, maxDocs=44218)
            0.0625 = fieldNorm(doc=922)
    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.109461404 = sum of:
  0.109461404 = product of:
    0.4560892 = sum of:
      0.009726585 = weight(abstract_txt:between in 3965) [ClassicSimilarity], result of:
        0.009726585 = score(doc=3965,freq=1.0), product of:
          0.05991264 = queryWeight, product of:
            1.1874617 = boost
            3.4633842 = idf(docFreq=3764, maxDocs=44218)
            0.014567941 = queryNorm
          0.16234612 = fieldWeight in 3965, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.4633842 = idf(docFreq=3764, maxDocs=44218)
            0.046875 = fieldNorm(doc=3965)
      0.021824598 = weight(abstract_txt:paper in 3965) [ClassicSimilarity], result of:
        0.021824598 = score(doc=3965,freq=5.0), product of:
          0.06005083 = queryWeight, product of:
            1.1888304 = boost
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.014567941 = queryNorm
          0.36343542 = fieldWeight in 3965, product of:
            2.236068 = tf(freq=5.0), with freq of:
              5.0 = termFreq=5.0
            3.467376 = idf(docFreq=3749, maxDocs=44218)
            0.046875 = fieldNorm(doc=3965)
      0.027396513 = weight(abstract_txt:conceptual in 3965) [ClassicSimilarity], result of:
        0.027396513 = score(doc=3965,freq=1.0), product of:
          0.11949279 = queryWeight, product of:
            1.6769929 = boost
            4.891165 = idf(docFreq=902, maxDocs=44218)
            0.014567941 = queryNorm
          0.22927335 = fieldWeight in 3965, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.891165 = idf(docFreq=902, maxDocs=44218)
            0.046875 = fieldNorm(doc=3965)
      0.050442096 = weight(abstract_txt:rules in 3965) [ClassicSimilarity], result of:
        0.050442096 = score(doc=3965,freq=1.0), product of:
          0.20548053 = queryWeight, product of:
            2.693341 = boost
            5.236983 = idf(docFreq=638, maxDocs=44218)
            0.014567941 = queryNorm
          0.24548358 = fieldWeight in 3965, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.236983 = idf(docFreq=638, maxDocs=44218)
            0.046875 = fieldNorm(doc=3965)
      0.079251945 = weight(abstract_txt:ontology in 3965) [ClassicSimilarity], result of:
        0.079251945 = score(doc=3965,freq=1.0), product of:
          0.30565262 = queryWeight, product of:
            3.7930577 = boost
            5.5314693 = idf(docFreq=475, maxDocs=44218)
            0.014567941 = queryNorm
          0.25928763 = fieldWeight in 3965, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.5314693 = idf(docFreq=475, maxDocs=44218)
            0.046875 = fieldNorm(doc=3965)
      0.26744744 = weight(abstract_txt:inferencing in 3965) [ClassicSimilarity], result of:
        0.26744744 = score(doc=3965,freq=1.0), product of:
          0.62479025 = queryWeight, product of:
            4.696487 = boost
            9.131938 = idf(docFreq=12, maxDocs=44218)
            0.014567941 = queryNorm
          0.42805958 = fieldWeight in 3965, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.131938 = idf(docFreq=12, maxDocs=44218)
            0.046875 = fieldNorm(doc=3965)
    0.24 = coord(6/25)