formal ontology, formal concept analysis, concept oriented data model, formal ontological analysis

V příspěvku se uvažují tři přístupy k tvorbě formálních ontologií. Prvním je přístup formální konceptové analýzy (Ganter a Wille), založené na matematické formální reprezentaci konceptovými (Galoisovými) svazy. Druhým je konceptově orientovaný datový model (Savinov), který je taktéž reprezentovatelný Galoisovým svazem. Třetím je formální ontologická analýza (Guarino a Welty), která způsob vytváření ontologie přibližuje klasickému pojetí filozofické ontologie. Rozdílnost přístupů je demonstrována na příkladě z literatury.

In this paper we discuss three approaches of making formal ontologies. First approach is formal concept analysis (Ganter and Wille) based on mathematic formal representation by concept (Galois?s) connections. Second approach is concept-oriented data model (Savinov), which can also be represented by Galois?s connection. Third approach is formal ontological analysis (Guarino and Welty), which closes the way of making ontologies to classical approach of philosophical ontology. Difference of these approaches is illustrated on example from literature. Three approaches introduced above can be considered to be a methodology of making formal ontologies. The advantage of this methodology is that after execution of all approaches, the result ontology is clean and it doesn?t contain unnecessarily relationships. The disadvantage of this methodology is that it requires a good knowledge in problem domain.