DLOG
2011
13 years 2 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
DLOG
2011
13 years 2 months ago
2011
Completion algorithms for subsumption are investigated for many extensions of the description logic EL. While for several of them subsumption is tractable, this is no longer the ca...
DLOG
2011
13 years 2 months ago
2011
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
KR
2010
Springer
14 years 4 months ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
TABLEAUX
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
LATA
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...