MDA - internet/semantic-web/ontology/cycl

MDA < Home

Map Development Area (MDA)

Location: _/_ internet _/_ semantic-web _/_ ontology _/_ cycl

Index

Browse

Edit

Visualize

Statistics

Download

Help

cycl

used to express:

- Cyc knowledge base [ object ]

formal-language

- Topic Map notation
- Cycl

Types:

is a formal-language

Comment:: vocabulary consists of terms -- constants, non-atomic terms (NATs), variables -- combined into assertions
Comment:: but goes far beyond first order logic
Comment:: formal language
Comment:: derived from first-order predicate calculus

References:

http://www.cyc.com/cycdoc/ref/cycl-syntax.html ( syntax )