User:S.ghashghaee/Books/overal knowledge


 * Web Ontology Language
 * Ontology language
 * Ontology (information science)
 * Commonsense knowledge (artificial intelligence)
 * Valuation-based system
 * Formal language
 * Declarative programming
 * First-order logic
 * Common logic
 * CycL
 * DOGMA
 * F-logic
 * Knowledge Interchange Format
 * KL-ONE
 * KM programming language
 * LOOM (ontology)
 * OCML
 * Open Knowledge Base Connectivity
 * DAML+OIL
 * Ontology Inference Layer
 * Resource Description Framework
 * RDF Schema
 * Simple HTML Ontology Extensions
 * Markup language
 * XML
 * Frame language
 * Gellish
 * Formal concept analysis
 * Lattice (order)
 * Expert system
 * Rule-based system
 * Procedural programming
 * Knowledge representation and reasoning
 * Knowledge engineering
 * Programming paradigm
 * Logic programming
 * Lexical analysis
 * RuleML
 * Knowledge-based systems
 * Knowledge base
 * Knowledge management
 * Knowledge extraction
 * Knowledge retrieval
 * Information repository
 * Content management
 * Predicate logic
 * Second-order logic
 * Many-sorted logic
 * Infinitary logic
 * Propositional calculus
 * Description logic
 * Semantic network
 * WordNet
 * Semantic Web
 * Lexipedia
 * Open Mind Common Sense
 * Universal Networking Language