Search Sciweavers | Sciweavers

2381 search results - page 91 / 477

» On Ordering Descriptions in a Description Logic

179

click to vote

DLOG
2010

126views Automated Reasoning» more DLOG 2010»

Distance-based Measures of Inconsistency and Incoherency for Description Logics

15 years 4 months ago

Download www.cs.uwaterloo.ca

Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...

Yue Ma, Pascal Hitzler

claim paper

Read More »

172

click to vote

DLOG
2010

149views Automated Reasoning» more DLOG 2010»

On the feasibility of Description Logic knowledge bases with rough concepts and vague instances

15 years 4 months ago

Download www.cs.uwaterloo.ca

Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...

C. Maria Keet

claim paper

Read More »

135

click to vote

DLOG
2009

79views Automated Reasoning» more DLOG 2009»

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results

15 years 4 months ago