Please choose your delivery country and your customer group
The structured representation of the description logic can assist in providing more powerful environments for retrieval, through the support of browsing, navigation and the serendipitous discovery of information. The conceptual space can also prove useful for defining notions of similarity and semantic closeness. Our navigation interface goes some way to supporting our users' searching requirements, helping to close the gap between the indexer and the searcher. However, it is not without its flaws. For example the explicit exposure of a detailed and abstract ontology can lead to excessive interaction during query formulation. We have focused on T-Box reasoning and the support of conceptual queries rather than capturing and reasoning about the incompleteness and inconsistency of document descriptors. Most research has concentrated on T-Box reasoning; very few real DL systems have sound and complete A-Box reasoning, if at all, and only recently has work emerged for large A-Boxes. We have moved to a position where the only individual is the document descriptor, and the A-box is role-free; thus the only A-Box assertion is C(d). It means that our document descriptors can be held externally to the logic reasoner in a dictionary, linking document with concept. The retrieval function is implemented through reasoning about query containment. Then, those documents whose concept expressions are subsumed by the query expression are retrieved from the dictionary. (4 pages)