Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Abox

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Centre for Artificial Intelligence ResearchCSIR Meraka Institute and UKZN, South AfricaEmail: fGCasini,TMeyer,KMoodley… Expand
Is this relevant?
Highly Cited
2012
Highly Cited
2012
The W3C Semantic Sensor Network Incubator group (the SSN-XG) produced an OWL 2 ontology to describe sensors and observations… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the… Expand
  • table 1
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Due to the growing popularity of Description Logics-based knowledge representation systems, predominantly in the context of… Expand
  • 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… Expand
  • figure 4
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… Expand
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • table 2
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… Expand
  • figure 1
Is this relevant?
1998
1998
This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Deductive databases that interact with, and are accessed by, reasoning agents in the real world (such as logic controllers in… Expand
Is this relevant?