Universal Ontology

• Given a conceptualization C, any ontology ? such that Models(?) = X(C), the intended (extensional) models of C, is called universal (for C).

• Note this definition is language independent

Previous slide

Next slide

Back to first slide

View graphic version