Bridging informal tagging and formal semantics via hybrid navigation.
Leonardo LezcanoElena García BarriocanalMiguel-Ángel SiciliaPublished in: J. Inf. Sci. (2012)
Keyphrases
- formal semantics
- logical language
- modeling language
- logical reasoning
- operational semantics
- ontology languages
- speech acts
- first order logic
- social tagging
- formal language
- owl dl ontology
- machine learning
- er model
- modelling language
- epistemic logic
- theorem prover
- database applications
- software development
- learning environment
- metadata