Abox

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

Topic mentions per year

Topic mentions per year

1983-2016
010203019832016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Due to the growing popularity of Description Logics-based knowledge representation systems, predominantly in the context of… (More)
  • table 1
  • table 2
  • table 4
  • table 5
  • table 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We propose a new family of description logics (DLs), called DL-Lite, specifically tailored to capture basic ontology languages… (More)
  • figure 4
Is this relevant?
2006
2006
Conjunctive query answering is an important task for many applications on Semantic Web. It is important to efficiently answer… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Reasoning on OWL ontologies is known to be intractable in the worst-case, which is a serious problem because in practice, most… (More)
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • table 2
Is this relevant?
2005
2005
Most probabilistic extensions of description logics focus on the terminological apparatus. While some allow for expressing… (More)
Is this relevant?
2002
2002
Description Logics knowledge bases are traditionally divided into a terminological part (Tbox), and an assertional part (Abox… (More)
  • table 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for… (More)
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1999
1999
Query containment under constraints is the problem of determining whether the result of one query is contained in the result of… (More)
  • figure 1
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A Description Logic (DL) system is characterized by four fundamental aspects: the set of constructs used in concept and role… (More)
Is this relevant?