Document (#34058)

Author
Horridge, M.
Knublauch, H.
Rector, A.
Stevens, R.
Wroe, C.
Title
¬A practical guide to building OWL ontologies using the Protégé-OWL plugin and CO-ODE Tools
Issue
Edition 1.0.
Imprint
Manchester : University of Manchester
Year
2004
Pages
117 S
Abstract
This guide introduces the Protégé-OWL plugin for creating OWL ontologies. Chapter 3 gives a brief overview of the OWL ontology language. Chapter 4 focuses an building an OWL-DL ontology and using a Description Logic Reasoner to check the consistency of the ontology and automatically compute the ontology class hierarchy. Chapter 6 describes some OWL constructs such as has Value Restrictions and Enumerated classes, which aren't directly used in the main tutorial. Chapter 7 describes Namespaces, Importing ontologies and various features and utilities of the Protégé-OWL application.
Content
Vgl. auch unter: http://www.co-ode.org sowie http://protege.stanford.edu/ für Protégé.
Object
Protégé
OWL

Similar documents (author)

  1. Stevens, N.D.: ¬The flaw of subject access in the library catalog : an opinion (1984) 5.38
    5.3815155 = sum of:
      5.3815155 = weight(author_txt:stevens in 1877) [ClassicSimilarity], result of:
        5.3815155 = fieldWeight in 1877, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.610425 = idf(docFreq=21, maxDocs=44421)
          0.625 = fieldNorm(doc=1877)
    
  2. Stevens, N.D.: Evaluating reference books in theory and practice (1986) 5.38
    5.3815155 = sum of:
      5.3815155 = weight(author_txt:stevens in 4592) [ClassicSimilarity], result of:
        5.3815155 = fieldWeight in 4592, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.610425 = idf(docFreq=21, maxDocs=44421)
          0.625 = fieldNorm(doc=4592)
    
  3. Stevens, N.D.: Public libraries and the Internet / NREN : new challenges, new opportunities (1992) 5.38
    5.3815155 = sum of:
      5.3815155 = weight(author_txt:stevens in 6248) [ClassicSimilarity], result of:
        5.3815155 = fieldWeight in 6248, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.610425 = idf(docFreq=21, maxDocs=44421)
          0.625 = fieldNorm(doc=6248)
    
  4. Stevens, N.D.: First-hand reflections on the realities of reference service (1995) 5.38
    5.3815155 = sum of:
      5.3815155 = weight(author_txt:stevens in 1813) [ClassicSimilarity], result of:
        5.3815155 = fieldWeight in 1813, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.610425 = idf(docFreq=21, maxDocs=44421)
          0.625 = fieldNorm(doc=1813)
    
  5. Stevens, N.D.: ¬The importance of the verb in the reference question (1988) 5.38
    5.3815155 = sum of:
      5.3815155 = weight(author_txt:stevens in 2582) [ClassicSimilarity], result of:
        5.3815155 = fieldWeight in 2582, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          8.610425 = idf(docFreq=21, maxDocs=44421)
          0.625 = fieldNorm(doc=2582)
    

Similar documents (content)

  1. Horridge, M.; Brandt, S.: ¬A practical guide to building OWL ontologies using Protégé 4 and CO-ODE Tools (2011) 2.40
    2.3987935 = sum of:
      2.3987935 = product of:
        2.8557067 = sum of:
          0.047550246 = weight(abstract_txt:introduces in 5938) [ClassicSimilarity], result of:
            0.047550246 = score(doc=5938,freq=1.0), product of:
              0.074614674 = queryWeight, product of:
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.012806008 = queryNorm
              0.6372774 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.049279615 = weight(abstract_txt:class in 5938) [ClassicSimilarity], result of:
            0.049279615 = score(doc=5938,freq=1.0), product of:
              0.076413 = queryWeight, product of:
                1.011979 = boost
                5.8963327 = idf(docFreq=331, maxDocs=44421)
                0.012806008 = queryNorm
              0.6449114 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8963327 = idf(docFreq=331, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.05085392 = weight(abstract_txt:directly in 5938) [ClassicSimilarity], result of:
            0.05085392 = score(doc=5938,freq=1.0), product of:
              0.07803187 = queryWeight, product of:
                1.0226426 = boost
                5.9584646 = idf(docFreq=311, maxDocs=44421)
                0.012806008 = queryNorm
              0.65170705 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.9584646 = idf(docFreq=311, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.058342002 = weight(abstract_txt:logic in 5938) [ClassicSimilarity], result of:
            0.058342002 = score(doc=5938,freq=1.0), product of:
              0.08551519 = queryWeight, product of:
                1.0705563 = boost
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.012806008 = queryNorm
              0.6822414 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.062383305 = weight(abstract_txt:consistency in 5938) [ClassicSimilarity], result of:
            0.062383305 = score(doc=5938,freq=1.0), product of:
              0.08941999 = queryWeight, product of:
                1.0947254 = boost
                6.3784575 = idf(docFreq=204, maxDocs=44421)
                0.012806008 = queryNorm
              0.6976438 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3784575 = idf(docFreq=204, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.0676761 = weight(abstract_txt:hierarchy in 5938) [ClassicSimilarity], result of:
            0.0676761 = score(doc=5938,freq=1.0), product of:
              0.094408825 = queryWeight, product of:
                1.1248488 = boost
                6.553973 = idf(docFreq=171, maxDocs=44421)
                0.012806008 = queryNorm
              0.7168408 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.553973 = idf(docFreq=171, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.078883536 = weight(abstract_txt:constructs in 5938) [ClassicSimilarity], result of:
            0.078883536 = score(doc=5938,freq=1.0), product of:
              0.10456346 = queryWeight, product of:
                1.1837987 = boost
                6.8974466 = idf(docFreq=121, maxDocs=44421)
                0.012806008 = queryNorm
              0.75440824 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.8974466 = idf(docFreq=121, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.019860987 = weight(abstract_txt:using in 5938) [ClassicSimilarity], result of:
            0.019860987 = score(doc=5938,freq=1.0), product of:
              0.052529056 = queryWeight, product of:
                1.1865954 = boost
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.012806008 = queryNorm
              0.37809524 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.10513531 = weight(abstract_txt:check in 5938) [ClassicSimilarity], result of:
            0.10513531 = score(doc=5938,freq=1.0), product of:
              0.1266353 = queryWeight, product of:
                1.3027625 = boost
                7.590594 = idf(docFreq=60, maxDocs=44421)
                0.012806008 = queryNorm
              0.8302212 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.590594 = idf(docFreq=60, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.026966393 = weight(abstract_txt:describes in 5938) [ClassicSimilarity], result of:
            0.026966393 = score(doc=5938,freq=1.0), product of:
              0.06440916 = queryWeight, product of:
                1.3139435 = boost
                3.82787 = idf(docFreq=2626, maxDocs=44421)
                0.012806008 = queryNorm
              0.41867328 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.82787 = idf(docFreq=2626, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.10797873 = weight(abstract_txt:compute in 5938) [ClassicSimilarity], result of:
            0.10797873 = score(doc=5938,freq=1.0), product of:
              0.1289084 = queryWeight, product of:
                1.3144028 = boost
                7.6584163 = idf(docFreq=56, maxDocs=44421)
                0.012806008 = queryNorm
              0.8376393 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.6584163 = idf(docFreq=56, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.110281855 = weight(abstract_txt:restrictions in 5938) [ClassicSimilarity], result of:
            0.110281855 = score(doc=5938,freq=1.0), product of:
              0.13073497 = queryWeight, product of:
                1.3236823 = boost
                7.7124834 = idf(docFreq=53, maxDocs=44421)
                0.012806008 = queryNorm
              0.8435529 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.7124834 = idf(docFreq=53, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.115412004 = weight(abstract_txt:tutorial in 5938) [ClassicSimilarity], result of:
            0.115412004 = score(doc=5938,freq=1.0), product of:
              0.13475856 = queryWeight, product of:
                1.3438972 = boost
                7.8302665 = idf(docFreq=47, maxDocs=44421)
                0.012806008 = queryNorm
              0.8564354 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.8302665 = idf(docFreq=47, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.18334267 = weight(abstract_txt:enumerated in 5938) [ClassicSimilarity], result of:
            0.18334267 = score(doc=5938,freq=1.0), product of:
              0.18346986 = queryWeight, product of:
                1.5680873 = boost
                9.1365185 = idf(docFreq=12, maxDocs=44421)
                0.012806008 = queryNorm
              0.9993067 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.1365185 = idf(docFreq=12, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.22319146 = weight(abstract_txt:aren't in 5938) [ClassicSimilarity], result of:
            0.22319146 = score(doc=5938,freq=1.0), product of:
              0.20917386 = queryWeight, product of:
                1.674332 = boost
                9.755557 = idf(docFreq=6, maxDocs=44421)
                0.012806008 = queryNorm
              1.0670141 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.755557 = idf(docFreq=6, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.075581096 = weight(abstract_txt:building in 5938) [ClassicSimilarity], result of:
            0.075581096 = score(doc=5938,freq=1.0), product of:
              0.12803867 = queryWeight, product of:
                1.8525649 = boost
                5.397019 = idf(docFreq=546, maxDocs=44421)
                0.012806008 = queryNorm
              0.59029895 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.397019 = idf(docFreq=546, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.09094774 = weight(abstract_txt:guide in 5938) [ClassicSimilarity], result of:
            0.09094774 = score(doc=5938,freq=1.0), product of:
              0.14485283 = queryWeight, product of:
                1.9704543 = boost
                5.7404623 = idf(docFreq=387, maxDocs=44421)
                0.012806008 = queryNorm
              0.62786305 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.7404623 = idf(docFreq=387, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.14203529 = weight(abstract_txt:ontologies in 5938) [ClassicSimilarity], result of:
            0.14203529 = score(doc=5938,freq=1.0), product of:
              0.22319973 = queryWeight, product of:
                2.9956794 = boost
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.012806008 = queryNorm
              0.63635963 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.32408574 = weight(abstract_txt:ontology in 5938) [ClassicSimilarity], result of:
            0.32408574 = score(doc=5938,freq=4.0), product of:
              0.26822278 = queryWeight, product of:
                3.7919772 = boost
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.012806008 = queryNorm
              1.2082708 = fieldWeight in 5938, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.42259452 = weight(abstract_txt:chapter in 5938) [ClassicSimilarity], result of:
            0.42259452 = score(doc=5938,freq=3.0), product of:
              0.3523583 = queryWeight, product of:
                4.3462043 = boost
                6.3308296 = idf(docFreq=214, maxDocs=44421)
                0.012806008 = queryNorm
              1.1993318 = fieldWeight in 5938, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                6.3308296 = idf(docFreq=214, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
          0.49332422 = weight(abstract_txt:protégé in 5938) [ClassicSimilarity], result of:
            0.49332422 = score(doc=5938,freq=1.0), product of:
              0.5118992 = queryWeight, product of:
                4.536707 = boost
                8.811096 = idf(docFreq=17, maxDocs=44421)
                0.012806008 = queryNorm
              0.96371365 = fieldWeight in 5938, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.811096 = idf(docFreq=17, maxDocs=44421)
                0.109375 = fieldNorm(doc=5938)
        0.84 = coord(21/25)
    
  2. SKOS2OWL : Online tool for deriving OWL ontologies from SKOS categorization schemas (2007) 0.21
    0.21187435 = sum of:
      0.21187435 = product of:
        1.0593717 = sum of:
          0.058118764 = weight(abstract_txt:directly in 691) [ClassicSimilarity], result of:
            0.058118764 = score(doc=691,freq=1.0), product of:
              0.07803187 = queryWeight, product of:
                1.0226426 = boost
                5.9584646 = idf(docFreq=311, maxDocs=44421)
                0.012806008 = queryNorm
              0.7448081 = fieldWeight in 691, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.9584646 = idf(docFreq=311, maxDocs=44421)
                0.125 = fieldNorm(doc=691)
          0.02269827 = weight(abstract_txt:using in 691) [ClassicSimilarity], result of:
            0.02269827 = score(doc=691,freq=1.0), product of:
              0.052529056 = queryWeight, product of:
                1.1865954 = boost
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.012806008 = queryNorm
              0.43210885 = fieldWeight in 691, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.125 = fieldNorm(doc=691)
          0.2295637 = weight(abstract_txt:ontologies in 691) [ClassicSimilarity], result of:
            0.2295637 = score(doc=691,freq=2.0), product of:
              0.22319973 = queryWeight, product of:
                2.9956794 = boost
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.012806008 = queryNorm
              1.0285125 = fieldWeight in 691, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.125 = fieldNorm(doc=691)
          0.18519184 = weight(abstract_txt:ontology in 691) [ClassicSimilarity], result of:
            0.18519184 = score(doc=691,freq=1.0), product of:
              0.26822278 = queryWeight, product of:
                3.7919772 = boost
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.012806008 = queryNorm
              0.6904404 = fieldWeight in 691, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.125 = fieldNorm(doc=691)
          0.5637991 = weight(abstract_txt:protégé in 691) [ClassicSimilarity], result of:
            0.5637991 = score(doc=691,freq=1.0), product of:
              0.5118992 = queryWeight, product of:
                4.536707 = boost
                8.811096 = idf(docFreq=17, maxDocs=44421)
                0.012806008 = queryNorm
              1.101387 = fieldWeight in 691, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.811096 = idf(docFreq=17, maxDocs=44421)
                0.125 = fieldNorm(doc=691)
        0.2 = coord(5/25)
    
  3. Reimer, U.; Brockhausen, P.; Lau, T.; Reich, J.R.: Ontology-based knowledge management at work : the Swiss life case studies (2004) 0.16
    0.15655956 = sum of:
      0.15655956 = product of:
        0.5591413 = sum of:
          0.023775123 = weight(abstract_txt:introduces in 411) [ClassicSimilarity], result of:
            0.023775123 = score(doc=411,freq=1.0), product of:
              0.074614674 = queryWeight, product of:
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.012806008 = queryNorm
              0.3186387 = fieldWeight in 411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8265367 = idf(docFreq=355, maxDocs=44421)
                0.0546875 = fieldNorm(doc=411)
          0.009930493 = weight(abstract_txt:using in 411) [ClassicSimilarity], result of:
            0.009930493 = score(doc=411,freq=1.0), product of:
              0.052529056 = queryWeight, product of:
                1.1865954 = boost
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.012806008 = queryNorm
              0.18904762 = fieldWeight in 411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.0546875 = fieldNorm(doc=411)
          0.0134831965 = weight(abstract_txt:describes in 411) [ClassicSimilarity], result of:
            0.0134831965 = score(doc=411,freq=1.0), product of:
              0.06440916 = queryWeight, product of:
                1.3139435 = boost
                3.82787 = idf(docFreq=2626, maxDocs=44421)
                0.012806008 = queryNorm
              0.20933664 = fieldWeight in 411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.82787 = idf(docFreq=2626, maxDocs=44421)
                0.0546875 = fieldNorm(doc=411)
          0.037790548 = weight(abstract_txt:building in 411) [ClassicSimilarity], result of:
            0.037790548 = score(doc=411,freq=1.0), product of:
              0.12803867 = queryWeight, product of:
                1.8525649 = boost
                5.397019 = idf(docFreq=546, maxDocs=44421)
                0.012806008 = queryNorm
              0.29514948 = fieldWeight in 411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.397019 = idf(docFreq=546, maxDocs=44421)
                0.0546875 = fieldNorm(doc=411)
          0.12300617 = weight(abstract_txt:ontologies in 411) [ClassicSimilarity], result of:
            0.12300617 = score(doc=411,freq=3.0), product of:
              0.22319973 = queryWeight, product of:
                2.9956794 = boost
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.012806008 = queryNorm
              0.5511036 = fieldWeight in 411, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.0546875 = fieldNorm(doc=411)
          0.22916321 = weight(abstract_txt:ontology in 411) [ClassicSimilarity], result of:
            0.22916321 = score(doc=411,freq=8.0), product of:
              0.26822278 = queryWeight, product of:
                3.7919772 = boost
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.012806008 = queryNorm
              0.85437644 = fieldWeight in 411, product of:
                2.828427 = tf(freq=8.0), with freq of:
                  8.0 = termFreq=8.0
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.0546875 = fieldNorm(doc=411)
          0.12199252 = weight(abstract_txt:chapter in 411) [ClassicSimilarity], result of:
            0.12199252 = score(doc=411,freq=1.0), product of:
              0.3523583 = queryWeight, product of:
                4.3462043 = boost
                6.3308296 = idf(docFreq=214, maxDocs=44421)
                0.012806008 = queryNorm
              0.34621724 = fieldWeight in 411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3308296 = idf(docFreq=214, maxDocs=44421)
                0.0546875 = fieldNorm(doc=411)
        0.28 = coord(7/25)
    
  4. Naskar, D.; Das, S.: HNS ontology using faceted approach (2019) 0.13
    0.12785275 = sum of:
      0.12785275 = product of:
        0.63926375 = sum of:
          0.03333829 = weight(abstract_txt:logic in 267) [ClassicSimilarity], result of:
            0.03333829 = score(doc=267,freq=1.0), product of:
              0.08551519 = queryWeight, product of:
                1.0705563 = boost
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.012806008 = queryNorm
              0.38985223 = fieldWeight in 267, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.0625 = fieldNorm(doc=267)
          0.0160501 = weight(abstract_txt:using in 267) [ClassicSimilarity], result of:
            0.0160501 = score(doc=267,freq=2.0), product of:
              0.052529056 = queryWeight, product of:
                1.1865954 = boost
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.012806008 = queryNorm
              0.3055471 = fieldWeight in 267, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4568708 = idf(docFreq=3806, maxDocs=44421)
                0.0625 = fieldNorm(doc=267)
          0.08116303 = weight(abstract_txt:ontologies in 267) [ClassicSimilarity], result of:
            0.08116303 = score(doc=267,freq=1.0), product of:
              0.22319973 = queryWeight, product of:
                2.9956794 = boost
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.012806008 = queryNorm
              0.36363408 = fieldWeight in 267, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.0625 = fieldNorm(doc=267)
          0.22681277 = weight(abstract_txt:ontology in 267) [ClassicSimilarity], result of:
            0.22681277 = score(doc=267,freq=6.0), product of:
              0.26822278 = queryWeight, product of:
                3.7919772 = boost
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.012806008 = queryNorm
              0.84561336 = fieldWeight in 267, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.0625 = fieldNorm(doc=267)
          0.28189954 = weight(abstract_txt:protégé in 267) [ClassicSimilarity], result of:
            0.28189954 = score(doc=267,freq=1.0), product of:
              0.5118992 = queryWeight, product of:
                4.536707 = boost
                8.811096 = idf(docFreq=17, maxDocs=44421)
                0.012806008 = queryNorm
              0.5506935 = fieldWeight in 267, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.811096 = idf(docFreq=17, maxDocs=44421)
                0.0625 = fieldNorm(doc=267)
        0.2 = coord(5/25)
    
  5. Antoniou, G.; Harmelen, F. van: ¬A semantic Web primer (2004) 0.12
    0.12227076 = sum of:
      0.12227076 = product of:
        0.5094615 = sum of:
          0.03333829 = weight(abstract_txt:logic in 1468) [ClassicSimilarity], result of:
            0.03333829 = score(doc=1468,freq=1.0), product of:
              0.08551519 = queryWeight, product of:
                1.0705563 = boost
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.012806008 = queryNorm
              0.38985223 = fieldWeight in 1468, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.0625 = fieldNorm(doc=1468)
          0.043189198 = weight(abstract_txt:building in 1468) [ClassicSimilarity], result of:
            0.043189198 = score(doc=1468,freq=1.0), product of:
              0.12803867 = queryWeight, product of:
                1.8525649 = boost
                5.397019 = idf(docFreq=546, maxDocs=44421)
                0.012806008 = queryNorm
              0.33731368 = fieldWeight in 1468, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.397019 = idf(docFreq=546, maxDocs=44421)
                0.0625 = fieldNorm(doc=1468)
          0.05197014 = weight(abstract_txt:guide in 1468) [ClassicSimilarity], result of:
            0.05197014 = score(doc=1468,freq=1.0), product of:
              0.14485283 = queryWeight, product of:
                1.9704543 = boost
                5.7404623 = idf(docFreq=387, maxDocs=44421)
                0.012806008 = queryNorm
              0.3587789 = fieldWeight in 1468, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.7404623 = idf(docFreq=387, maxDocs=44421)
                0.0625 = fieldNorm(doc=1468)
          0.08116303 = weight(abstract_txt:ontologies in 1468) [ClassicSimilarity], result of:
            0.08116303 = score(doc=1468,freq=1.0), product of:
              0.22319973 = queryWeight, product of:
                2.9956794 = boost
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.012806008 = queryNorm
              0.36363408 = fieldWeight in 1468, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8181453 = idf(docFreq=358, maxDocs=44421)
                0.0625 = fieldNorm(doc=1468)
          0.16038086 = weight(abstract_txt:ontology in 1468) [ClassicSimilarity], result of:
            0.16038086 = score(doc=1468,freq=3.0), product of:
              0.26822278 = queryWeight, product of:
                3.7919772 = boost
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.012806008 = queryNorm
              0.59793895 = fieldWeight in 1468, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.5235233 = idf(docFreq=481, maxDocs=44421)
                0.0625 = fieldNorm(doc=1468)
          0.13942003 = weight(abstract_txt:chapter in 1468) [ClassicSimilarity], result of:
            0.13942003 = score(doc=1468,freq=1.0), product of:
              0.3523583 = queryWeight, product of:
                4.3462043 = boost
                6.3308296 = idf(docFreq=214, maxDocs=44421)
                0.012806008 = queryNorm
              0.39567685 = fieldWeight in 1468, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3308296 = idf(docFreq=214, maxDocs=44421)
                0.0625 = fieldNorm(doc=1468)
        0.24 = coord(6/25)