This website is devoted to terms and their definitions used in applied ontology. Since ontology is an interdisciplinary field, it is especially important to have a guide for how specific terms are used since their meaning may vary across disciplines.


Inital term list is copied from IAOA Ontology Terminology Sub-committee wiki home-page.

Basic Formal Ontology - BFO

Category

Class

Common Logic

Concept

Continuant Synonyms Endurant

Controlled Vocabulary

Description Logic

Disposition

Domain

Endurant Synonyms Continuant

Entity?

Essence

Exemplification

Fiat Object Part

First Order Logic - FOL?

Function?

Individual?

Inherence?

Instance?

Instantiation

Kind

Logic

Mass

Member

Metaphysics

Necessity

Object?

Occurrent Synonyms Perdurant

Ontology

Open-world Assumption?

Particular

Perdurant Synonyms Occurrent

Predicate

Process?

Property

Quality

Role

Relation?

Semantics

Semantic Operability?

Sortal

Spatial region?

Spatiotemporal region?

Taxonomy?

Temporal region?

Term?

Terminology?

Trope

Type

Universal

Web Ontology Language - OWL?