Skip to search formSkip to main contentSkip to account menu

Abox

In Computer Science, an ABox is an "assertion component"—a fact associated with a terminological vocabulary within a knowledge base. The terms ABox… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Recent papers address the issue of updating the instance level of knowledge bases expressed in Description Logic following a… 
2009
2009
We present a resolution based reasoning algorithm called DL calculus that decides concept satisfiability for the SHQ language… 
2008
2008
This work concerns non-parametric approaches for statistical learning applied to the standard knowledge representations languages… 
2005
2005
Recently, several approaches have been proposed on combining description logic (DL) reasoning with database techniques. In this… 
2005
2005
As applications of description logics (DLs) proliferate, efficient reasoning with large ABoxes (sets of individuals with… 
2004
2004
In the semantic Web architecture, Web ontology languages arebuilt on top of RDF(S). However, serious difficulties have arisen… 
Highly Cited
2001
Highly Cited
2001
Charcoal samples from ancient human occupation sites in Australia have been subjected to a rigorous pretreatment and stepped… 
2000
2000
In commonality-based information retrieval, the commonalities of user-specified examples of desired information are used for… 
2000
2000
DLR is an expressive Description Logic (DL) with n-ary relations, particularly suited for modeling database schemas and queries… 
1998
1998
: This paper presents a progress report on the implementation of an ALCRP ( D ) ABox reasoner and a knowledge representation…