Article{kane2005,
  author =       "K. Kaneiwa,"
  title =           "A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases",
  journal =      "New Generation Computing",
  volume =      "24",
  year   =        "2005", 
 number =       "1",
 page =       "29-51"
}