Sciweavers

1568 search results - page 29 / 314
» Fusions of Description Logics
Sort
View
ICFCA
2010
Springer
15 years 4 months ago
An Approach to Exploring Description Logic Knowledge Bases
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp, the set of gene...
Felix Distel
AUSAI
2009
Springer
15 years 4 months ago
Modelling Object Typicality in Description Logics
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
Katarina Britz, Johannes Heidema, Thomas Andreas M...
DLOG
2006
14 years 11 months ago
Handling Imprecise Knowledge with Fuzzy Description Logic
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
EWCBR
1998
Springer
15 years 1 months ago
Study and Formalization of a Case-Based Reasoning System Using a Description Logic
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...
Sylvie Salotti, Véronique Ventos
KRMED
2008
14 years 11 months ago
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compu...
Franz Baader, Boontawee Suntisrivaraporn