DLOG 2008 | Sciweavers

18

click to vote

DLOG
2008

78views Automated Reasoning» more DLOG 2008»

Towards Higher-Order DL-Lite

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...

claim paper

Read More »

32

click to vote

DLOG
2008

88views Automated Reasoning» more DLOG 2008»

A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest f...

Franz Baader, Novak Novakovik, Boontawee Suntisriv...

claim paper

Read More »

38

click to vote

DLOG
2008

140views Automated Reasoning» more DLOG 2008»

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...

Andrea Calì, Georg Gottlob, Michael Kifer

claim paper

Read More »

29

click to vote

DLOG
2008

86views Automated Reasoning» more DLOG 2008»

Explaining User Errors in Knowledge Base Completion

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Baris Sertkaya

claim paper

Read More »

38

click to vote

DLOG
2008

120views Automated Reasoning» more DLOG 2008»

Identifying Objects Over Time with Description Logics

14 years 1 months ago

Download www.cs.uwaterloo.ca

A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...

David Toman, Grant E. Weddell

claim paper

Read More »

45

click to vote

DLOG
2008

204views Automated Reasoning» more DLOG 2008»

Classifying Fuzzy Subsumption in Fuzzy-EL+

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...

Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan

claim paper

Read More »

36

click to vote

DLOG
2008

120views Automated Reasoning» more DLOG 2008»

Realization Problem for Formal Concept Analysis

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Formal Concept Analysis (FCA) is an approach to knowledge engineering, representation, and analysis. A `standard' FCA-workflow starts with some `experimental' data, class...

Nikolay Shilov

claim paper

Read More »

38

click to vote

DLOG
2008

106views Automated Reasoning» more DLOG 2008»

Distributed Resolution for ALC

14 years 1 months ago

Download ki.informatik.uni-mannheim.de

The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...

Anne Schlicht, Heiner Stuckenschmidt

claim paper

Read More »

27

click to vote

DLOG
2008

188views Automated Reasoning» more DLOG 2008»

The Revival of Structural Subsumption in Tableau-based Reasoners

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Ralf Möller, Volker Haarslev, Sebastian Wande...

claim paper