Document (#36732)

Author
Siebers, Q.H.J.F.
Title
Implementing inference rules in the Topic maps model
Source
http://www.unimaas.nl/games/files/bsc/Siebers_BSc-paper.pdf
Year
2006
Abstract
This paper supplies a theoretical approach on implementing inference rules in the Topic Maps model. Topic Maps is an ISO standard that allows for the modeling and representation of knowledge in an interchangeable form, that can be extended by inference rules. These rules specify conditions for inferrable facts. Any implementation requires a syntax for storage in a file, a storage model and method for processing and a system to keep track of changes in the inferred facts. The most flexible and optimisable storage model is a controlled cache, giving options for processing. Keeping track of changes is done by listeners. One of the most powerful applications of inference rules in Topic Maps is interoperability. By mapping ontologies to each other using inference rules as converter, it is possible to exchange extendable knowledge. Any implementation must choose methods and options optimized for the system it runs on, with the facilities available. Further research is required to analyze optimization problems between options.
Theme
Wissensrepräsentation
Object
Topic maps

Similar documents (content)

  1. Pepper, S.; Groenmo, G.O.: Towards a general theory of scope (2002) 0.12
    0.12433084 = sum of:
      0.12433084 = product of:
        0.6216542 = sum of:
          0.043287106 = weight(abstract_txt:processing in 2540) [ClassicSimilarity], result of:
            0.043287106 = score(doc=2540,freq=2.0), product of:
              0.09893823 = queryWeight, product of:
                1.3733522 = boost
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.014554013 = queryNorm
              0.4375165 = fieldWeight in 2540, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.0625 = fieldNorm(doc=2540)
          0.06998955 = weight(abstract_txt:implementing in 2540) [ClassicSimilarity], result of:
            0.06998955 = score(doc=2540,freq=1.0), product of:
              0.17172118 = queryWeight, product of:
                1.8093051 = boost
                6.521227 = idf(docFreq=170, maxDocs=42740)
                0.014554013 = queryNorm
              0.40757668 = fieldWeight in 2540, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.521227 = idf(docFreq=170, maxDocs=42740)
                0.0625 = fieldNorm(doc=2540)
          0.046452533 = weight(abstract_txt:model in 2540) [ClassicSimilarity], result of:
            0.046452533 = score(doc=2540,freq=2.0), product of:
              0.13065961 = queryWeight, product of:
                2.2319555 = boost
                4.022287 = idf(docFreq=2080, maxDocs=42740)
                0.014554013 = queryNorm
              0.3555233 = fieldWeight in 2540, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.022287 = idf(docFreq=2080, maxDocs=42740)
                0.0625 = fieldNorm(doc=2540)
          0.2110862 = weight(abstract_txt:topic in 2540) [ClassicSimilarity], result of:
            0.2110862 = score(doc=2540,freq=10.0), product of:
              0.20962912 = queryWeight, product of:
                2.8270967 = boost
                5.0948124 = idf(docFreq=711, maxDocs=42740)
                0.014554013 = queryNorm
              1.0069507 = fieldWeight in 2540, product of:
                3.1622777 = tf(freq=10.0), with freq of:
                  10.0 = termFreq=10.0
                5.0948124 = idf(docFreq=711, maxDocs=42740)
                0.0625 = fieldNorm(doc=2540)
          0.25083882 = weight(abstract_txt:maps in 2540) [ClassicSimilarity], result of:
            0.25083882 = score(doc=2540,freq=6.0), product of:
              0.27884173 = queryWeight, product of:
                3.2605717 = boost
                5.8759933 = idf(docFreq=325, maxDocs=42740)
                0.014554013 = queryNorm
              0.8995741 = fieldWeight in 2540, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.8759933 = idf(docFreq=325, maxDocs=42740)
                0.0625 = fieldNorm(doc=2540)
        0.2 = coord(5/25)
    
  2. King, B.E.; Reinold, K.: Finding the concept, not just the word : a librarian's guide to ontologies and semantics (2008) 0.11
    0.114345156 = sum of:
      0.114345156 = product of:
        0.40837556 = sum of:
          0.009800977 = weight(abstract_txt:most in 4864) [ClassicSimilarity], result of:
            0.009800977 = score(doc=4864,freq=1.0), product of:
              0.06334728 = queryWeight, product of:
                1.0989144 = boost
                3.960786 = idf(docFreq=2212, maxDocs=42740)
                0.014554013 = queryNorm
              0.1547182 = fieldWeight in 4864, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.960786 = idf(docFreq=2212, maxDocs=42740)
                0.0390625 = fieldNorm(doc=4864)
          0.01913038 = weight(abstract_txt:processing in 4864) [ClassicSimilarity], result of:
            0.01913038 = score(doc=4864,freq=1.0), product of:
              0.09893823 = queryWeight, product of:
                1.3733522 = boost
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.014554013 = queryNorm
              0.19335681 = fieldWeight in 4864, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.0390625 = fieldNorm(doc=4864)
          0.043743465 = weight(abstract_txt:implementing in 4864) [ClassicSimilarity], result of:
            0.043743465 = score(doc=4864,freq=1.0), product of:
              0.17172118 = queryWeight, product of:
                1.8093051 = boost
                6.521227 = idf(docFreq=170, maxDocs=42740)
                0.014554013 = queryNorm
              0.2547354 = fieldWeight in 4864, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.521227 = idf(docFreq=170, maxDocs=42740)
                0.0390625 = fieldNorm(doc=4864)
          0.04171957 = weight(abstract_txt:topic in 4864) [ClassicSimilarity], result of:
            0.04171957 = score(doc=4864,freq=1.0), product of:
              0.20962912 = queryWeight, product of:
                2.8270967 = boost
                5.0948124 = idf(docFreq=711, maxDocs=42740)
                0.014554013 = queryNorm
              0.19901611 = fieldWeight in 4864, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.0948124 = idf(docFreq=711, maxDocs=42740)
                0.0390625 = fieldNorm(doc=4864)
          0.090513654 = weight(abstract_txt:maps in 4864) [ClassicSimilarity], result of:
            0.090513654 = score(doc=4864,freq=2.0), product of:
              0.27884173 = queryWeight, product of:
                3.2605717 = boost
                5.8759933 = idf(docFreq=325, maxDocs=42740)
                0.014554013 = queryNorm
              0.32460582 = fieldWeight in 4864, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.8759933 = idf(docFreq=325, maxDocs=42740)
                0.0390625 = fieldNorm(doc=4864)
          0.067692295 = weight(abstract_txt:rules in 4864) [ClassicSimilarity], result of:
            0.067692295 = score(doc=4864,freq=1.0), product of:
              0.33134595 = queryWeight, product of:
                4.353127 = boost
                5.2299504 = idf(docFreq=621, maxDocs=42740)
                0.014554013 = queryNorm
              0.20429493 = fieldWeight in 4864, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.2299504 = idf(docFreq=621, maxDocs=42740)
                0.0390625 = fieldNorm(doc=4864)
          0.13577521 = weight(abstract_txt:inference in 4864) [ClassicSimilarity], result of:
            0.13577521 = score(doc=4864,freq=1.0), product of:
              0.49591666 = queryWeight, product of:
                4.861544 = boost
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.014554013 = queryNorm
              0.27378634 = fieldWeight in 4864, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.0390625 = fieldNorm(doc=4864)
        0.28 = coord(7/25)
    
  3. Cali, A.: Ontology querying : datalog strikes back (2017) 0.11
    0.11177885 = sum of:
      0.11177885 = product of:
        0.6986178 = sum of:
          0.06493066 = weight(abstract_txt:processing in 5929) [ClassicSimilarity], result of:
            0.06493066 = score(doc=5929,freq=2.0), product of:
              0.09893823 = queryWeight, product of:
                1.3733522 = boost
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.014554013 = queryNorm
              0.6562748 = fieldWeight in 5929, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.9499345 = idf(docFreq=822, maxDocs=42740)
                0.09375 = fieldNorm(doc=5929)
          0.14536516 = weight(abstract_txt:facts in 5929) [ClassicSimilarity], result of:
            0.14536516 = score(doc=5929,freq=1.0), product of:
              0.21332796 = queryWeight, product of:
                2.0166185 = boost
                7.268441 = idf(docFreq=80, maxDocs=42740)
                0.014554013 = queryNorm
              0.6814164 = fieldWeight in 5929, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.268441 = idf(docFreq=80, maxDocs=42740)
                0.09375 = fieldNorm(doc=5929)
          0.16246152 = weight(abstract_txt:rules in 5929) [ClassicSimilarity], result of:
            0.16246152 = score(doc=5929,freq=1.0), product of:
              0.33134595 = queryWeight, product of:
                4.353127 = boost
                5.2299504 = idf(docFreq=621, maxDocs=42740)
                0.014554013 = queryNorm
              0.49030787 = fieldWeight in 5929, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.2299504 = idf(docFreq=621, maxDocs=42740)
                0.09375 = fieldNorm(doc=5929)
          0.3258605 = weight(abstract_txt:inference in 5929) [ClassicSimilarity], result of:
            0.3258605 = score(doc=5929,freq=1.0), product of:
              0.49591666 = queryWeight, product of:
                4.861544 = boost
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.014554013 = queryNorm
              0.6570872 = fieldWeight in 5929, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.09375 = fieldNorm(doc=5929)
        0.16 = coord(4/25)
    
  4. Fuhr, N.: Probabilistic datalog : implementing logical information retrieval for advanced applications (2000) 0.10
    0.101389945 = sum of:
      0.101389945 = product of:
        0.8449162 = sum of:
          0.19382022 = weight(abstract_txt:facts in 5381) [ClassicSimilarity], result of:
            0.19382022 = score(doc=5381,freq=1.0), product of:
              0.21332796 = queryWeight, product of:
                2.0166185 = boost
                7.268441 = idf(docFreq=80, maxDocs=42740)
                0.014554013 = queryNorm
              0.90855515 = fieldWeight in 5381, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.268441 = idf(docFreq=80, maxDocs=42740)
                0.125 = fieldNorm(doc=5381)
          0.21661536 = weight(abstract_txt:rules in 5381) [ClassicSimilarity], result of:
            0.21661536 = score(doc=5381,freq=1.0), product of:
              0.33134595 = queryWeight, product of:
                4.353127 = boost
                5.2299504 = idf(docFreq=621, maxDocs=42740)
                0.014554013 = queryNorm
              0.6537438 = fieldWeight in 5381, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.2299504 = idf(docFreq=621, maxDocs=42740)
                0.125 = fieldNorm(doc=5381)
          0.43448067 = weight(abstract_txt:inference in 5381) [ClassicSimilarity], result of:
            0.43448067 = score(doc=5381,freq=1.0), product of:
              0.49591666 = queryWeight, product of:
                4.861544 = boost
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.014554013 = queryNorm
              0.8761163 = fieldWeight in 5381, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.125 = fieldNorm(doc=5381)
        0.12 = coord(3/25)
    
  5. Bold, N.; Kim, W.-J.; Yang, J.-D.: Converting object-based thesauri into XML Topic Maps (2010) 0.10
    0.10043393 = sum of:
      0.10043393 = product of:
        0.6277121 = sum of:
          0.14471689 = weight(abstract_txt:converter in 1800) [ClassicSimilarity], result of:
            0.14471689 = score(doc=1800,freq=1.0), product of:
              0.19063291 = queryWeight, product of:
                1.3479811 = boost
                9.71698 = idf(docFreq=6, maxDocs=42740)
                0.014554013 = queryNorm
              0.75913906 = fieldWeight in 1800, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.71698 = idf(docFreq=6, maxDocs=42740)
                0.078125 = fieldNorm(doc=1800)
          0.08343914 = weight(abstract_txt:topic in 1800) [ClassicSimilarity], result of:
            0.08343914 = score(doc=1800,freq=1.0), product of:
              0.20962912 = queryWeight, product of:
                2.8270967 = boost
                5.0948124 = idf(docFreq=711, maxDocs=42740)
                0.014554013 = queryNorm
              0.39803222 = fieldWeight in 1800, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.0948124 = idf(docFreq=711, maxDocs=42740)
                0.078125 = fieldNorm(doc=1800)
          0.12800564 = weight(abstract_txt:maps in 1800) [ClassicSimilarity], result of:
            0.12800564 = score(doc=1800,freq=1.0), product of:
              0.27884173 = queryWeight, product of:
                3.2605717 = boost
                5.8759933 = idf(docFreq=325, maxDocs=42740)
                0.014554013 = queryNorm
              0.45906198 = fieldWeight in 1800, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8759933 = idf(docFreq=325, maxDocs=42740)
                0.078125 = fieldNorm(doc=1800)
          0.27155042 = weight(abstract_txt:inference in 1800) [ClassicSimilarity], result of:
            0.27155042 = score(doc=1800,freq=1.0), product of:
              0.49591666 = queryWeight, product of:
                4.861544 = boost
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.014554013 = queryNorm
              0.5475727 = fieldWeight in 1800, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.00893 = idf(docFreq=104, maxDocs=42740)
                0.078125 = fieldNorm(doc=1800)
        0.16 = coord(4/25)