Logic

Home > Linguistics > Semantics > Ontology > Logic

Ontologies are typically formulated and evaluated using first-order or description logics. Understanding the basic logical formalisms used in ontology is essential.