E. Blaauw

Learn More
Reasoning with large or complex ontologies is one of the bottlenecks of the Semantic Web. In this paper we present an anytime algorithm for classification based on approximate subsumption. We give the formal definitions for approximate subsumption, and show its mono-tonicity and soundness; we show how it can be computed in terms of classical subsumption;(More)
  • 1