Taras Kinash

Learn More
We elaborate on earlier work in which we developed a novel method for evaluating instance queries over DL knowledge bases that derives from binary absorption. An important feature of this earlier method and its refinement in this paper is that they avoid the need to check explicitly for consistency, a property that is desirable, for example, in SPARQL query(More)
  • 1