DLOG
2010
13 years 3 months ago
2010
We develop a query algebra that supports efficient assertion retrieval--a natural extension of instance retrieval. The algebra is based on previously developed techniques for index...
DLOG
2010
13 years 3 months ago
2010
DLOG
2010
13 years 3 months ago
2010
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...
DLOG
2010
13 years 3 months ago
2010
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...
DLOG
2010
13 years 3 months ago
2010
DLOG
2010
13 years 3 months ago
2010
Abstract. This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition fo...
DLOG
2010
13 years 3 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
DLOG
2010
13 years 3 months ago
2010
We put forward a methodological approach aimed at guiding ontology modellers in choosing which relations to reify. Our proposal is based on the notion of aggregation as used in con...
DLOG
2010
13 years 3 months ago
2010
In this paper, we revisit the problem of definitorial completeness, i.e., whether a given general TBox T in a description logic (DL) L can be rewritten to an acyclic TBox T in L . ...
DLOG
2010
13 years 3 months ago
2010
The task of generating referring expressions, an important subtask of Natural Language Generation is to generate phrases that uniquely identify domain entities. Until recently, man...