Cyc Ontology

From GM-RKB
(Redirected from Cyc Knowledge Base (KB))
Jump to navigation Jump to search

A Cyc Ontology is an ontology produced by the Cyc project.



References

2017

2013

  • (Wikipedia, 2013) ⇒ http://en.wikipedia.org/wiki/Cyc#Knowledge_base
    • QUOTE: The concept names in Cyc are known as constants. Constants start with an optional "#$" and are case-sensitive. There are constants for: * Individual items known as individuals, such as #$BillClinton or #$France. * Collections, such as #$Tree-ThePlant (containing all trees) or #$EquivalenceRelation (containing all equivalence relations). A member of a collection is called an instance of that collection. * Truth Functions which can be applied to one or more other concepts and return either true or false. For example #$siblings is the sibling relationship, true if the two arguments are siblings. By convention, truth function constants start with a lower-case letter. Truth functions may be broken down into logical connectives (such as #$and, #$or, #$not, #$implies), quantifiers (#$forAll, #$thereExists, etc.) and predicates. * Functions, which produce new terms from given ones. For example, #$FruitFn, when provided with an argument describing a type (or collection) of plants, will return the collection of its fruits. By convention, function constants start with an upper-case letter and end with the string "Fn".

      The most important predicates are #$isa and #$genls. The first one describes that one item is an instance of some collection, the second one that one collection is a subcollection of another one. Facts about concepts are asserted using certain CycL sentences. Predicates are written before their arguments, in parentheses: (#$isa #$BillClinton #$UnitedStatesPresident) "Bill Clinton belongs to the collection of U.S. presidents" and (#$genls #$Tree-ThePlant #$Plant) "All trees are plants". (#$capitalCity #$France #$Paris) "Paris is the capital of France."

      Sentences can also contain variables, strings starting with "?". These sentences are called "rules". One important rule asserted about the #$isa predicate reads (#$implies (#$and (#$isa ?OBJ ?SUBSET) (#$genls ?SUBSET ?SUPERSET)) (#$isa ?OBJ ?SUPERSET)) with the interpretation "if OBJ is an instance of the collection SUBSET and SUBSET is a subcollection of SUPERSET, then OBJ is an instance of the collection SUPERSET". Another typical example is (#$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal) which means that for every instance of the collection #$ChordataPhylum (i.e. for every chordate), there exists a female animal (instance of #$FemaleAnimal) which is its mother (described by the predicate #$biologicalMother).

      The knowledge base is divided into microtheories (Mt), collections of concepts and facts typically pertaining to one particular realm of knowledge. Unlike the knowledge base as a whole, each microtheory is required to be free from contradictions. Each microtheory has a name which is a regular constant; microtheory constants contain the string "Mt" by convention. An example is #$MathMt, the microtheory containing mathematical knowledge. The microtheories can inherit from each other and are organized in a hierarchy: one specialization of #$MathMt is #$GeometryGMt, the microtheory about geometry.

2007

2005