Document (#41607)

Author
Matuszek, C.
Cabral, J.
Witbrock, M.
DeOliveira, J.
Title
¬An introduction to the syntax and content of Cyc
Source
Formalizing and compiling background knowledge and its applications to knowledge representation and question answering : papers from the AAAI spring symposium ; [March 27 - 29, 2006, Stanford, California] / Chitta Baral, chair
Imprint
Menlo Park, Calif. : AAAI Press
Year
2006
Pages
S.44-49
Series
Technical report // American Association for Artificial Intelligence[Technical report / SS] / American Association for Artificial Intelligence: AAAI-SS-06-05
Abstract
From the beginning, a primary goal of the Cyc project has been to build a large knowledge base containing a store of formalized background knowledge suitable for supporting reasoning in a variety of domains. In this paper, we will discuss the portion of Cyc technology that has been released in open source form as OpenCyc, provide examples of the content available in ResearchCyc, and discuss their utility for the future development of fully formalized knowledge bases.
Content
Vgl.: http://cynthia.matuszek.org/Pubs/AAAI06SS-SyntaxAndContentOfCyc.pdf Vgl.auch: https://www.researchgate.net/publication/221250660_An_Introduction_to_the_Syntax_and_Content_of_Cyc.
Theme
Wissensrepräsentation
Object
Cyc

Similar documents (content)

  1. Giunchiglia, F.; Maltese, V.; Dutta, B.: Domains and context : first steps towards managing diversity in knowledge (2011) 0.18
    0.18424262 = sum of:
      0.18424262 = product of:
        0.5757582 = sum of:
          0.06611775 = weight(abstract_txt:base in 2604) [ClassicSimilarity], result of:
            0.06611775 = score(doc=2604,freq=2.0), product of:
              0.13305533 = queryWeight, product of:
                1.0868722 = boost
                5.621999 = idf(docFreq=415, maxDocs=42306)
                0.021775244 = queryNorm
              0.49691918 = fieldWeight in 2604, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.621999 = idf(docFreq=415, maxDocs=42306)
                0.0625 = fieldNorm(doc=2604)
          0.046872642 = weight(abstract_txt:goal in 2604) [ClassicSimilarity], result of:
            0.046872642 = score(doc=2604,freq=1.0), product of:
              0.13328354 = queryWeight, product of:
                1.087804 = boost
                5.626818 = idf(docFreq=413, maxDocs=42306)
                0.021775244 = queryNorm
              0.35167614 = fieldWeight in 2604, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.626818 = idf(docFreq=413, maxDocs=42306)
                0.0625 = fieldNorm(doc=2604)
          0.066979945 = weight(abstract_txt:domains in 2604) [ClassicSimilarity], result of:
            0.066979945 = score(doc=2604,freq=2.0), product of:
              0.13420956 = queryWeight, product of:
                1.0915762 = boost
                5.646331 = idf(docFreq=405, maxDocs=42306)
                0.021775244 = queryNorm
              0.49906984 = fieldWeight in 2604, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.646331 = idf(docFreq=405, maxDocs=42306)
                0.0625 = fieldNorm(doc=2604)
          0.08460152 = weight(abstract_txt:background in 2604) [ClassicSimilarity], result of:
            0.08460152 = score(doc=2604,freq=3.0), product of:
              0.13699622 = queryWeight, product of:
                1.1028506 = boost
                5.704649 = idf(docFreq=382, maxDocs=42306)
                0.021775244 = queryNorm
              0.6175464 = fieldWeight in 2604, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.704649 = idf(docFreq=382, maxDocs=42306)
                0.0625 = fieldNorm(doc=2604)
          0.05448036 = weight(abstract_txt:build in 2604) [ClassicSimilarity], result of:
            0.05448036 = score(doc=2604,freq=1.0), product of:
              0.14734098 = queryWeight, product of:
                1.1437317 = boost
                5.916112 = idf(docFreq=309, maxDocs=42306)
                0.021775244 = queryNorm
              0.369757 = fieldWeight in 2604, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.916112 = idf(docFreq=309, maxDocs=42306)
                0.0625 = fieldNorm(doc=2604)
          0.058710624 = weight(abstract_txt:suitable in 2604) [ClassicSimilarity], result of:
            0.058710624 = score(doc=2604,freq=1.0), product of:
              0.15487264 = queryWeight, product of:
                1.1725996 = boost
                6.0654354 = idf(docFreq=266, maxDocs=42306)
                0.021775244 = queryNorm
              0.3790897 = fieldWeight in 2604, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.0654354 = idf(docFreq=266, maxDocs=42306)
                0.0625 = fieldNorm(doc=2604)
          0.1002971 = weight(abstract_txt:reasoning in 2604) [ClassicSimilarity], result of:
            0.1002971 = score(doc=2604,freq=2.0), product of:
              0.17566255 = queryWeight, product of:
                1.248826 = boost
                6.4597273 = idf(docFreq=179, maxDocs=42306)
                0.021775244 = queryNorm
              0.57096463 = fieldWeight in 2604, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.4597273 = idf(docFreq=179, maxDocs=42306)
                0.0625 = fieldNorm(doc=2604)
          0.097698264 = weight(abstract_txt:knowledge in 2604) [ClassicSimilarity], result of:
            0.097698264 = score(doc=2604,freq=7.0), product of:
              0.16396931 = queryWeight, product of:
                2.0897977 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.021775244 = queryNorm
              0.59583265 = fieldWeight in 2604, product of:
                2.6457512 = tf(freq=7.0), with freq of:
                  7.0 = termFreq=7.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.0625 = fieldNorm(doc=2604)
        0.32 = coord(8/25)
    
  2. McGuinness, D.L.: Conceptual modeling for distributed ontology environments (2000) 0.10
    0.10127458 = sum of:
      0.10127458 = product of:
        0.42197743 = sum of:
          0.046752308 = weight(abstract_txt:base in 74) [ClassicSimilarity], result of:
            0.046752308 = score(doc=74,freq=1.0), product of:
              0.13305533 = queryWeight, product of:
                1.0868722 = boost
                5.621999 = idf(docFreq=415, maxDocs=42306)
                0.021775244 = queryNorm
              0.35137492 = fieldWeight in 74, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.621999 = idf(docFreq=415, maxDocs=42306)
                0.0625 = fieldNorm(doc=74)
          0.06815274 = weight(abstract_txt:bases in 74) [ClassicSimilarity], result of:
            0.06815274 = score(doc=74,freq=1.0), product of:
              0.17106158 = queryWeight, product of:
                1.2323629 = boost
                6.3745694 = idf(docFreq=195, maxDocs=42306)
                0.021775244 = queryNorm
              0.3984106 = fieldWeight in 74, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3745694 = idf(docFreq=195, maxDocs=42306)
                0.0625 = fieldNorm(doc=74)
          0.1002971 = weight(abstract_txt:reasoning in 74) [ClassicSimilarity], result of:
            0.1002971 = score(doc=74,freq=2.0), product of:
              0.17566255 = queryWeight, product of:
                1.248826 = boost
                6.4597273 = idf(docFreq=179, maxDocs=42306)
                0.021775244 = queryNorm
              0.57096463 = fieldWeight in 74, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.4597273 = idf(docFreq=179, maxDocs=42306)
                0.0625 = fieldNorm(doc=74)
          0.039205033 = weight(abstract_txt:content in 74) [ClassicSimilarity], result of:
            0.039205033 = score(doc=74,freq=1.0), product of:
              0.14907385 = queryWeight, product of:
                1.6269646 = boost
                4.207851 = idf(docFreq=1710, maxDocs=42306)
                0.021775244 = queryNorm
              0.26299068 = fieldWeight in 74, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.207851 = idf(docFreq=1710, maxDocs=42306)
                0.0625 = fieldNorm(doc=74)
          0.082570106 = weight(abstract_txt:knowledge in 74) [ClassicSimilarity], result of:
            0.082570106 = score(doc=74,freq=5.0), product of:
              0.16396931 = queryWeight, product of:
                2.0897977 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.021775244 = queryNorm
              0.5035705 = fieldWeight in 74, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.0625 = fieldNorm(doc=74)
          0.085000135 = weight(abstract_txt:discuss in 74) [ClassicSimilarity], result of:
            0.085000135 = score(doc=74,freq=1.0), product of:
              0.24972 = queryWeight, product of:
                2.1057365 = boost
                5.4461083 = idf(docFreq=495, maxDocs=42306)
                0.021775244 = queryNorm
              0.34038177 = fieldWeight in 74, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.4461083 = idf(docFreq=495, maxDocs=42306)
                0.0625 = fieldNorm(doc=74)
        0.24 = coord(6/25)
    
  3. Martin, P.: Conventions and notations for knowledge representation and retrieval (2000) 0.10
    0.09565578 = sum of:
      0.09565578 = product of:
        0.5978486 = sum of:
          0.08340362 = weight(abstract_txt:beginning in 71) [ClassicSimilarity], result of:
            0.08340362 = score(doc=71,freq=1.0), product of:
              0.16866055 = queryWeight, product of:
                1.2236836 = boost
                6.3296742 = idf(docFreq=204, maxDocs=42306)
                0.021775244 = queryNorm
              0.4945058 = fieldWeight in 71, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3296742 = idf(docFreq=204, maxDocs=42306)
                0.078125 = fieldNorm(doc=71)
          0.031836096 = weight(abstract_txt:been in 71) [ClassicSimilarity], result of:
            0.031836096 = score(doc=71,freq=1.0), product of:
              0.11181845 = queryWeight, product of:
                1.4090749 = boost
                3.6443186 = idf(docFreq=3005, maxDocs=42306)
                0.021775244 = queryNorm
              0.28471237 = fieldWeight in 71, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6443186 = idf(docFreq=3005, maxDocs=42306)
                0.078125 = fieldNorm(doc=71)
          0.113063775 = weight(abstract_txt:knowledge in 71) [ClassicSimilarity], result of:
            0.113063775 = score(doc=71,freq=6.0), product of:
              0.16396931 = queryWeight, product of:
                2.0897977 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.021775244 = queryNorm
              0.6895423 = fieldWeight in 71, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.078125 = fieldNorm(doc=71)
          0.3695451 = weight(abstract_txt:formalized in 71) [ClassicSimilarity], result of:
            0.3695451 = score(doc=71,freq=1.0), product of:
              0.5732515 = queryWeight, product of:
                3.1904354 = boost
                8.251487 = idf(docFreq=29, maxDocs=42306)
                0.021775244 = queryNorm
              0.6446474 = fieldWeight in 71, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.251487 = idf(docFreq=29, maxDocs=42306)
                0.078125 = fieldNorm(doc=71)
        0.16 = coord(4/25)
    
  4. Fridman Noy, N.: Knowledge representation for intelligent information retrieval in experimental sciences (1997) 0.09
    0.09222017 = sum of:
      0.09222017 = product of:
        0.46110085 = sum of:
          0.04090827 = weight(abstract_txt:base in 2695) [ClassicSimilarity], result of:
            0.04090827 = score(doc=2695,freq=1.0), product of:
              0.13305533 = queryWeight, product of:
                1.0868722 = boost
                5.621999 = idf(docFreq=415, maxDocs=42306)
                0.021775244 = queryNorm
              0.30745307 = fieldWeight in 2695, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.621999 = idf(docFreq=415, maxDocs=42306)
                0.0546875 = fieldNorm(doc=2695)
          0.041441724 = weight(abstract_txt:domains in 2695) [ClassicSimilarity], result of:
            0.041441724 = score(doc=2695,freq=1.0), product of:
              0.13420956 = queryWeight, product of:
                1.0915762 = boost
                5.646331 = idf(docFreq=405, maxDocs=42306)
                0.021775244 = queryNorm
              0.3087837 = fieldWeight in 2695, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.646331 = idf(docFreq=405, maxDocs=42306)
                0.0546875 = fieldNorm(doc=2695)
          0.04569418 = weight(abstract_txt:knowledge in 2695) [ClassicSimilarity], result of:
            0.04569418 = score(doc=2695,freq=2.0), product of:
              0.16396931 = queryWeight, product of:
                2.0897977 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.021775244 = queryNorm
              0.2786752 = fieldWeight in 2695, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.0546875 = fieldNorm(doc=2695)
          0.074375115 = weight(abstract_txt:discuss in 2695) [ClassicSimilarity], result of:
            0.074375115 = score(doc=2695,freq=1.0), product of:
              0.24972 = queryWeight, product of:
                2.1057365 = boost
                5.4461083 = idf(docFreq=495, maxDocs=42306)
                0.021775244 = queryNorm
              0.29783404 = fieldWeight in 2695, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.4461083 = idf(docFreq=495, maxDocs=42306)
                0.0546875 = fieldNorm(doc=2695)
          0.25868157 = weight(abstract_txt:formalized in 2695) [ClassicSimilarity], result of:
            0.25868157 = score(doc=2695,freq=1.0), product of:
              0.5732515 = queryWeight, product of:
                3.1904354 = boost
                8.251487 = idf(docFreq=29, maxDocs=42306)
                0.021775244 = queryNorm
              0.45125318 = fieldWeight in 2695, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.251487 = idf(docFreq=29, maxDocs=42306)
                0.0546875 = fieldNorm(doc=2695)
        0.2 = coord(5/25)
    
  5. Miller, E.; Schloss. B.; Lassila, O.; Swick, R.R.: Resource Description Framework (RDF) : model and syntax (1997) 0.08
    0.08425398 = sum of:
      0.08425398 = product of:
        0.35105827 = sum of:
          0.038622804 = weight(abstract_txt:variety in 904) [ClassicSimilarity], result of:
            0.038622804 = score(doc=904,freq=2.0), product of:
              0.11263549 = queryWeight, product of:
                5.17264 = idf(docFreq=651, maxDocs=42306)
                0.021775244 = queryNorm
              0.3429008 = fieldWeight in 904, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.17264 = idf(docFreq=651, maxDocs=42306)
                0.046875 = fieldNorm(doc=904)
          0.03515448 = weight(abstract_txt:goal in 904) [ClassicSimilarity], result of:
            0.03515448 = score(doc=904,freq=1.0), product of:
              0.13328354 = queryWeight, product of:
                1.087804 = boost
                5.626818 = idf(docFreq=413, maxDocs=42306)
                0.021775244 = queryNorm
              0.2637571 = fieldWeight in 904, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.626818 = idf(docFreq=413, maxDocs=42306)
                0.046875 = fieldNorm(doc=904)
          0.062272023 = weight(abstract_txt:suitable in 904) [ClassicSimilarity], result of:
            0.062272023 = score(doc=904,freq=2.0), product of:
              0.15487264 = queryWeight, product of:
                1.1725996 = boost
                6.0654354 = idf(docFreq=266, maxDocs=42306)
                0.021775244 = queryNorm
              0.40208536 = fieldWeight in 904, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.0654354 = idf(docFreq=266, maxDocs=42306)
                0.046875 = fieldNorm(doc=904)
          0.13638529 = weight(abstract_txt:syntax in 904) [ClassicSimilarity], result of:
            0.13638529 = score(doc=904,freq=6.0), product of:
              0.18109953 = queryWeight, product of:
                1.2680053 = boost
                6.558934 = idf(docFreq=162, maxDocs=42306)
                0.021775244 = queryNorm
              0.75309575 = fieldWeight in 904, product of:
                2.4494898 = tf(freq=6.0), with freq of:
                  6.0 = termFreq=6.0
                6.558934 = idf(docFreq=162, maxDocs=42306)
                0.046875 = fieldNorm(doc=904)
          0.05092883 = weight(abstract_txt:content in 904) [ClassicSimilarity], result of:
            0.05092883 = score(doc=904,freq=3.0), product of:
              0.14907385 = queryWeight, product of:
                1.6269646 = boost
                4.207851 = idf(docFreq=1710, maxDocs=42306)
                0.021775244 = queryNorm
              0.3416349 = fieldWeight in 904, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                4.207851 = idf(docFreq=1710, maxDocs=42306)
                0.046875 = fieldNorm(doc=904)
          0.027694855 = weight(abstract_txt:knowledge in 904) [ClassicSimilarity], result of:
            0.027694855 = score(doc=904,freq=1.0), product of:
              0.16396931 = queryWeight, product of:
                2.0897977 = boost
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.021775244 = queryNorm
              0.16890268 = fieldWeight in 904, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6032572 = idf(docFreq=3131, maxDocs=42306)
                0.046875 = fieldNorm(doc=904)
        0.24 = coord(6/25)