Publication at Faculty of Arts |
2004
Abstract
In the paper we logically explicate notions of concept and ontology. The non-traditional theory of concepts is introduced which is based on the procedural semantics of structured meanings.
Ontology of natural language, i.e., entitties we talk about and concepts to identify them are organised into a ramified hierarchy of types. Structured meanings are explicated by means of the key notion of transparent intensional logic, namely construction viewed as an abstract procedure.
Concept is defined as a closed construction, and the meaning of a natural languge expression is the most fine-grained construction relatively to a given conceptual system. Concluding, web ontology languages are examined from the logical point of view.