Foundations of Refinement Operators for Description Logics

TitleFoundations of Refinement Operators for Description Logics
Publication TypeConference Paper
Year of Publication2007
AuthorsJens Lehmann, Pascal Hitzler
Conference Name17th International Conference, ILP 2007
Date Published06/2007
Conference LocationCorvallis, OR, USA

In order to leverage techniques from Inductive Logic Programming for the learning in description logics (DLs), which are the foundation of ontology languages in the Semantic Web, it is important to acquire a thorough understanding of the theoretical potential and limitations of using refinement operators within the description logic paradigm. In this paper, we present a comprehensive study which analyses desirable properties such operators should have. In particular, we show that ideal refinement operators in general do not exist, which is indicative of the hardness inherent in learning in DLs. We also show which combinations of desirable properties are theoretically possible, thus providing an important step towards the definition of practically applicable operators.

Full Text

Jens Lehmann, Pascal Hitzler, 'Foundations of Refinement Operators for Description Logics,' 17th International Conference, ILP 2007, Corvallis, OR, USA, June 2007, pp. 161-174.

"hasEditor" : [
"H. Blockeel",
"J. Ramon",
"J. Shavlik",
"P. Tadepalli"

Related Files: