Formal ontology is the study of objects in general while focusing on their abstract structures and features. It divides objects into different categories based on the forms they exemplify. Formal ontologists often rely on the tools of formal logic to express their findings in an abstract and general manner. Formal ontology contrasts with material ontology, which distinguishes between different areas of objects and examines the features characteristic of a specific area. Examples are ideal spatial beings in the area of geometry and living beings in the area of biology.
Formal ontology is the study of objects in general while focusing on their abstract structures and features It divides objects into different categories based on the forms they exemplify Formal ontologists often rely on the tools of formal logic to express their findings in an abstract and general manner Formal ontology contrasts with material ontology which distinguishes between different areas of objects and examines the features characteristic of a specific area Examples are ideal spatial beings in the area of geometry and living beings in the area of biology