Sciweavers

Share
ICFCA
2010
Springer

An Approach to Exploring Description Logic Knowledge Bases

9 years 10 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 general concept inclusions holding in a finite model always has a finite basis. An exploration formalism that can be used to obtain this basis was presented in the second paper. In this paper we show how this formalism can be modified such that counterexamples to GCIs can be provided in the form of ABoxindividuals. In a second part of the paper we examine which description logics can be used for this ABox.
Felix Distel
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2010
Where ICFCA
Authors Felix Distel
Comments (0)
books