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.18275753 = sum of:
     0.18275753 = product of:
       0.5711173 = sum of:
         0.065846756 = weight(abstract_txt:domains in 603) [ClassicSimilarity], result of:
           0.065846756 = score(doc=603,freq=2.0), product of:
             0.13327175 = queryWeight, product of:
               1.0853891 = boost
               5.5898643 = idf(docFreq=448, maxDocs=44218)
               0.021966022 = queryNorm
             0.49407884 = fieldWeight in 603, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.5898643 = idf(docFreq=448, maxDocs=44218)
               0.0625 = fieldNorm(doc=603)
         0.04701138 = weight(abstract_txt:goal in 603) [ClassicSimilarity], result of:
           0.04701138 = score(doc=603,freq=1.0), product of:
             0.13413039 = queryWeight, product of:
               1.08888 = boost
               5.6078424 = idf(docFreq=440, maxDocs=44218)
               0.021966022 = queryNorm
             0.35049015 = fieldWeight in 603, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6078424 = idf(docFreq=440, maxDocs=44218)
               0.0625 = fieldNorm(doc=603)
         0.067386575 = weight(abstract_txt:base in 603) [ClassicSimilarity], result of:
           0.067386575 = score(doc=603,freq=2.0), product of:
             0.13534144 = queryWeight, product of:
               1.0937846 = boost
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.021966022 = queryNorm
             0.49790058 = fieldWeight in 603, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.0625 = fieldNorm(doc=603)
         0.08508153 = weight(abstract_txt:background in 603) [ClassicSimilarity], result of:
           0.08508153 = score(doc=603,freq=3.0), product of:
             0.13811526 = queryWeight, product of:
               1.1049362 = boost
               5.690534 = idf(docFreq=405, maxDocs=44218)
               0.021966022 = queryNorm
             0.61601835 = fieldWeight in 603, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.690534 = idf(docFreq=405, maxDocs=44218)
               0.0625 = fieldNorm(doc=603)
         0.053779986 = weight(abstract_txt:build in 603) [ClassicSimilarity], result of:
           0.053779986 = score(doc=603,freq=1.0), product of:
             0.14671426 = queryWeight, product of:
               1.1388134 = boost
               5.8650045 = idf(docFreq=340, maxDocs=44218)
               0.021966022 = queryNorm
             0.36656278 = fieldWeight in 603, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.8650045 = idf(docFreq=340, maxDocs=44218)
               0.0625 = fieldNorm(doc=603)
         0.059281334 = weight(abstract_txt:suitable in 603) [ClassicSimilarity], result of:
           0.059281334 = score(doc=603,freq=1.0), product of:
             0.15655628 = queryWeight, product of:
               1.1763909 = boost
               6.0585327 = idf(docFreq=280, maxDocs=44218)
               0.021966022 = queryNorm
             0.3786583 = fieldWeight in 603, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.0585327 = idf(docFreq=280, maxDocs=44218)
               0.0625 = fieldNorm(doc=603)
         0.09784549 = weight(abstract_txt:reasoning in 603) [ClassicSimilarity], result of:
           0.09784549 = score(doc=603,freq=2.0), product of:
             0.17354378 = queryWeight, product of:
               1.238571 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.021966022 = queryNorm
             0.5638087 = fieldWeight in 603, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.0625 = fieldNorm(doc=603)
         0.09488423 = weight(abstract_txt:knowledge in 603) [ClassicSimilarity], result of:
           0.09488423 = score(doc=603,freq=7.0), product of:
             0.16150859 = queryWeight, product of:
               2.0695448 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.021966022 = queryNorm
             0.5874872 = fieldWeight in 603, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=603)
       0.32 = coord(8/25)
   

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

   0.09956899 = sum of:
     0.09956899 = product of:
       0.4148708 = sum of:
         0.047649506 = weight(abstract_txt:base in 5073) [ClassicSimilarity], result of:
           0.047649506 = score(doc=5073,freq=1.0), product of:
             0.13534144 = queryWeight, product of:
               1.0937846 = boost
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.021966022 = queryNorm
             0.35206887 = fieldWeight in 5073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.0625 = fieldNorm(doc=5073)
         0.06887024 = weight(abstract_txt:bases in 5073) [ClassicSimilarity], result of:
           0.06887024 = score(doc=5073,freq=1.0), product of:
             0.17301333 = queryWeight, product of:
               1.2366767 = boost
               6.369011 = idf(docFreq=205, maxDocs=44218)
               0.021966022 = queryNorm
             0.39806318 = fieldWeight in 5073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.369011 = idf(docFreq=205, maxDocs=44218)
               0.0625 = fieldNorm(doc=5073)
         0.09784549 = weight(abstract_txt:reasoning in 5073) [ClassicSimilarity], result of:
           0.09784549 = score(doc=5073,freq=2.0), product of:
             0.17354378 = queryWeight, product of:
               1.238571 = boost
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.021966022 = queryNorm
             0.5638087 = fieldWeight in 5073, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.378767 = idf(docFreq=203, maxDocs=44218)
               0.0625 = fieldNorm(doc=5073)
         0.038935564 = weight(abstract_txt:content in 5073) [ClassicSimilarity], result of:
           0.038935564 = score(doc=5073,freq=1.0), product of:
             0.14903885 = queryWeight, product of:
               1.623234 = boost
               4.17991 = idf(docFreq=1838, maxDocs=44218)
               0.021966022 = queryNorm
             0.2612444 = fieldWeight in 5073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.17991 = idf(docFreq=1838, maxDocs=44218)
               0.0625 = fieldNorm(doc=5073)
         0.08019181 = weight(abstract_txt:knowledge in 5073) [ClassicSimilarity], result of:
           0.08019181 = score(doc=5073,freq=5.0), product of:
             0.16150859 = queryWeight, product of:
               2.0695448 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.021966022 = queryNorm
             0.49651733 = fieldWeight in 5073, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=5073)
         0.08137815 = weight(abstract_txt:discuss in 5073) [ClassicSimilarity], result of:
           0.08137815 = score(doc=5073,freq=1.0), product of:
             0.2436354 = queryWeight, product of:
               2.075399 = boost
               5.344258 = idf(docFreq=573, maxDocs=44218)
               0.021966022 = queryNorm
             0.3340161 = fieldWeight in 5073, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.344258 = idf(docFreq=573, maxDocs=44218)
               0.0625 = fieldNorm(doc=5073)
       0.24 = coord(6/25)
   

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

   0.09488607 = sum of:
     0.09488607 = product of:
       0.59303796 = sum of:
         0.08417992 = weight(abstract_txt:beginning in 5070) [ClassicSimilarity], result of:
           0.08417992 = score(doc=5070,freq=1.0), product of:
             0.17044759 = queryWeight, product of:
               1.2274727 = boost
               6.321609 = idf(docFreq=215, maxDocs=44218)
               0.021966022 = queryNorm
             0.4938757 = fieldWeight in 5070, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.321609 = idf(docFreq=215, maxDocs=44218)
               0.078125 = fieldNorm(doc=5070)
         0.031550746 = weight(abstract_txt:been in 5070) [ClassicSimilarity], result of:
           0.031550746 = score(doc=5070,freq=1.0), product of:
             0.11163532 = queryWeight, product of:
               1.4048573 = boost
               3.617579 = idf(docFreq=3226, maxDocs=44218)
               0.021966022 = queryNorm
             0.28262335 = fieldWeight in 5070, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.617579 = idf(docFreq=3226, maxDocs=44218)
               0.078125 = fieldNorm(doc=5070)
         0.109807156 = weight(abstract_txt:knowledge in 5070) [ClassicSimilarity], result of:
           0.109807156 = score(doc=5070,freq=6.0), product of:
             0.16150859 = queryWeight, product of:
               2.0695448 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.021966022 = queryNorm
             0.6798843 = fieldWeight in 5070, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.078125 = fieldNorm(doc=5070)
         0.3675001 = weight(abstract_txt:formalized in 5070) [ClassicSimilarity], result of:
           0.3675001 = score(doc=5070,freq=1.0), product of:
             0.5736322 = queryWeight, product of:
               3.1845505 = boost
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.021966022 = queryNorm
             0.6406546 = fieldWeight in 5070, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.078125 = fieldNorm(doc=5070)
       0.16 = coord(4/25)
   

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

   0.09105359 = sum of:
     0.09105359 = product of:
       0.45526794 = sum of:
         0.040740605 = weight(abstract_txt:domains in 694) [ClassicSimilarity], result of:
           0.040740605 = score(doc=694,freq=1.0), product of:
             0.13327175 = queryWeight, product of:
               1.0853891 = boost
               5.5898643 = idf(docFreq=448, maxDocs=44218)
               0.021966022 = queryNorm
             0.3056957 = fieldWeight in 694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.5898643 = idf(docFreq=448, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
         0.04169332 = weight(abstract_txt:base in 694) [ClassicSimilarity], result of:
           0.04169332 = score(doc=694,freq=1.0), product of:
             0.13534144 = queryWeight, product of:
               1.0937846 = boost
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.021966022 = queryNorm
             0.30806026 = fieldWeight in 694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.633102 = idf(docFreq=429, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
         0.044378035 = weight(abstract_txt:knowledge in 694) [ClassicSimilarity], result of:
           0.044378035 = score(doc=694,freq=2.0), product of:
             0.16150859 = queryWeight, product of:
               2.0695448 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.021966022 = queryNorm
             0.274772 = fieldWeight in 694, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
         0.071205884 = weight(abstract_txt:discuss in 694) [ClassicSimilarity], result of:
           0.071205884 = score(doc=694,freq=1.0), product of:
             0.2436354 = queryWeight, product of:
               2.075399 = boost
               5.344258 = idf(docFreq=573, maxDocs=44218)
               0.021966022 = queryNorm
             0.2922641 = fieldWeight in 694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.344258 = idf(docFreq=573, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
         0.2572501 = weight(abstract_txt:formalized in 694) [ClassicSimilarity], result of:
           0.2572501 = score(doc=694,freq=1.0), product of:
             0.5736322 = queryWeight, product of:
               3.1845505 = boost
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.021966022 = queryNorm
             0.44845825 = fieldWeight in 694, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.200379 = idf(docFreq=32, maxDocs=44218)
               0.0546875 = fieldNorm(doc=694)
       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.084792614 = sum of:
     0.084792614 = product of:
       0.35330257 = sum of:
         0.0386224 = weight(abstract_txt:variety in 5903) [ClassicSimilarity], result of:
           0.0386224 = score(doc=5903,freq=2.0), product of:
             0.11312725 = queryWeight, product of:
               5.1501017 = idf(docFreq=696, maxDocs=44218)
               0.021966022 = queryNorm
             0.3414067 = fieldWeight in 5903, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.1501017 = idf(docFreq=696, maxDocs=44218)
               0.046875 = fieldNorm(doc=5903)
         0.03525854 = weight(abstract_txt:goal in 5903) [ClassicSimilarity], result of:
           0.03525854 = score(doc=5903,freq=1.0), product of:
             0.13413039 = queryWeight, product of:
               1.08888 = boost
               5.6078424 = idf(docFreq=440, maxDocs=44218)
               0.021966022 = queryNorm
             0.26286763 = fieldWeight in 5903, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6078424 = idf(docFreq=440, maxDocs=44218)
               0.046875 = fieldNorm(doc=5903)
         0.06287735 = weight(abstract_txt:suitable in 5903) [ClassicSimilarity], result of:
           0.06287735 = score(doc=5903,freq=2.0), product of:
             0.15655628 = queryWeight, product of:
               1.1763909 = boost
               6.0585327 = idf(docFreq=280, maxDocs=44218)
               0.021966022 = queryNorm
             0.40162778 = fieldWeight in 5903, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.0585327 = idf(docFreq=280, maxDocs=44218)
               0.046875 = fieldNorm(doc=5903)
         0.13906834 = weight(abstract_txt:syntax in 5903) [ClassicSimilarity], result of:
           0.13906834 = score(doc=5903,freq=6.0), product of:
             0.1842692 = queryWeight, product of:
               1.2762706 = boost
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.021966022 = queryNorm
             0.754702 = fieldWeight in 5903, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.572923 = idf(docFreq=167, maxDocs=44218)
               0.046875 = fieldNorm(doc=5903)
         0.05057878 = weight(abstract_txt:content in 5903) [ClassicSimilarity], result of:
           0.05057878 = score(doc=5903,freq=3.0), product of:
             0.14903885 = queryWeight, product of:
               1.623234 = boost
               4.17991 = idf(docFreq=1838, maxDocs=44218)
               0.021966022 = queryNorm
             0.3393664 = fieldWeight in 5903, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               4.17991 = idf(docFreq=1838, maxDocs=44218)
               0.046875 = fieldNorm(doc=5903)
         0.026897151 = weight(abstract_txt:knowledge in 5903) [ClassicSimilarity], result of:
           0.026897151 = score(doc=5903,freq=1.0), product of:
             0.16150859 = queryWeight, product of:
               2.0695448 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.021966022 = queryNorm
             0.16653697 = fieldWeight in 5903, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.046875 = fieldNorm(doc=5903)
       0.24 = coord(6/25)