Tags / 4 quotes from 3 sources
#formal-semantics
Ontology Maturing With Lightweight Collaborative Ontology Editing Tools
Ontology building as a maturing process
Based on the knowledge maturing process introduced in [Sch05], we have to view ontology building as a maturing process (see fig. 1). It starts with some emerging ideas of the individual without having a clear or even shared terminology, communicated only informally. These vague…
What Are The Differences Between A Vocabulary, A Taxonomy, A Thesaurus, An Ontology, And A Meta-model?
The many meanings of ontology
People use the word ontology to mean different things, e.g. glossaries & data dictionaries, thesauri & taxonomies, schemas & data models, and formal ontologies & inference. A formal ontology is a controlled vocabulary expressed in an ontology representation…
Where Are The Semantics In The Semantic Web?
The semantic continuum
Semantics may be implicit, existing only in the minds of the humans who communicate and build Web applications. They may also be explicit and informal, or they may be formal. The further we move along the continuum, the less ambiguity there is and the more likely it is to have…
Formal semantics for human processing
Yet further along the continuum, we have explicit semantics expressed in a formal language. However, they are intended for human processing only. We can think of this as formal documentation, or as formal specifications of meaning. Some examples of this are: 1. Modal logic is…