Lukas' Notes

Definition

Logical Ontology

A logical ontology is an ontology expressed in a formal logic: