48 search results - page 1 / 10 » Exploring Finite Models in the Description Logic |
ICFCA
2009
Springer
14 years 6 days ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
DLOG
2004
13 years 6 months ago
2004
DLOG
1996
13 years 6 months ago
1996
ICFCA
2010
Springer
14 years 7 days 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...
CSL
2010
Springer
13 years 5 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...