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.
2019
2019
Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs
Description logics in their standard setting only allow for representing and reasoning with crisp knowledge without any degree of… 
2015
2015
LiteMat: A scalable, cost-efficient inference encoding scheme for large RDF graphs
The number of linked data sources and the size of the linked open data graph keep growing every day. As a consequence, semantic… 
2012
2012
Security Ontology for Semantic SCADA
Web services have become a significant part of embedded systems as SCADA and internet applications embedded in RTU, because (WS… 
2012
2012
Efficient and side-channel-secure block cipher implementation with custom instructions on FPGA
The security threat of side-channel analysis (SCA) attacks has created a need for SCA countermeasures. While many countermeasures… 
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
TCAD/Physics-Based Analysis of High-Density Dual-BOX FD/SOI SRAM Cell With Improved Stability
This paper presents a new SRAM cell using a global back-gate bias scheme in dual buried-oxide (BOX) FD/SOI CMOS technologies. The… 
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… 
2005
2005
Description Logics and Disjunctive Datalog — More Than just a Fleeting Resemblance ?
As applications of description logics (DLs) proliferate, efficient reasoning with large ABoxes (sets of individuals with… 
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… 
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)