Part of the Physical Sciences and Mathematics Commons
Exploring Semantic Hierarchies to Improve Resolution Theorem Proving on Ontologies, Stanley Small Honors College
PDF
Advanced Search