3358 search results - page 34 / 672 » Dynamic Description Logics |
ICFCA
2010
Springer
14 years 3 months ago
2010
Springer
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...
AUSAI
2009
Springer
14 years 3 months ago
2009
Springer
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...
DLOG
2006
13 years 10 months ago
2006
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...
EWCBR
1998
Springer
14 years 26 days ago
1998
Springer
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...
KRMED
2008
13 years 10 months ago
2008
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...