Tbox

In Computer Science, a TBox is a "terminological component"—a conceptualization associated with a set of facts, known as an ABox. The terms ABox and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1983-2016
0204019832016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
3D transformation widgets are commonly used in many 3D applications operated from mice and keyboards. These user interfaces allow… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2010
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually… (More)
  • table 1
  • table 2
  • table 4
  • table 5
  • table 6
Is this relevant?
2010
2010
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing… (More)
  • figure 1
  • table 1
Is this relevant?
2009
2009
TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2ET-complete; even with R… (More)
  • table 2
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
Ontologies are usually considered as static data structures representing conceptual knowledge of humans. For certain types of… (More)
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?
2000
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models . These… (More)
  • figure 1
  • figure 2
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?