Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,842,912 papers from all fields of science
Search
Sign In
Create Free Account
Abox
In Computer Science, an ABox is an "assertion component"—a fact associated with a terminological vocabulary within a knowledge base. The terms ABox…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Description logic
Knowledge base
Tbox
Web Ontology Language
Broader (1)
Ontology (information science)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
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
2011
2011
Relaxed Abduction: Robust Information Interpretation for Incomplete Models
Thomas Hubauer
,
S. Lamparter
,
M. Pirker
Description Logics
2011
Corpus ID: 16010316
This paper introduces relaxed abduction, a novel non-standard reasoning task for description logics. Although abductive reasoning…
Expand
2010
2010
Optimization Techniques for Fuzzy Description Logics
Nikos Simou
,
T. Mailis
,
G. Stoilos
,
G. Stamou
Description Logics
2010
Corpus ID: 18039421
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different…
Expand
2008
2008
Non-parametric Statistical Learning Methods for Inductive Classifiers in Semantic Knowledge Bases
Claudia d’Amato
,
N. Fanizzi
,
F. Esposito
International Computer Science Conference
2008
Corpus ID: 14522602
This work concerns non-parametric approaches for statistical learning applied to the standard knowledge representations languages…
Expand
2008
2008
On Ordering and Indexing Metadata for the Semantic Web
Jeffrey Pound
,
L. Stanchev
,
David Toman
,
G. Weddell
Description Logics
2008
Corpus ID: 6352774
RDF underlies a vision of the Semantic Web in which metadata, consisting of a set of subject/property/object triples, can be…
Expand
2006
2006
Providing an Uncertainty Reasoning Service for Semantic Web Application
Lei Li
,
Qiaoling Liu
,
Yunfeng Tao
,
Lei Zhang
,
Jian Zhou
,
Yong Yu
Asia-Pacific Web Conference
2006
Corpus ID: 16311182
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty…
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
2001
2001
Combining Tableau and Algebraic Methods for Reasoning with Qualified Number Restrictions in Description Logics
V. Haarslev
,
Martina Timmann
,
Ralf Möller
2001
Corpus ID: 16267925
The paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR…
Expand
2000
2000
Commonality-Based ABox Retrieval
Thomas Mantay
2000
Corpus ID: 17561613
In commonality-based information retrieval, the commonalities of user-specified examples of desired information are used for…
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