Formal evaluation

Home > Philosophy > Ontology > Ontology Evaluation > Formal evaluation

This type of evaluation checks the ontology's adherence to formal semantics, including computational completeness and decidability.