Document (#41606)

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.18193255 = sum of:
     0.18193255 = product of:
       0.56853926 = sum of:
         0.06542672 = weight(abstract_txt:domains in 1603) [ClassicSimilarity], result of:
           0.06542672 = score(doc=1603,freq=2.0), product of:
             0.13273221 = queryWeight, product of:
               1.0833894 = boost
               5.576784 = idf(docFreq=456, maxDocs=44421)
               0.02196888 = queryNorm
             0.49292272 = fieldWeight in 1603, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.576784 = idf(docFreq=456, maxDocs=44421)
               0.0625 = fieldNorm(doc=1603)
         0.047042344 = weight(abstract_txt:goal in 1603) [ClassicSimilarity], result of:
           0.047042344 = score(doc=1603,freq=1.0), product of:
             0.13421741 = queryWeight, product of:
               1.0894338 = boost
               5.6078978 = idf(docFreq=442, maxDocs=44421)
               0.02196888 = queryNorm
             0.3504936 = fieldWeight in 1603, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6078978 = idf(docFreq=442, maxDocs=44421)
               0.0625 = fieldNorm(doc=1603)
         0.06742681 = weight(abstract_txt:base in 1603) [ClassicSimilarity], result of:
           0.06742681 = score(doc=1603,freq=2.0), product of:
             0.13542369 = queryWeight, product of:
               1.0943185 = boost
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.02196888 = queryNorm
             0.49789524 = fieldWeight in 1603, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.0625 = fieldNorm(doc=1603)
         0.08523027 = weight(abstract_txt:background in 1603) [ClassicSimilarity], result of:
           0.08523027 = score(doc=1603,freq=3.0), product of:
             0.13830516 = queryWeight, product of:
               1.1058993 = boost
               5.6926546 = idf(docFreq=406, maxDocs=44421)
               0.02196888 = queryNorm
             0.61624795 = fieldWeight in 1603, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.6926546 = idf(docFreq=406, maxDocs=44421)
               0.0625 = fieldNorm(doc=1603)
         0.05369888 = weight(abstract_txt:build in 1603) [ClassicSimilarity], result of:
           0.05369888 = score(doc=1603,freq=1.0), product of:
             0.14659743 = queryWeight, product of:
               1.1385696 = boost
               5.860826 = idf(docFreq=343, maxDocs=44421)
               0.02196888 = queryNorm
             0.36630163 = fieldWeight in 1603, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.860826 = idf(docFreq=343, maxDocs=44421)
               0.0625 = fieldNorm(doc=1603)
         0.059141416 = weight(abstract_txt:suitable in 1603) [ClassicSimilarity], result of:
           0.059141416 = score(doc=1603,freq=1.0), product of:
             0.15634261 = queryWeight, product of:
               1.1758044 = boost
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.02196888 = queryNorm
             0.37828085 = fieldWeight in 1603, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.0625 = fieldNorm(doc=1603)
         0.09614075 = weight(abstract_txt:reasoning in 1603) [ClassicSimilarity], result of:
           0.09614075 = score(doc=1603,freq=2.0), product of:
             0.1715581 = queryWeight, product of:
               1.2316917 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.02196888 = queryNorm
             0.5603976 = fieldWeight in 1603, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.0625 = fieldNorm(doc=1603)
         0.094432056 = weight(abstract_txt:knowledge in 1603) [ClassicSimilarity], result of:
           0.094432056 = score(doc=1603,freq=7.0), product of:
             0.16102882 = queryWeight, product of:
               2.0668495 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.02196888 = queryNorm
             0.58642954 = fieldWeight in 1603, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=1603)
       0.32 = coord(8/25)
   

