An Improved Logic-Based Implementation to Ontology Assessment | IEEE Conference Publication | IEEE Xplore