ROM: An Approach to Self-consistency Verification of a Runnable Ontology Model.

Iaakov Exman, Reuven Yagel

Browse the full IC3K paper archive.