Formal Semantic Model
(Redirected from formal semantic model)
Jump to navigation
Jump to search
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):
- See: Lexical Database, Ontology Instance Record.