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… 
2012
2012
Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies
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… 
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… 
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… 
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… 
2002
2002
Extending Datatype Support in Web Ontology Reasoning
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to… 
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)