Abox

In Computer Science, an ABox is an "assertion component"—a fact associated with a terminological vocabulary within a knowledge base. The terms ABox…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

Much of the activity in a digital library revolves around collecting, organizing and publishing knowledge about the resources of…

2011

The DL-Lite family of description logics has recently been proposed and investigated in [5–7] and later extended in [1, 8, 3…

2011

This paper introduces relaxed abduction, a novel non-standard reasoning task for description logics. Although abductive reasoning…

2010

Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different…

2009

Integration of heterogeneous information and acquisition of diverse knowledge from independent media is getting researchers…

2006

In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty…

2005

As applications of description logics (DLs) proliferate, efficient reasoning with large ABoxes (sets of individuals with…

2001

The paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR…

2000

In commonality-based information retrieval, the commonalities of user-specified examples of desired information are used for…

1998

: This paper presents a progress report on the implementation of an ALCRP ( D ) ABox reasoner and a knowledge representation…