Juan,
An ontology is a set of concepts that are formalized in some language.
Let us first take the position that a ‘language’ is a vocabulary together with a grammar/syntax for constructing sentences (complete thoughts) that have a more
or less well-defined interpretation into ‘propositions’ = utterances that can be evaluated (or at least claimed) to be true or false.
Then an ‘ontology’ is not a language. An ontology supplies the vocabulary for such a language, and it typically uses the syntax of a formal language to express
many sentences that have a well-defined interpretation as propositions. The formal interpretation of such propositions, and some kinds of inference from it, can (usually or always, this is debatable) be automated. But the metaphysical interpretation of such
propositions depends not only on the interpretation of the grammatical structures but also on an understanding of the concepts denoted by the vocabulary terms (‘semantics’). This last is beyond the competence of any current automaton.
Those who say that an ontology *is* a language a language apparently think of a ‘language’ as only a vocabulary. I don’t think any linguist or semanticist
would agree. The conventions of a grammar are also very important to conveying any kind of complex meaning. Those who say that an ontology *defines* a language mean (I hope) that the vocabulary it specifies, together with the formal language/grammar
that was used to express the vocabulary, constitutes a ‘language’. And I can agree with that.
-Ed
Edward J. Barkmeyer
Thematix Partners
Email:
ebarkmeyer@xxxxxxxxxxxx
Phone: +1 240-672-5800
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx]
On Behalf Of Juan de Nadie
Sent: Wednesday, June 17, 2015 9:59 AM
To: [ontolog-forum]
Subject: [ontolog-forum] Ontologies and languages
After reading several papers about ontology, I think that I'm not completely sure about the relationships between ontologies and languages.
When we build a domain ontology, its set of categories and relations can be used for developing a domain language for representing specific state of affairs of tis domain. With this in mind, as an ontologist, I was trying to understand
the relationship between the ontology and the language developed using its set of categories and relations.
-
An ontology is a language? I found some papers that say something in this way. In this case, it seems that we are collapsing the notions of ontology and language or, at least, we are assuming that there is a subsumption between them.
-
An ontology defines a language? In this case, ontology and language are considered different types of entities. However, in this case, we can ask what are the differences between them.
-
Is there another option?