Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,976,002 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Abox
Description logic
Web 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
Francesco Kriegel
European Conference on Logics in Artificial…
2019
Corpus ID: 76654080
Description logics in their standard setting only allow for representing and reasoning with crisp knowledge without any degree of…
Expand
2012
2012
Efficient and side-channel-secure block cipher implementation with custom instructions on FPGA
Suvarna Mane
,
Mostafa M. I. Taha
,
P. Schaumont
International Conference on Field-Programmable…
2012
Corpus ID: 8913358
The security threat of side-channel analysis (SCA) attacks has created a need for SCA countermeasures. While many countermeasures…
Expand
2012
2012
Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies
Meghyn Bienvenu
Description Logics
2012
Corpus ID: 18265111
2012
2012
Ontology-Based Data Access with Dynamic TBoxes in DL-Lite
Floriana Di Pinto
,
Giuseppe De Giacomo
,
M. Lenzerini
,
R. Rosati
AAAI Conference on Artificial Intelligence
2012
Corpus ID: 7934438
In this paper we introduce the notion of mapping-based knowledge base (MKB) to formalize the situation where both the…
Expand
2009
2009
A DL-based method for access control policy conflict detecting
Feng Huang
,
Zhiqiu Huang
,
Linyuan Liu
Asia-Pacific Symposium on Internetware
2009
Corpus ID: 1806943
As the quick development and application of technology such as Web Service, software or programs with special feature exist as…
Expand
2009
2009
Tableau-Based Reasoning
Ralf Möller
,
Volker Haarslev
Handbook on Ontologies
2009
Corpus ID: 16459351
Tableau-based methods for satisfiability checking build the backbone of major contemporary ontology reasoning sytems. The main…
Expand
2008
2008
Prime Implicate Normal Form for ALC Concepts
Meghyn Bienvenu
Description Logics
2008
Corpus ID: 2157261
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently…
Expand
2005
2005
Description Logics and Disjunctive Datalog — More Than just a Fleeting Resemblance ?
B. Motik
2005
Corpus ID: 697602
As applications of description logics (DLs) proliferate, efficient reasoning with large ABoxes (sets of individuals with…
Expand
2002
2002
Extending Datatype Support in Web Ontology Reasoning
Jeff Z. Pan
,
Ian Horrocks
OTM Conferences / Workshops
2002
Corpus ID: 1960941
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to…
Expand
1998
1998
Implementing an ALCRP(D) ABox Reasoner - Progress Report
Volker Haarslev
,
Ralf Möller
,
Anni-Yasmin Turhan
Description Logics
1998
Corpus ID: 8607419
: This paper presents a progress report on the implementation of an ALCRP ( D ) ABox reasoner and a knowledge representation…
Expand
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)
ACCEPT & CONTINUE