Anytime classification by ontology approximation. Schlobach, S., Blaauw, E., El Kebir, M., Ten Teije, A., Van Harmelen, F., Bortoli, S., Hobbelman, M., Millian, K., Ren, Y., Stam, S., Thomassen, P., Van Het Schip, R., & Van Willigem, W. CEUR workshop proceedings, CEUR Workshop Proceedings, 2007.
abstract   bibtex   
Reasoning with large or complex ontologies is one of the bottle-necks 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 monotonicity and soundness; we show how it can be computed in terms of classical subsumption; and we study the computational behaviour of the algorithm on a set of realistic benchmarks. The most interesting finding is that anytime classification works best on ontologies where classical subsumption is hardest to compute.
@article{e648354f2c7c42ea84dd9e30a3b23574,
  title     = "Anytime classification by ontology approximation",
  abstract  = "Reasoning with large or complex ontologies is one of the bottle-necks 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 monotonicity and soundness; we show how it can be computed in terms of classical subsumption; and we study the computational behaviour of the algorithm on a set of realistic benchmarks. The most interesting finding is that anytime classification works best on ontologies where classical subsumption is hardest to compute.",
  author    = "S. Schlobach and E. Blaauw and {El Kebir}, M. and {Ten Teije}, A. and {Van Harmelen}, F. and S. Bortoli and M.C. Hobbelman and K. Millian and Y. Ren and S. Stam and P. Thomassen and {Van Het Schip}, R. and {Van Willigem}, W.",
  year      = "2007",
  volume    = "291",
  journal   = "CEUR workshop proceedings",
  issn      = "1613-0073",
  publisher = "CEUR Workshop Proceedings",
}

Downloads: 0