2. McGuinness, D.L.: Conceptual modeling for distributed ontology environments (2000) 0.10

   0.098979324 = sum of:
     0.098979324 = product of:
       0.41241387 = sum of:
         0.047677957 = weight(abstract_txt:base in 6073) [ClassicSimilarity], result of:
           0.047677957 = score(doc=6073,freq=1.0), product of:
             0.13542369 = queryWeight, product of:
               1.0943185 = boost
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.02196888 = queryNorm
             0.35206512 = fieldWeight in 6073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.09614075 = weight(abstract_txt:reasoning in 6073) [ClassicSimilarity], result of:
           0.09614075 = score(doc=6073,freq=2.0), product of:
             0.1715581 = queryWeight, product of:
               1.2316917 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.02196888 = queryNorm
             0.5603976 = fieldWeight in 6073, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.06874876 = weight(abstract_txt:bases in 6073) [ClassicSimilarity], result of:
           0.06874876 = score(doc=6073,freq=1.0), product of:
             0.17284605 = queryWeight, product of:
               1.2363064 = boost
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.02196888 = queryNorm
             0.3977456 = fieldWeight in 6073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3639297 = idf(docFreq=207, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.038951617 = weight(abstract_txt:content in 6073) [ClassicSimilarity], result of:
           0.038951617 = score(doc=6073,freq=1.0), product of:
             0.14911106 = queryWeight, product of:
               1.6239264 = boost
               4.1796083 = idf(docFreq=1847, maxDocs=44421)
               0.02196888 = queryNorm
             0.26122552 = fieldWeight in 6073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.1796083 = idf(docFreq=1847, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.07980966 = weight(abstract_txt:knowledge in 6073) [ClassicSimilarity], result of:
           0.07980966 = score(doc=6073,freq=5.0), product of:
             0.16102882 = queryWeight, product of:
               2.0668495 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.02196888 = queryNorm
             0.49562344 = fieldWeight in 6073, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
         0.081085116 = weight(abstract_txt:discuss in 6073) [ClassicSimilarity], result of:
           0.081085116 = score(doc=6073,freq=1.0), product of:
             0.24310112 = queryWeight, product of:
               2.073504 = boost
               5.3367167 = idf(docFreq=580, maxDocs=44421)
               0.02196888 = queryNorm
             0.3335448 = fieldWeight in 6073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3367167 = idf(docFreq=580, maxDocs=44421)
               0.0625 = fieldNorm(doc=6073)
       0.24 = coord(6/25)
   

3. Martin, P.: Conventions and notations for knowledge representation and retrieval (2000) 0.09

   0.09493625 = sum of:
     0.09493625 = product of:
       0.5933516 = sum of:
         0.08423133 = weight(abstract_txt:beginning in 6070) [ClassicSimilarity], result of:
           0.08423133 = score(doc=6070,freq=1.0), product of:
             0.17055272 = queryWeight, product of:
               1.2280774 = boost
               6.3215704 = idf(docFreq=216, maxDocs=44421)
               0.02196888 = queryNorm
             0.4938727 = fieldWeight in 6070, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3215704 = idf(docFreq=216, maxDocs=44421)
               0.078125 = fieldNorm(doc=6070)
         0.03148854 = weight(abstract_txt:been in 6070) [ClassicSimilarity], result of:
           0.03148854 = score(doc=6070,freq=1.0), product of:
             0.11151191 = queryWeight, product of:
               1.4043392 = boost
               3.614442 = idf(docFreq=3251, maxDocs=44421)
               0.02196888 = queryNorm
             0.2823783 = fieldWeight in 6070, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.614442 = idf(docFreq=3251, maxDocs=44421)
               0.078125 = fieldNorm(doc=6070)
         0.10928387 = weight(abstract_txt:knowledge in 6070) [ClassicSimilarity], result of:
           0.10928387 = score(doc=6070,freq=6.0), product of:
             0.16102882 = queryWeight, product of:
               2.0668495 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.02196888 = queryNorm
             0.67866033 = fieldWeight in 6070, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.078125 = fieldNorm(doc=6070)
         0.36834782 = weight(abstract_txt:formalized in 6070) [ClassicSimilarity], result of:
           0.36834782 = score(doc=6070,freq=1.0), product of:
             0.5746344 = queryWeight, product of:
               3.1879184 = boost
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.02196888 = queryNorm
             0.6410125 = fieldWeight in 6070, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.078125 = fieldNorm(doc=6070)
       0.16 = coord(4/25)
   

4. Noy, N.F.: Knowledge representation for intelligent information retrieval in experimental sciences (1997) 0.09

   0.091031685 = sum of:
     0.091031685 = product of:
       0.4551584 = sum of:
         0.04048072 = weight(abstract_txt:domains in 1694) [ClassicSimilarity], result of:
           0.04048072 = score(doc=1694,freq=1.0), product of:
             0.13273221 = queryWeight, product of:
               1.0833894 = boost
               5.576784 = idf(docFreq=456, maxDocs=44421)
               0.02196888 = queryNorm
             0.3049804 = fieldWeight in 1694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.576784 = idf(docFreq=456, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
         0.041718215 = weight(abstract_txt:base in 1694) [ClassicSimilarity], result of:
           0.041718215 = score(doc=1694,freq=1.0), product of:
             0.13542369 = queryWeight, product of:
               1.0943185 = boost
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.02196888 = queryNorm
             0.30805698 = fieldWeight in 1694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633042 = idf(docFreq=431, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
         0.04416655 = weight(abstract_txt:knowledge in 1694) [ClassicSimilarity], result of:
           0.04416655 = score(doc=1694,freq=2.0), product of:
             0.16102882 = queryWeight, product of:
               2.0668495 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.02196888 = queryNorm
             0.2742773 = fieldWeight in 1694, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
         0.07094947 = weight(abstract_txt:discuss in 1694) [ClassicSimilarity], result of:
           0.07094947 = score(doc=1694,freq=1.0), product of:
             0.24310112 = queryWeight, product of:
               2.073504 = boost
               5.3367167 = idf(docFreq=580, maxDocs=44421)
               0.02196888 = queryNorm
             0.2918517 = fieldWeight in 1694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3367167 = idf(docFreq=580, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
         0.25784346 = weight(abstract_txt:formalized in 1694) [ClassicSimilarity], result of:
           0.25784346 = score(doc=1694,freq=1.0), product of:
             0.5746344 = queryWeight, product of:
               3.1879184 = boost
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.02196888 = queryNorm
             0.44870874 = fieldWeight in 1694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.20496 = idf(docFreq=32, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1694)
       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.08472912 = sum of:
     0.08472912 = product of:
       0.353038 = sum of:
         0.038588926 = weight(abstract_txt:variety in 903) [ClassicSimilarity], result of:
           0.038588926 = score(doc=903,freq=2.0), product of:
             0.11308557 = queryWeight, product of:
               5.1475344 = idf(docFreq=701, maxDocs=44421)
               0.02196888 = queryNorm
             0.34123653 = fieldWeight in 903, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.1475344 = idf(docFreq=701, maxDocs=44421)
               0.046875 = fieldNorm(doc=903)
         0.035281755 = weight(abstract_txt:goal in 903) [ClassicSimilarity], result of:
           0.035281755 = score(doc=903,freq=1.0), product of:
             0.13421741 = queryWeight, product of:
               1.0894338 = boost
               5.6078978 = idf(docFreq=442, maxDocs=44421)
               0.02196888 = queryNorm
             0.2628702 = fieldWeight in 903, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6078978 = idf(docFreq=442, maxDocs=44421)
               0.046875 = fieldNorm(doc=903)
         0.06272895 = weight(abstract_txt:suitable in 903) [ClassicSimilarity], result of:
           0.06272895 = score(doc=903,freq=2.0), product of:
             0.15634261 = queryWeight, product of:
               1.1758044 = boost
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.02196888 = queryNorm
             0.40122744 = fieldWeight in 903, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.0524936 = idf(docFreq=283, maxDocs=44421)
               0.046875 = fieldNorm(doc=903)
         0.13906978 = weight(abstract_txt:syntax in 903) [ClassicSimilarity], result of:
           0.13906978 = score(doc=903,freq=6.0), product of:
             0.18430911 = queryWeight, product of:
               1.276644 = boost
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.02196888 = queryNorm
             0.7545464 = fieldWeight in 903, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.571569 = idf(docFreq=168, maxDocs=44421)
               0.046875 = fieldNorm(doc=903)
         0.05059963 = weight(abstract_txt:content in 903) [ClassicSimilarity], result of:
           0.05059963 = score(doc=903,freq=3.0), product of:
             0.14911106 = queryWeight, product of:
               1.6239264 = boost
               4.1796083 = idf(docFreq=1847, maxDocs=44421)
               0.02196888 = queryNorm
             0.3393419 = fieldWeight in 903, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.1796083 = idf(docFreq=1847, maxDocs=44421)
               0.046875 = fieldNorm(doc=903)
         0.026768973 = weight(abstract_txt:knowledge in 903) [ClassicSimilarity], result of:
           0.026768973 = score(doc=903,freq=1.0), product of:
             0.16102882 = queryWeight, product of:
               2.0668495 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.02196888 = queryNorm
             0.16623716 = fieldWeight in 903, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.046875 = fieldNorm(doc=903)
       0.24 = coord(6/25)