Automated Reasoning | Sciweavers

37

DLOG
2007

155views Automated Reasoning» more DLOG 2007»

Expressive Querying over Fuzzy DL-Lite Ontologies

14 years 1 months ago

Abstract. Fuzzy Description Logics (f-DLs) have been proposed as formalisms capable of capturing and reasoning about imprecise and vague knowledge. The last years, research in Desc...

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

claim paper

Read More »

27

click to vote

DLOG
2007

97views Automated Reasoning» more DLOG 2007»

Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd

14 years 1 months ago

Download www.meteck.org

Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...

C. Maria Keet

claim paper

Read More »

23

click to vote

DLOG
2007

99views Automated Reasoning» more DLOG 2007»

Knowledge Representation Meets Databases - a View of the Symbiosys

14 years 1 months ago

Download dl.kr.org

Alexander Borgida

claim paper

Read More »

24

click to vote

DLOG
2007

90views Automated Reasoning» more DLOG 2007»

The Minimal Finite Model Visualization as an Ontology Debugging Tool

14 years 1 months ago

Download ftp.informatik.rwth-aachen.de

We present an new Prot´eg´e plugin for constructing a minimal satisﬁability model of an OWL ontology and visualizing it in the original music score notation.

Martins Barinskis, Guntis Barzdins

claim paper

Read More »

47

click to vote

DLOG
2007

138views Automated Reasoning» more DLOG 2007»

Deciding ALBO with Tableau

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...

Renate A. Schmidt, Dmitry Tishkovsky

claim paper

Read More »

32

click to vote

DLOG
2007

149views Automated Reasoning» more DLOG 2007»

Description Logic vs. Order-Sorted Feature Logic

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...

Hassan Aït-Kaci

claim paper

Read More »

43

click to vote

DLOG
2007

114views Automated Reasoning» more DLOG 2007»

Optimizing Tableau Reasoning in ALC Extended with Uncertainty

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...

Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri

claim paper

Read More »

40

click to vote

DLOG
2007

89views Automated Reasoning» more DLOG 2007»

Extracting Ontologies from Relational Databases

14 years 1 months ago

Download www.inf.unibz.it

Lina Lubyte, Sergio Tessaris

claim paper

Read More »

37

click to vote

DLOG
2007

115views Automated Reasoning» more DLOG 2007»

A Possibilistic Extension of Description Logics

14 years 1 months ago

Download sunsite.informatik.rwth-aachen.de

Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...

Guilin Qi, Jeff Z. Pan, Qiu Ji

claim paper

Read More »

20

click to vote

DLOG
2007

92views Automated Reasoning» more DLOG 2007»

Integrating Semantic Annotations in Bayesian Causal Models

14 years 1 months ago