Document (#36423)

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.63
    4.632498 = sum of:
      4.632498 = weight(author_txt:nguyen in 3057) [ClassicSimilarity], result of:
        4.632498 = fieldWeight in 3057, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.264996 = idf(docFreq=10, maxDocs=42740)
          0.5 = fieldNorm(doc=3057)
    
  2. Nguyen, S.-H.; Chowdhury, G.: Interpreting the knowledge map of digital library research (1990-2010) (2013) 4.05
    4.0534353 = sum of:
      4.0534353 = weight(author_txt:nguyen in 2959) [ClassicSimilarity], result of:
        4.0534353 = fieldWeight in 2959, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.264996 = idf(docFreq=10, maxDocs=42740)
          0.4375 = fieldNorm(doc=2959)
    
  3. Nguyen, T.-L.; Wu, X.; Sajeev, S.: Object-oriented modeling of multimedia documents (1998) 3.47
    3.4743733 = sum of:
      3.4743733 = weight(author_txt:nguyen in 4599) [ClassicSimilarity], result of:
        3.4743733 = fieldWeight in 4599, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.264996 = idf(docFreq=10, maxDocs=42740)
          0.375 = fieldNorm(doc=4599)
    
  4. Yee, W.G.; Nguyen, L.T; Frieder, O.: ¬A view of the data on P2P file-sharing systems (2009) 3.47
    3.4743733 = sum of:
      3.4743733 = weight(author_txt:nguyen in 119) [ClassicSimilarity], result of:
        3.4743733 = fieldWeight in 119, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.264996 = idf(docFreq=10, maxDocs=42740)
          0.375 = fieldNorm(doc=119)
    
  5. Grossman, D.A.; Holmes, D.O.; Frieder, O.; Nguyen, M.D.; Kingsbury, C.E.: Improving accuracy and run-time performance for TREC-4 (1996) 2.90
    2.895311 = sum of:
      2.895311 = weight(author_txt:nguyen in 601) [ClassicSimilarity], result of:
        2.895311 = fieldWeight in 601, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.264996 = idf(docFreq=10, maxDocs=42740)
          0.3125 = fieldNorm(doc=601)
    

Similar documents (content)

  1. Zhitomirsky-Geffet, M.; Bar-Ilan, J.: Towards maximal unification of semantically diverse ontologies for controversial domains (2014) 0.16
    0.15513948 = sum of:
      0.15513948 = product of:
        0.5540696 = sum of:
          0.074531436 = weight(abstract_txt:ontologies in 3635) [ClassicSimilarity], result of:
            0.074531436 = score(doc=3635,freq=10.0), product of:
              0.08552437 = queryWeight, product of:
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.0145472735 = queryNorm
              0.87146425 = fieldWeight in 3635, product of:
                3.1622777 = tf(freq=10.0), with freq of:
                  10.0 = termFreq=10.0
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.046875 = fieldNorm(doc=3635)
          0.053311788 = weight(abstract_txt:semantically in 3635) [ClassicSimilarity], result of:
            0.053311788 = score(doc=3635,freq=2.0), product of:
              0.11696854 = queryWeight, product of:
                1.1694714 = boost
                6.8753986 = idf(docFreq=119, maxDocs=42740)
                0.0145472735 = queryNorm
              0.45577884 = fieldWeight in 3635, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.8753986 = idf(docFreq=119, maxDocs=42740)
                0.046875 = fieldNorm(doc=3635)
          0.014035981 = weight(abstract_txt:paper in 3635) [ClassicSimilarity], result of:
            0.014035981 = score(doc=3635,freq=2.0), product of:
              0.060537633 = queryWeight, product of:
                1.1898241 = boost
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.0145472735 = queryNorm
              0.23185547 = fieldWeight in 3635, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.046875 = fieldNorm(doc=3635)
          0.027929299 = weight(abstract_txt:conceptual in 3635) [ClassicSimilarity], result of:
            0.027929299 = score(doc=3635,freq=1.0), product of:
              0.12066471 = queryWeight, product of:
                1.67981 = boost
                4.9378567 = idf(docFreq=832, maxDocs=42740)
                0.0145472735 = queryNorm
              0.23146203 = fieldWeight in 3635, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9378567 = idf(docFreq=832, maxDocs=42740)
                0.046875 = fieldNorm(doc=3635)
          0.111304715 = weight(abstract_txt:rules in 3635) [ClassicSimilarity], result of:
            0.111304715 = score(doc=3635,freq=5.0), product of:
              0.2030438 = queryWeight, product of:
                2.6687663 = boost
                5.2299504 = idf(docFreq=621, maxDocs=42740)
                0.0145472735 = queryNorm
              0.5481808 = fieldWeight in 3635, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.2299504 = idf(docFreq=621, maxDocs=42740)
                0.046875 = fieldNorm(doc=3635)
          0.074950665 = weight(abstract_txt:relation in 3635) [ClassicSimilarity], result of:
            0.074950665 = score(doc=3635,freq=1.0), product of:
              0.29358503 = queryWeight, product of:
                3.7055442 = boost
                5.4462843 = idf(docFreq=500, maxDocs=42740)
                0.0145472735 = queryNorm
              0.25529456 = fieldWeight in 3635, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.4462843 = idf(docFreq=500, maxDocs=42740)
                0.046875 = fieldNorm(doc=3635)
          0.19800572 = weight(abstract_txt:ontology in 3635) [ClassicSimilarity], result of:
            0.19800572 = score(doc=3635,freq=6.0), product of:
              0.30875805 = queryWeight, product of:
                3.8000927 = boost
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.0145472735 = queryNorm
              0.64129734 = fieldWeight in 3635, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.046875 = fieldNorm(doc=3635)
        0.28 = coord(7/25)
    
  2. Kent, R.E.: ¬The information flow foundation for conceptual knowledge organization (2000) 0.15
    0.15495743 = sum of:
      0.15495743 = product of:
        0.5534194 = sum of:
          0.070268914 = weight(abstract_txt:ontologies in 1122) [ClassicSimilarity], result of:
            0.070268914 = score(doc=1122,freq=5.0), product of:
              0.08552437 = queryWeight, product of:
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.0145472735 = queryNorm
              0.8216244 = fieldWeight in 1122, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.0625 = fieldNorm(doc=1122)
          0.01856512 = weight(abstract_txt:between in 1122) [ClassicSimilarity], result of:
            0.01856512 = score(doc=1122,freq=2.0), product of:
              0.060214758 = queryWeight, product of:
                1.1866469 = boost
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.0145472735 = queryNorm
              0.30831513 = fieldWeight in 1122, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.0625 = fieldNorm(doc=1122)
          0.018714642 = weight(abstract_txt:paper in 1122) [ClassicSimilarity], result of:
            0.018714642 = score(doc=1122,freq=2.0), product of:
              0.060537633 = queryWeight, product of:
                1.1898241 = boost
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.0145472735 = queryNorm
              0.30914062 = fieldWeight in 1122, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.0625 = fieldNorm(doc=1122)
          0.025858413 = weight(abstract_txt:structure in 1122) [ClassicSimilarity], result of:
            0.025858413 = score(doc=1122,freq=1.0), product of:
              0.09461987 = queryWeight, product of:
                1.4875145 = boost
                4.3725977 = idf(docFreq=1465, maxDocs=42740)
                0.0145472735 = queryNorm
              0.27328736 = fieldWeight in 1122, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.3725977 = idf(docFreq=1465, maxDocs=42740)
                0.0625 = fieldNorm(doc=1122)
          0.04194092 = weight(abstract_txt:theory in 1122) [ClassicSimilarity], result of:
            0.04194092 = score(doc=1122,freq=2.0), product of:
              0.10367238 = queryWeight, product of:
                1.5570465 = boost
                4.576989 = idf(docFreq=1194, maxDocs=42740)
                0.0145472735 = queryNorm
              0.4045525 = fieldWeight in 1122, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.576989 = idf(docFreq=1194, maxDocs=42740)
                0.0625 = fieldNorm(doc=1122)
          0.037239064 = weight(abstract_txt:conceptual in 1122) [ClassicSimilarity], result of:
            0.037239064 = score(doc=1122,freq=1.0), product of:
              0.12066471 = queryWeight, product of:
                1.67981 = boost
                4.9378567 = idf(docFreq=832, maxDocs=42740)
                0.0145472735 = queryNorm
              0.30861604 = fieldWeight in 1122, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9378567 = idf(docFreq=832, maxDocs=42740)
                0.0625 = fieldNorm(doc=1122)
          0.34083235 = weight(abstract_txt:ontology in 1122) [ClassicSimilarity], result of:
            0.34083235 = score(doc=1122,freq=10.0), product of:
              0.30875805 = queryWeight, product of:
                3.8000927 = boost
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.0145472735 = queryNorm
              1.1038817 = fieldWeight in 1122, product of:
                3.1622777 = tf(freq=10.0), with freq of:
                  10.0 = termFreq=10.0
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.0625 = fieldNorm(doc=1122)
        0.28 = coord(7/25)
    
  3. Kim, J.-M.; Shin, H.; Kim, H.-J.: Schema and constraints-based matching and merging of Topic Maps (2007) 0.15
    0.1494834 = sum of:
      0.1494834 = product of:
        0.53386927 = sum of:
          0.070268914 = weight(abstract_txt:ontologies in 2923) [ClassicSimilarity], result of:
            0.070268914 = score(doc=2923,freq=5.0), product of:
              0.08552437 = queryWeight, product of:
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.0145472735 = queryNorm
              0.8216244 = fieldWeight in 2923, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.0625 = fieldNorm(doc=2923)
          0.036468398 = weight(abstract_txt:consists in 2923) [ClassicSimilarity], result of:
            0.036468398 = score(doc=2923,freq=1.0), product of:
              0.094445705 = queryWeight, product of:
                1.0508631 = boost
                6.1780934 = idf(docFreq=240, maxDocs=42740)
                0.0145472735 = queryNorm
              0.38613084 = fieldWeight in 2923, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.1780934 = idf(docFreq=240, maxDocs=42740)
                0.0625 = fieldNorm(doc=2923)
          0.022737537 = weight(abstract_txt:between in 2923) [ClassicSimilarity], result of:
            0.022737537 = score(doc=2923,freq=3.0), product of:
              0.060214758 = queryWeight, product of:
                1.1866469 = boost
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.0145472735 = queryNorm
              0.37760738 = fieldWeight in 2923, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.0625 = fieldNorm(doc=2923)
          0.01323325 = weight(abstract_txt:paper in 2923) [ClassicSimilarity], result of:
            0.01323325 = score(doc=2923,freq=1.0), product of:
              0.060537633 = queryWeight, product of:
                1.1898241 = boost
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.0145472735 = queryNorm
              0.21859543 = fieldWeight in 2923, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.0625 = fieldNorm(doc=2923)
          0.1834463 = weight(abstract_txt:operations in 2923) [ClassicSimilarity], result of:
            0.1834463 = score(doc=2923,freq=2.0), product of:
              0.31740043 = queryWeight, product of:
                3.3367174 = boost
                6.5389266 = idf(docFreq=167, maxDocs=42740)
                0.0145472735 = queryNorm
              0.5779649 = fieldWeight in 2923, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.5389266 = idf(docFreq=167, maxDocs=42740)
                0.0625 = fieldNorm(doc=2923)
          0.09993422 = weight(abstract_txt:relation in 2923) [ClassicSimilarity], result of:
            0.09993422 = score(doc=2923,freq=1.0), product of:
              0.29358503 = queryWeight, product of:
                3.7055442 = boost
                5.4462843 = idf(docFreq=500, maxDocs=42740)
                0.0145472735 = queryNorm
              0.34039277 = fieldWeight in 2923, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.4462843 = idf(docFreq=500, maxDocs=42740)
                0.0625 = fieldNorm(doc=2923)
          0.10778065 = weight(abstract_txt:ontology in 2923) [ClassicSimilarity], result of:
            0.10778065 = score(doc=2923,freq=1.0), product of:
              0.30875805 = queryWeight, product of:
                3.8000927 = boost
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.0145472735 = queryNorm
              0.34907803 = fieldWeight in 2923, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.0625 = fieldNorm(doc=2923)
        0.28 = coord(7/25)
    
  4. Tzitzikas, Y.; Spyratos, N.; Constantopoulos, P.; Analyti, A.: Extended faceted ontologies (2002) 0.14
    0.14120585 = sum of:
      0.14120585 = product of:
        0.5883577 = sum of:
          0.05555245 = weight(abstract_txt:ontologies in 4281) [ClassicSimilarity], result of:
            0.05555245 = score(doc=4281,freq=2.0), product of:
              0.08552437 = queryWeight, product of:
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.0145472735 = queryNorm
              0.6495511 = fieldWeight in 4281, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.8790655 = idf(docFreq=324, maxDocs=42740)
                0.078125 = fieldNorm(doc=4281)
          0.06446763 = weight(abstract_txt:consists in 4281) [ClassicSimilarity], result of:
            0.06446763 = score(doc=4281,freq=2.0), product of:
              0.094445705 = queryWeight, product of:
                1.0508631 = boost
                6.1780934 = idf(docFreq=240, maxDocs=42740)
                0.0145472735 = queryNorm
              0.68258935 = fieldWeight in 4281, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.1780934 = idf(docFreq=240, maxDocs=42740)
                0.078125 = fieldNorm(doc=4281)
          0.046548832 = weight(abstract_txt:conceptual in 4281) [ClassicSimilarity], result of:
            0.046548832 = score(doc=4281,freq=1.0), product of:
              0.12066471 = queryWeight, product of:
                1.67981 = boost
                4.9378567 = idf(docFreq=832, maxDocs=42740)
                0.0145472735 = queryNorm
              0.38577005 = fieldWeight in 4281, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9378567 = idf(docFreq=832, maxDocs=42740)
                0.078125 = fieldNorm(doc=4281)
          0.16214517 = weight(abstract_txt:operations in 4281) [ClassicSimilarity], result of:
            0.16214517 = score(doc=4281,freq=1.0), product of:
              0.31740043 = queryWeight, product of:
                3.3367174 = boost
                6.5389266 = idf(docFreq=167, maxDocs=42740)
                0.0145472735 = queryNorm
              0.51085365 = fieldWeight in 4281, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.5389266 = idf(docFreq=167, maxDocs=42740)
                0.078125 = fieldNorm(doc=4281)
          0.12491778 = weight(abstract_txt:relation in 4281) [ClassicSimilarity], result of:
            0.12491778 = score(doc=4281,freq=1.0), product of:
              0.29358503 = queryWeight, product of:
                3.7055442 = boost
                5.4462843 = idf(docFreq=500, maxDocs=42740)
                0.0145472735 = queryNorm
              0.42549098 = fieldWeight in 4281, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.4462843 = idf(docFreq=500, maxDocs=42740)
                0.078125 = fieldNorm(doc=4281)
          0.13472582 = weight(abstract_txt:ontology in 4281) [ClassicSimilarity], result of:
            0.13472582 = score(doc=4281,freq=1.0), product of:
              0.30875805 = queryWeight, product of:
                3.8000927 = boost
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.0145472735 = queryNorm
              0.43634754 = fieldWeight in 4281, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5852485 = idf(docFreq=435, maxDocs=42740)
                0.078125 = fieldNorm(doc=4281)
        0.24 = coord(6/25)
    
  5. Corby, O.; Dieng, R.; Hébért, C.: ¬A conceptual graph model for W3C resource description framework (2000) 0.14
    0.13764179 = sum of:
      0.13764179 = product of:
        0.8602612 = sum of:
          0.023158187 = weight(abstract_txt:paper in 2) [ClassicSimilarity], result of:
            0.023158187 = score(doc=2,freq=1.0), product of:
              0.060537633 = queryWeight, product of:
                1.1898241 = boost
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.0145472735 = queryNorm
              0.382542 = fieldWeight in 2, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.109375 = fieldNorm(doc=2)
          0.14423113 = weight(abstract_txt:formalism in 2) [ClassicSimilarity], result of:
            0.14423113 = score(doc=2,freq=1.0), product of:
              0.16264912 = queryWeight, product of:
                1.3790529 = boost
                8.107542 = idf(docFreq=34, maxDocs=42740)
                0.0145472735 = queryNorm
              0.8867624 = fieldWeight in 2, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.107542 = idf(docFreq=34, maxDocs=42740)
                0.109375 = fieldNorm(doc=2)
          0.06516836 = weight(abstract_txt:conceptual in 2) [ClassicSimilarity], result of:
            0.06516836 = score(doc=2,freq=1.0), product of:
              0.12066471 = queryWeight, product of:
                1.67981 = boost
                4.9378567 = idf(docFreq=832, maxDocs=42740)
                0.0145472735 = queryNorm
              0.54007804 = fieldWeight in 2, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9378567 = idf(docFreq=832, maxDocs=42740)
                0.109375 = fieldNorm(doc=2)
          0.6277035 = weight(abstract_txt:inferencing in 2) [ClassicSimilarity], result of:
            0.6277035 = score(doc=2,freq=1.0), product of:
              0.62530106 = queryWeight, product of:
                4.683389 = boost
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.0145472735 = queryNorm
              1.003842 = fieldWeight in 2, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.109375 = fieldNorm(doc=2)
        0.16 = coord(4/25)