An ontology of trust: formal semantics and transitivity.
Jingwei HuangMark S. FoxPublished in: ICEC (2006)
Keyphrases
- formal semantics
- trust model
- formal language
- operational semantics
- domain knowledge
- logical language
- owl dl
- ontology languages
- domain ontology
- modeling language
- domain specific
- theorem prover
- knowledge base
- er model
- first order logic
- logical reasoning
- speech acts
- fuzzy relations
- databases
- ontology development
- modelling language
- metamodel
- owl dl ontology