Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,166,823 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
2019
2019
Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract)
Patrick Koopmann
Description Logics
2019
Corpus ID: 53664646
In ontology-based query answering (OBQA), queries are evaluated on a set of data with respect to an ontology, which specifies…
Expand
2015
2015
Description Logics for Documentation
C. Meghini
Italian Research Conference on Digital Library…
2015
Corpus ID: 15459581
Much of the activity in a digital library revolves around collecting, organizing and publishing knowledge about the resources of…
Expand
2012
2012
Efficient Upper Bound Computation of Query Answers in Expressive Description Logics
Yujiao Zhou
,
B. C. Grau
,
Ian Horrocks
Description Logics
2012
Corpus ID: 937391
2012
2012
Security Ontology for Semantic SCADA
Nabil Sahli
,
M. Benmohammed
International Conference on Web and Information…
2012
Corpus ID: 32879338
Web services have become a significant part of embedded systems as SCADA and internet applications embedded in RTU, because (WS…
Expand
2011
2011
DL-Lite with Attributes and Sub-Roles (Extended Abstract)
A. Artale
,
Y. Ibáñez-García
,
R. Kontchakov
,
V. Ryzhikov
Description Logics
2011
Corpus ID: 10369275
The DL-Lite family of description logics has recently been proposed and investigated in [5–7] and later extended in [1, 8, 3…
Expand
2007
2007
Computing OWL Ontology Decompositions Using Resolution
R. Schiaffino
,
Achille Fokoue
,
+5 authors
Kavitha Srinivas
International Workshop on Modular Ontologies
2007
Corpus ID: 6552539
Reasoning over large ontologies can be done more effectively if they can be decomposed into smaller parts which can be reasoned…
Expand
2005
2005
A Generator for Description Logic Formulas
J. Hladik
Description Logics
2005
Corpus ID: 2369908
We introduce a schema for generating random formulas for different description logics, which extends an existing pattern for…
Expand
2005
2005
Description Logics and Disjunctive Datalog — More Than just a Fleeting Resemblance ?
Boris Motik
2005
Corpus ID: 697602
As applications of description logics (DLs) proliferate, efficient reasoning with large ABoxes (sets of individuals with…
Expand
1998
1998
Implementing an ALCRP(D) ABox Reasoner - Progress Report
V. 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