Formal Semantic Model

A Formal Semantic Model is a Semantic Model that has a Formal Specification.

• AKA: Formal Information Metamodel.
• Context:
  • It can (typically) be composed Fact Records, and Relation Records.
• Example(s):
  • Cyc's semantic model.
  • GO Ontology's semantic model.
  • …
• Counter-Example(s):
  • any Informal Semantic Model.
  • ConceptNet.
  • WordNet.
• See: Lexical Database, Ontology Instance Record.

---

---