Resolution-Based Reasoning for Ontologies

Boris Motik. Resolution-Based Reasoning for Ontologies. In Steffen Staab, Rudi Studer, editors, Handbook on Ontologies. International Handbooks on Information Systems, pages 529-550, Springer, 2009. [doi]

Abstract

Abstract is missing.