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)

Related topics

Related topics

5 relations
Description logicKnowledge baseTboxWeb Ontology Language

Broader (1)

Ontology (information science)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Optimization Techniques for Fuzzy Description Logics
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different… 
2009
2009
A Resolution Based Description Logic Calculus
We present a resolution based reasoning algorithm called DL calculus that decides concept satisfiability for the SHQ language… 
2004
2004
A possible simplification of the semantic web architecture
In the semantic Web architecture, Web ontology languages arebuilt on top of RDF(S). However, serious difficulties have arisen… 
Highly Cited
2004
Highly Cited
2004
The Instance Store: DL Reasoning with Large Numbers of Individuals
We present an application – the Instance Store – aimed at solving some of the scalability problems that arise when reasoning with… 
Highly Cited
2001
Highly Cited
2001
Radiocarbon Dating of the Human Occupation of Australia Prior to 40 ka BP—Successes and Pitfalls
Charcoal samples from ancient human occupation sites in Australia have been subjected to a rigorous pretreatment and stepped… 
2000
2000
Commonality-Based ABox Retrieval
In commonality-based information retrieval, the commonalities of user-specified examples of desired information are used for… 
2000
2000
Keys for Free in Description Logics
DLR is an expressive Description Logic (DL) with n-ary relations, particularly suited for modeling database schemas and queries… 
Highly Cited
1999
Highly Cited
1999
A Description Logic with Concrete Domains and a Role-forming Predicate Operator
This article presents the description logic ALCRP(D) with concrete domains and a roleforming predicate operator as its prominent… 
1998
1998
Implementing an ALCRP(D) ABox Reasoner - Progress Report
: This paper presents a progress report on the implementation of an ALCRP ( D ) ABox reasoner and a knowledge representation… 
1994
1994
Combining Spatial and Terminological Reasoning
The paper presents a method for terminological reasoning about spatial objects on the basis of a KL-ONE-like framework (Loom). We… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)