Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,063,333 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)
P. 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
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
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
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
2010
2010
Knowledge Acquisition and Processing System for Romanian Historical Documents
I. Salomie
,
M. Dînșoreanu
,
C. Pop
,
R. Lar
12th International Symposium on Symbolic and…
2010
Corpus ID: 15750490
This paper presents ArhiNet, an integrated system for generating, processing and querying semantically enhanced archival eContent…
Expand
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
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