formal ontology

An ontology with a structure that is guided and defined through axioms.

Japanese Meaning

公理に基づいて導かれ、定義された構造を持つオントロジー。 / 形式的オントロジー

研究チームは、構造が公理によって定義・制約されるオントロジーを開発して、ドメイン概念が一貫して定義され論理的に関連づけられるようにした。

Sense（1）

An ontology with a structure that is guided and defined through axioms.

formal ontologies

（ plural ）