Visual Reasoning: its Formal Semantics and Applications.
Dejuan WangJohn R. LeePublished in: J. Vis. Lang. Comput. (1993)
Keyphrases
- formal semantics
- logical reasoning
- rule based reasoning
- logical language
- probabilistic knowledge
- formal language
- owl dl ontology
- er model
- operational semantics
- modeling language
- first order logic
- reasoning systems
- owl dl
- automated reasoning
- knowledge representation
- artificial intelligence
- speech acts
- databases
- reasoning tasks
- modelling language
- knowledge base
- fuzzy description logics