Document (#36731)

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.12434999 = sum of:
  0.12434999 = product of:
    0.62174994 = sum of:
      0.043029588 = weight(abstract_txt:processing in 1539) [ClassicSimilarity], result of:
        0.043029588 = score(doc=1539,freq=2.0), product of:
          0.09884835 = queryWeight, product of:
            1.3719167 = boost
            4.9249606 = idf(docFreq=876, maxDocs=44421)
            0.0146298185 = queryNorm
          0.4353091 = fieldWeight in 1539, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.9249606 = idf(docFreq=876, maxDocs=44421)
            0.0625 = fieldNorm(doc=1539)
      0.069867454 = weight(abstract_txt:implementing in 1539) [ClassicSimilarity], result of:
        0.069867454 = score(doc=1539,freq=1.0), product of:
          0.17204864 = queryWeight, product of:
            1.8099586 = boost
            6.497461 = idf(docFreq=181, maxDocs=44421)
            0.0146298185 = queryNorm
          0.4060913 = fieldWeight in 1539, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.497461 = idf(docFreq=181, maxDocs=44421)
            0.0625 = fieldNorm(doc=1539)
      0.04551437 = weight(abstract_txt:model in 1539) [ClassicSimilarity], result of:
        0.04551437 = score(doc=1539,freq=2.0), product of:
          0.12929061 = queryWeight, product of:
            2.2189193 = boost
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.0146298185 = queryNorm
          0.35203153 = fieldWeight in 1539, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.9827821 = idf(docFreq=2249, maxDocs=44421)
            0.0625 = fieldNorm(doc=1539)
      0.20793267 = weight(abstract_txt:topic in 1539) [ClassicSimilarity], result of:
        0.20793267 = score(doc=1539,freq=10.0), product of:
          0.20817398 = queryWeight, product of:
            2.8156018 = boost
            5.053779 = idf(docFreq=770, maxDocs=44421)
            0.0146298185 = queryNorm
          0.9988408 = fieldWeight in 1539, product of:
            3.1622777 = tf(freq=10.0), with freq of:
              10.0 = termFreq=10.0
            5.053779 = idf(docFreq=770, maxDocs=44421)
            0.0625 = fieldNorm(doc=1539)
      0.25540584 = weight(abstract_txt:maps in 1539) [ClassicSimilarity], result of:
        0.25540584 = score(doc=1539,freq=6.0), product of:
          0.28308362 = queryWeight, product of:
            3.2833364 = boost
            5.8933253 = idf(docFreq=332, maxDocs=44421)
            0.0146298185 = queryNorm
          0.9022275 = fieldWeight in 1539, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            5.8933253 = idf(docFreq=332, maxDocs=44421)
            0.0625 = fieldNorm(doc=1539)
    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.11364745 = sum of:
  0.11364745 = product of:
    0.40588376 = sum of:
      0.009753632 = weight(abstract_txt:most in 3863) [ClassicSimilarity], result of:
        0.009753632 = score(doc=3863,freq=1.0), product of:
          0.0633372 = queryWeight, product of:
            1.0981773 = boost
            3.94228 = idf(docFreq=2342, maxDocs=44421)
            0.0146298185 = queryNorm
          0.15399532 = fieldWeight in 3863, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            3.94228 = idf(docFreq=2342, maxDocs=44421)
            0.0390625 = fieldNorm(doc=3863)
      0.019016571 = weight(abstract_txt:processing in 3863) [ClassicSimilarity], result of:
        0.019016571 = score(doc=3863,freq=1.0), product of:
          0.09884835 = queryWeight, product of:
            1.3719167 = boost
            4.9249606 = idf(docFreq=876, maxDocs=44421)
            0.0146298185 = queryNorm
          0.19238128 = fieldWeight in 3863, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            4.9249606 = idf(docFreq=876, maxDocs=44421)
            0.0390625 = fieldNorm(doc=3863)
      0.04366716 = weight(abstract_txt:implementing in 3863) [ClassicSimilarity], result of:
        0.04366716 = score(doc=3863,freq=1.0), product of:
          0.17204864 = queryWeight, product of:
            1.8099586 = boost
            6.497461 = idf(docFreq=181, maxDocs=44421)
            0.0146298185 = queryNorm
          0.25380707 = fieldWeight in 3863, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.497461 = idf(docFreq=181, maxDocs=44421)
            0.0390625 = fieldNorm(doc=3863)
      0.0410963 = weight(abstract_txt:topic in 3863) [ClassicSimilarity], result of:
        0.0410963 = score(doc=3863,freq=1.0), product of:
          0.20817398 = queryWeight, product of:
            2.8156018 = boost
            5.053779 = idf(docFreq=770, maxDocs=44421)
            0.0146298185 = queryNorm
          0.19741325 = fieldWeight in 3863, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.053779 = idf(docFreq=770, maxDocs=44421)
            0.0390625 = fieldNorm(doc=3863)
      0.09216163 = weight(abstract_txt:maps in 3863) [ClassicSimilarity], result of:
        0.09216163 = score(doc=3863,freq=2.0), product of:
          0.28308362 = queryWeight, product of:
            3.2833364 = boost
            5.8933253 = idf(docFreq=332, maxDocs=44421)
            0.0146298185 = queryNorm
          0.32556328 = fieldWeight in 3863, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            5.8933253 = idf(docFreq=332, maxDocs=44421)
            0.0390625 = fieldNorm(doc=3863)
      0.068651594 = weight(abstract_txt:rules in 3863) [ClassicSimilarity], result of:
        0.068651594 = score(doc=3863,freq=1.0), product of:
          0.3354971 = queryWeight, product of:
            4.377721 = boost
            5.238438 = idf(docFreq=640, maxDocs=44421)
            0.0146298185 = queryNorm
          0.20462649 = fieldWeight in 3863, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.238438 = idf(docFreq=640, maxDocs=44421)
            0.0390625 = fieldNorm(doc=3863)
      0.13153687 = weight(abstract_txt:inference in 3863) [ClassicSimilarity], result of:
        0.13153687 = score(doc=3863,freq=1.0), product of:
          0.48703438 = queryWeight, product of:
            4.8149614 = boost
            6.9139757 = idf(docFreq=119, maxDocs=44421)
            0.0146298185 = queryNorm
          0.27007717 = fieldWeight in 3863, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.9139757 = idf(docFreq=119, maxDocs=44421)
            0.0390625 = fieldNorm(doc=3863)
    0.28 = coord(7/25)
  3. Cali, A.: Ontology querying : datalog strikes back (2017) 0.11 
    0.10992698 = sum of:
  0.10992698 = product of:
    0.68704367 = sum of:
      0.06454438 = weight(abstract_txt:processing in 4928) [ClassicSimilarity], result of:
        0.06454438 = score(doc=4928,freq=2.0), product of:
          0.09884835 = queryWeight, product of:
            1.3719167 = boost
            4.9249606 = idf(docFreq=876, maxDocs=44421)
            0.0146298185 = queryNorm
          0.65296364 = fieldWeight in 4928, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            4.9249606 = idf(docFreq=876, maxDocs=44421)
            0.09375 = fieldNorm(doc=4928)
      0.14204697 = weight(abstract_txt:facts in 4928) [ClassicSimilarity], result of:
        0.14204697 = score(doc=4928,freq=1.0), product of:
          0.21071483 = queryWeight, product of:
            2.0030444 = boost
            7.190608 = idf(docFreq=90, maxDocs=44421)
            0.0146298185 = queryNorm
          0.6741195 = fieldWeight in 4928, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.190608 = idf(docFreq=90, maxDocs=44421)
            0.09375 = fieldNorm(doc=4928)
      0.16476384 = weight(abstract_txt:rules in 4928) [ClassicSimilarity], result of:
        0.16476384 = score(doc=4928,freq=1.0), product of:
          0.3354971 = queryWeight, product of:
            4.377721 = boost
            5.238438 = idf(docFreq=640, maxDocs=44421)
            0.0146298185 = queryNorm
          0.4911036 = fieldWeight in 4928, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.238438 = idf(docFreq=640, maxDocs=44421)
            0.09375 = fieldNorm(doc=4928)
      0.3156885 = weight(abstract_txt:inference in 4928) [ClassicSimilarity], result of:
        0.3156885 = score(doc=4928,freq=1.0), product of:
          0.48703438 = queryWeight, product of:
            4.8149614 = boost
            6.9139757 = idf(docFreq=119, maxDocs=44421)
            0.0146298185 = queryNorm
          0.64818525 = fieldWeight in 4928, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.9139757 = idf(docFreq=119, maxDocs=44421)
            0.09375 = fieldNorm(doc=4928)
    0.16 = coord(4/25)
  4. Frisch, A.M.; Allen, J.F.: Knowledge retrieval as limited inference (1982) 0.11 
    0.105865225 = sum of:
  0.105865225 = product of:
    0.6616577 = sum of:
      0.054648027 = weight(abstract_txt:specify in 804) [ClassicSimilarity], result of:
        0.054648027 = score(doc=804,freq=1.0), product of:
          0.11592425 = queryWeight, product of:
            1.0505462 = boost
            7.5425844 = idf(docFreq=63, maxDocs=44421)
            0.0146298185 = queryNorm
          0.47141153 = fieldWeight in 804, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            7.5425844 = idf(docFreq=63, maxDocs=44421)
            0.0625 = fieldNorm(doc=804)
      0.02206995 = weight(abstract_txt:most in 804) [ClassicSimilarity], result of:
        0.02206995 = score(doc=804,freq=2.0), product of:
          0.0633372 = queryWeight, product of:
            1.0981773 = boost
            3.94228 = idf(docFreq=2342, maxDocs=44421)
            0.0146298185 = queryNorm
          0.3484516 = fieldWeight in 804, product of:
            1.4142135 = tf(freq=2.0), with freq of:
              2.0 = termFreq=2.0
            3.94228 = idf(docFreq=2342, maxDocs=44421)
            0.0625 = fieldNorm(doc=804)
      0.16402172 = weight(abstract_txt:facts in 804) [ClassicSimilarity], result of:
        0.16402172 = score(doc=804,freq=3.0), product of:
          0.21071483 = queryWeight, product of:
            2.0030444 = boost
            7.190608 = idf(docFreq=90, maxDocs=44421)
            0.0146298185 = queryNorm
          0.77840614 = fieldWeight in 804, product of:
            1.7320508 = tf(freq=3.0), with freq of:
              3.0 = termFreq=3.0
            7.190608 = idf(docFreq=90, maxDocs=44421)
            0.0625 = fieldNorm(doc=804)
      0.420918 = weight(abstract_txt:inference in 804) [ClassicSimilarity], result of:
        0.420918 = score(doc=804,freq=4.0), product of:
          0.48703438 = queryWeight, product of:
            4.8149614 = boost
            6.9139757 = idf(docFreq=119, maxDocs=44421)
            0.0146298185 = queryNorm
          0.86424696 = fieldWeight in 804, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            6.9139757 = idf(docFreq=119, maxDocs=44421)
            0.0625 = fieldNorm(doc=804)
    0.16 = coord(4/25)
  5. Bold, N.; Kim, W.-J.; Yang, J.-D.: Converting object-based thesauri into XML Topic Maps (2010) 0.10 
    0.09974473 = sum of:
  0.09974473 = product of:
    0.62340456 = sum of:
      0.14780197 = weight(abstract_txt:converter in 799) [ClassicSimilarity], result of:
        0.14780197 = score(doc=799,freq=1.0), product of:
          0.19392692 = queryWeight, product of:
            1.3587735 = boost
            9.755557 = idf(docFreq=6, maxDocs=44421)
            0.0146298185 = queryNorm
          0.7621529 = fieldWeight in 799, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            9.755557 = idf(docFreq=6, maxDocs=44421)
            0.078125 = fieldNorm(doc=799)
      0.0821926 = weight(abstract_txt:topic in 799) [ClassicSimilarity], result of:
        0.0821926 = score(doc=799,freq=1.0), product of:
          0.20817398 = queryWeight, product of:
            2.8156018 = boost
            5.053779 = idf(docFreq=770, maxDocs=44421)
            0.0146298185 = queryNorm
          0.3948265 = fieldWeight in 799, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.053779 = idf(docFreq=770, maxDocs=44421)
            0.078125 = fieldNorm(doc=799)
      0.13033624 = weight(abstract_txt:maps in 799) [ClassicSimilarity], result of:
        0.13033624 = score(doc=799,freq=1.0), product of:
          0.28308362 = queryWeight, product of:
            3.2833364 = boost
            5.8933253 = idf(docFreq=332, maxDocs=44421)
            0.0146298185 = queryNorm
          0.46041605 = fieldWeight in 799, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            5.8933253 = idf(docFreq=332, maxDocs=44421)
            0.078125 = fieldNorm(doc=799)
      0.26307374 = weight(abstract_txt:inference in 799) [ClassicSimilarity], result of:
        0.26307374 = score(doc=799,freq=1.0), product of:
          0.48703438 = queryWeight, product of:
            4.8149614 = boost
            6.9139757 = idf(docFreq=119, maxDocs=44421)
            0.0146298185 = queryNorm
          0.54015434 = fieldWeight in 799, product of:
            1.0 = tf(freq=1.0), with freq of:
              1.0 = termFreq=1.0
            6.9139757 = idf(docFreq=119, maxDocs=44421)
            0.078125 = fieldNorm(doc=799)
    0.16 = coord(4/25)