Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
AboxDescription logicWeb Ontology Language

Broader (1)

Ontology (information science)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Automata-Based Abduction for Tractable Diagnosis
Abductive reasoning has been recognized as a valuable com- plement to deductive inference for tasks such as diagnosis and… 
2009
2009
A DL-based method for access control policy conflict detecting
As the quick development and application of technology such as Web Service, software or programs with special feature exist as… 
2009
2009
Tableau-Based Reasoning
Tableau-based methods for satisfiability checking build the backbone of major contemporary ontology reasoning sytems. The main… 
2009
2009
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
We report on our implementation of a tableau prover for the description logic ALC, which is based on the EXPTIME tableau… 
2008
2008
DBOWL: Towards a Scalable and Persistent OWL Reasoner
With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and… 
2008
2008
Prime Implicate Normal Form for ALC Concepts
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently… 
Highly Cited
2006
Highly Cited
2006
A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions
. Fuzzy Description Logics are a family of logics which allow the representation of (and the reasoning within) structured… 
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… 
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
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… 
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)