Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,166,820 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.
2017
2017
Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)
Nadia Labai
,
Martin Homola
,
Magdalena Ortiz
Description Logics
2017
Corpus ID: 1222666
The newly introducedALC(D) extendsALC with path constraints over concrete domainsD. Previous work showed decidability of the…
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
2015
2015
Answering Queries over CFD ∀ nc Knowledge Bases
D. Toman
,
G. Weddell
2015
Corpus ID: 14447067
We exhibit a procedure in the spirit of OBDA in which a relational engine can be usefully employed to address scalability issues…
Expand
2014
2014
DIP: A Defeasible-Inference Platform for OWL Ontologies
K. Moodley
,
T. Meyer
,
U. Sattler
Description Logics
2014
Corpus ID: 12326909
27th International Workshop on Description Logics (DL2014), Vienna, Austria, 17-20 July 2014.
2014
2014
Radiocarbon dating of charcoal by the ABOX-SC method
Shinji Tomiyama
,
M. Minami
,
Toshio Nakamura
2014
Corpus ID: 133111848
Charcoal is one of the most important samples for radiocarbon dating. It is necessary to remove contaminants from charcoal sample…
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
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
2008
2008
On Ordering and Indexing Metadata for the Semantic Web
Jeffrey Pound
,
L. Stanchev
,
D. 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
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
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