Abstract
While the problem of learning logic programs has been extensively studied in ILP, the problem of learning in description logics (DLs) has been tackled mostly by empirical means. Learning in DLs is however worthwhile, since both Horn logic and description logics are widely used knowledge representation formalisms, their expressive powers being incomparable (neither includes the other as a fragment). Unlike most approaches to learning in description logics, which provide bottom-up (and typically overly specific) least generalizations of the examples, this paper addresses learning in DLs using downward (and upward) refinement operators. Technically, we construct a complete and proper refinement operator for the ALER description logic (to avoid overfitting, we disallow disjunctions from the target DL). Although no minimal refinement operators exist for ALER, we show that we can achieve minimality of all refinement steps, except the ones that introduce the ⊥ concept. We additionally prove that complete refinement operators for ALER cannot be locally finite and suggest how this problem can be overcome by an MDL search heuristic. We also discuss the influence of the Open World Assumption (typically made in DLs) on example coverage.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader F., Küsters R. Least common subsumer computation w.r.t. cyclic ALNterminologies. In Proc. Int. Workshop on Description Logics (DL’98), Trento, Italy.
Baader F., R. Küsters, R. Molitor. Computing Least Common Subsumers in Description Logics with Existential Restrictions. Proc. IJCAI’99, pp. 96–101.
Badea Liviu, Stanciu Monica. Refinement Operators Can Be (Weakly) Perfect. Proc. ILP-99, LNAI 1631, Springer, 1999, pp. 21–32.
Badea Liviu. Perfect Refinement Operators Can Be Flexible. Proc. ECAI-2000.
Borgida A. On the relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence, Vol. 82, Number 1–2, pp. 353–367, 1996.
Buchheit M., F. Donini, A. Schaerf. Decidable reasoning in terminological knowledge representation systems. J. Artificial Intelligence Research, 1:109–138, 1993.
Cohen W.W., A. Borgida, H. Hirsh. Computing least common subsumers in description logics. Proc. AAAI-92, San Jose, California, 1992.
Cohen W.W., H. Hirsh. Learning the CLASSIC description logic: Theoretical and experimental results. InPrinciples of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, pp. 121–133, 1994.
Donini F.M., M. Lenzerini, D. Nardi, W. Nutt. The complexity of concept languages. Information and Computation, 134:1–58, 1997.
Donini F.M., M. Lenzerini, D. Nardi, A. Schaerf AL-log: integrating datalog and description logics. Journal of Intelligent Information Systems, 10:227–252, 1998.
Donini F.M., M. Lenzerini, D. Nardi, A. Schaerf, W. Nutt. An epistemic operator for description logics. Artificial Intelligence, 100(1–2), 225–274, 1998.
Kietz J.U., Morik K. A Polynomial Approach to the Constructive Induction of Structural Knowledge. Machine Learning, Vol. 14, pp. 193–217, 1994.
Kietz J.U. Some lower-bounds for the computational complexity of Inductive Logic Programming. Proc. ECML’93, LNAI 667, Springer, 1993.
Levy A., M.C. Rousset. CARIN: A Representation Language Combining Horn Rules and Description Logics. Proc. ECAI-96, Budapest, 1996.
Levy A., M.C. Rousset. The Limits on Combining Horn Rules with Description Logics. Proc. AAAI-96, Portland, 1996.
Muggleton S. Inverse entailment and Progol. New Generation Computing Journal, 13:245–286, 1995.
van der Laag P., S.H. Nienhuys-Cheng. A Note on Ideal Refinement Operators in Inductive Logic Programming. Proceedings ILP-94, 247–260.
van der Laag P., S.H. Nienhuys-Cheng. Existence and Nonexistence of Complete Refinement Operators. ECML-94, 307–322.
Nienhuys-Cheng S.H., de Wolf R. Foundations of Inductive Logic Programming. LNAI 1228, Springer Verlag, 1997.
Nienhuys-Cheng S.-H., W. Van Laer, J. Ramon, and L. De Raedt. Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms. Proc. ILP-99, LNAI 1631, Springer, 1999, pp. 245–256.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Badea, L., Nienhuys-Cheng, S.H. (2000). A Refinement Operator for Description Logics. In: Cussens, J., Frisch, A. (eds) Inductive Logic Programming. ILP 2000. Lecture Notes in Computer Science(), vol 1866. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44960-4_3
Download citation
DOI: https://doi.org/10.1007/3-540-44960-4_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67795-6
Online ISBN: 978-3-540-44960-7
eBook Packages: Springer Book Archive