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.1241643 = sum of:
     0.1241643 = product of:
       0.6208215 = sum of:
         0.04309165 = weight(abstract_txt:processing in 539) [ClassicSimilarity], result of:
           0.04309165 = score(doc=539,freq=2.0), product of:
             0.09885268 = queryWeight, product of:
               1.3747123 = boost
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.014580316 = queryNorm
             0.43591788 = fieldWeight in 539, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.0625 = fieldNorm(doc=539)
         0.069705404 = weight(abstract_txt:implementing in 539) [ClassicSimilarity], result of:
           0.069705404 = score(doc=539,freq=1.0), product of:
             0.17162503 = queryWeight, product of:
               1.8113731 = boost
               6.49839 = idf(docFreq=180, maxDocs=44218)
               0.014580316 = queryNorm
             0.4061494 = fieldWeight in 539, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.49839 = idf(docFreq=180, maxDocs=44218)
               0.0625 = fieldNorm(doc=539)
         0.045507442 = weight(abstract_txt:model in 539) [ClassicSimilarity], result of:
           0.045507442 = score(doc=539,freq=2.0), product of:
             0.12915899 = queryWeight, product of:
               2.2222602 = boost
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.014580316 = queryNorm
             0.35233662 = fieldWeight in 539, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.986234 = idf(docFreq=2231, maxDocs=44218)
               0.0625 = fieldNorm(doc=539)
         0.20840631 = weight(abstract_txt:topic in 539) [ClassicSimilarity], result of:
           0.20840631 = score(doc=539,freq=10.0), product of:
             0.20829888 = queryWeight, product of:
               2.8221238 = boost
               5.062254 = idf(docFreq=760, maxDocs=44218)
               0.014580316 = queryNorm
             1.0005158 = fieldWeight in 539, product of:
               3.1622777 = tf(freq=10.0), with freq of:
                 10.0 = termFreq=10.0
               5.062254 = idf(docFreq=760, maxDocs=44218)
               0.0625 = fieldNorm(doc=539)
         0.25411066 = weight(abstract_txt:maps in 539) [ClassicSimilarity], result of:
           0.25411066 = score(doc=539,freq=6.0), product of:
             0.28186718 = queryWeight, product of:
               3.2828789 = boost
               5.888745 = idf(docFreq=332, maxDocs=44218)
               0.014580316 = queryNorm
             0.9015263 = fieldWeight in 539, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               5.888745 = idf(docFreq=332, maxDocs=44218)
               0.0625 = fieldNorm(doc=539)
       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.11381686 = sum of:
     0.11381686 = product of:
       0.40648878 = sum of:
         0.009737296 = weight(abstract_txt:most in 2863) [ClassicSimilarity], result of:
           0.009737296 = score(doc=2863,freq=1.0), product of:
             0.06320847 = queryWeight, product of:
               1.0992721 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.014580316 = queryNorm
             0.1540505 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.019044 = weight(abstract_txt:processing in 2863) [ClassicSimilarity], result of:
           0.019044 = score(doc=2863,freq=1.0), product of:
             0.09885268 = queryWeight, product of:
               1.3747123 = boost
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.014580316 = queryNorm
             0.19265032 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.043565877 = weight(abstract_txt:implementing in 2863) [ClassicSimilarity], result of:
           0.043565877 = score(doc=2863,freq=1.0), product of:
             0.17162503 = queryWeight, product of:
               1.8113731 = boost
               6.49839 = idf(docFreq=180, maxDocs=44218)
               0.014580316 = queryNorm
             0.25384337 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.49839 = idf(docFreq=180, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.041189913 = weight(abstract_txt:topic in 2863) [ClassicSimilarity], result of:
           0.041189913 = score(doc=2863,freq=1.0), product of:
             0.20829888 = queryWeight, product of:
               2.8221238 = boost
               5.062254 = idf(docFreq=760, maxDocs=44218)
               0.014580316 = queryNorm
             0.1977443 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.062254 = idf(docFreq=760, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.09169429 = weight(abstract_txt:maps in 2863) [ClassicSimilarity], result of:
           0.09169429 = score(doc=2863,freq=2.0), product of:
             0.28186718 = queryWeight, product of:
               3.2828789 = boost
               5.888745 = idf(docFreq=332, maxDocs=44218)
               0.014580316 = queryNorm
             0.32531026 = fieldWeight in 2863, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.888745 = idf(docFreq=332, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.06840595 = weight(abstract_txt:rules in 2863) [ClassicSimilarity], result of:
           0.06840595 = score(doc=2863,freq=1.0), product of:
             0.33438954 = queryWeight, product of:
               4.3792987 = boost
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.014580316 = queryNorm
             0.20456964 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
         0.13285145 = weight(abstract_txt:inference in 2863) [ClassicSimilarity], result of:
           0.13285145 = score(doc=2863,freq=1.0), product of:
             0.48982456 = queryWeight, product of:
               4.838468 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.014580316 = queryNorm
             0.27122253 = fieldWeight in 2863, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.0390625 = fieldNorm(doc=2863)
       0.28 = coord(7/25)
   

3. Cali, A.: Ontology querying : datalog strikes back (2017) 0.11

   0.11056471 = sum of:
     0.11056471 = product of:
       0.6910294 = sum of:
         0.064637475 = weight(abstract_txt:processing in 3928) [ClassicSimilarity], result of:
           0.064637475 = score(doc=3928,freq=2.0), product of:
             0.09885268 = queryWeight, product of:
               1.3747123 = boost
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.014580316 = queryNorm
             0.65387684 = fieldWeight in 3928, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.931848 = idf(docFreq=866, maxDocs=44218)
               0.09375 = fieldNorm(doc=3928)
         0.14337413 = weight(abstract_txt:facts in 3928) [ClassicSimilarity], result of:
           0.14337413 = score(doc=3928,freq=1.0), product of:
             0.21183093 = queryWeight, product of:
               2.0123906 = boost
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.014580316 = queryNorm
             0.67683285 = fieldWeight in 3928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.09375 = fieldNorm(doc=3928)
         0.16417427 = weight(abstract_txt:rules in 3928) [ClassicSimilarity], result of:
           0.16417427 = score(doc=3928,freq=1.0), product of:
             0.33438954 = queryWeight, product of:
               4.3792987 = boost
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.014580316 = queryNorm
             0.49096715 = fieldWeight in 3928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.09375 = fieldNorm(doc=3928)
         0.3188435 = weight(abstract_txt:inference in 3928) [ClassicSimilarity], result of:
           0.3188435 = score(doc=3928,freq=1.0), product of:
             0.48982456 = queryWeight, product of:
               4.838468 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.014580316 = queryNorm
             0.6509341 = fieldWeight in 3928, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.09375 = fieldNorm(doc=3928)
       0.16 = coord(4/25)
   

4. Frisch, A.M.; Allen, J.F.: Knowledge retrieval as limited inference (1982) 0.11

   0.10673768 = sum of:
     0.10673768 = product of:
       0.6671105 = sum of:
         0.054398656 = weight(abstract_txt:specify in 5804) [ClassicSimilarity], result of:
           0.054398656 = score(doc=5804,freq=1.0), product of:
             0.11546538 = queryWeight, product of:
               1.0505785 = boost
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.014580316 = queryNorm
             0.47112525 = fieldWeight in 5804, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.538004 = idf(docFreq=63, maxDocs=44218)
               0.0625 = fieldNorm(doc=5804)
         0.022032985 = weight(abstract_txt:most in 5804) [ClassicSimilarity], result of:
           0.022032985 = score(doc=5804,freq=2.0), product of:
             0.06320847 = queryWeight, product of:
               1.0992721 = boost
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.014580316 = queryNorm
             0.3485765 = fieldWeight in 5804, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.943693 = idf(docFreq=2328, maxDocs=44218)
               0.0625 = fieldNorm(doc=5804)
         0.16555418 = weight(abstract_txt:facts in 5804) [ClassicSimilarity], result of:
           0.16555418 = score(doc=5804,freq=3.0), product of:
             0.21183093 = queryWeight, product of:
               2.0123906 = boost
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.014580316 = queryNorm
             0.78153926 = fieldWeight in 5804, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.0625 = fieldNorm(doc=5804)
         0.42512468 = weight(abstract_txt:inference in 5804) [ClassicSimilarity], result of:
           0.42512468 = score(doc=5804,freq=4.0), product of:
             0.48982456 = queryWeight, product of:
               4.838468 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.014580316 = queryNorm
             0.8679121 = fieldWeight in 5804, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.0625 = fieldNorm(doc=5804)
       0.16 = coord(4/25)
   

5. Fuhr, N.: Probabilistic datalog : implementing logical information retrieval for advanced applications (2000) 0.10

   0.10022271 = sum of:
     0.10022271 = product of:
       0.8351892 = sum of:
         0.1911655 = weight(abstract_txt:facts in 4380) [ClassicSimilarity], result of:
           0.1911655 = score(doc=4380,freq=1.0), product of:
             0.21183093 = queryWeight, product of:
               2.0123906 = boost
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.014580316 = queryNorm
             0.9024438 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.2195506 = idf(docFreq=87, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.21889903 = weight(abstract_txt:rules in 4380) [ClassicSimilarity], result of:
           0.21889903 = score(doc=4380,freq=1.0), product of:
             0.33438954 = queryWeight, product of:
               4.3792987 = boost
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.014580316 = queryNorm
             0.65462285 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.236983 = idf(docFreq=638, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
         0.42512468 = weight(abstract_txt:inference in 4380) [ClassicSimilarity], result of:
           0.42512468 = score(doc=4380,freq=1.0), product of:
             0.48982456 = queryWeight, product of:
               4.838468 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.014580316 = queryNorm
             0.8679121 = fieldWeight in 4380, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.125 = fieldNorm(doc=4380)
       0.12 = coord(3/25)