Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,533,480 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
Practical Query Rewriting for DL-Lite with Numerical Predicates
Christian Alrabbaa
,
P. Koopmann
,
Anni-Yasmin Turhan
Global Conference on Artificial Intelligence
2019
Corpus ID: 202723558
We present a method for answering ontology-mediated queries for DL-Lite extended with a concrete domain, where we allow concrete…
Expand
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
2012
2012
OntoMerge : A System for Merging DL-Lite Ontologies
Zhe Wang
,
Kewen Wang
,
Yifan Jin
,
G. Qi
2012
Corpus ID: 5682527
Merging multi-sourced ontologies in a consistent manner is an important and challenging research topic. In this paper, we propose…
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
2009
2009
Tableau-Based Reasoning
Ralf Möller
,
V. 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
2009
2009
Belief Contraction in the Description Logic EL
Zhiqiang Zhuang
,
M. Pagnucco
Description Logics
2009
Corpus ID: 2641626
In this paper, we propose a service for contracting axioms from ontologies based on the description logic EL. In particular, we…
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
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
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