Article

DL-FOIL Concept Learning in Description Logics

Authors:

Nicola Fanizzi,

Claudia D'Amato,

Floriana EspositoAuthors Info & Claims

ILP '08: Proceedings of the 18th international conference on Inductive Logic Programming

Pages 107 - 121

https://doi.org/10.1007/978-3-540-85928-4_12

Published: 10 September 2008 Publication History

Abstract

In this paper we focus on learning concept descriptions expressed in Description Logics. After stating the learning problem in this context, a FOIL-like algorithm is presented that can be applied to general DL languages, discussing related theoretical aspects of learning with the inherent incompleteness underlying the semantics of this representation. Subsequently we present an experimental evaluation of the implementation of this algorithm performed on some real ontologies in order to empirically assess its performance.

References

[1]

Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

[2]

Baader, F., Ganter, B., Sertkaya, B., Sattler, U.: Completing description logic knowledge bases using formal concept analysis. In: Veloso, M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, pp. 230-235 (2007)

[3]

Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34-43 (2001)

[4]

Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82(1-2), 353-367 (1996)

[5]

Brandt, S., Küsters, R., Turhan, A.-Y.: Approximation and difference in description logics. In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M.-A. (eds.) Proceedings of the International Conference on Knowledge Representation, pp. 203-214. Morgan Kaufmann, San Francisco (2002)

[6]

Cohen, W.W., Hirsh, H.: Learnability of description logics. In: Proceedings of the Fourth Annual Workshop on Computational Learning Theory, Pittsburgh, PA. ACM Press, New York (1992)

[7]

Cohen, W.W., Hirsh, H.: Learning the CLASSIC description logic. In: Torasso, P., Doyle, J., Sandewall, E. (eds.) Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning, pp. 121-133. Morgan Kaufmann, San Francisco (1994)

[8]

d'Amato, C., Fanizzi, N., Esposito, F.: Query answering and ontology population: An inductive approach. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 288-302. Springer, Heidelberg (2008)

[9]

Dean, M., Schreiber, G.: Web Ontology Language Reference. W3C recommendation, W3C (2004), http://www.w3.org/TR/owl-ref

[10]

Esposito, F., Fanizzi, N., Iannone, L., Palmisano, I., Semeraro, G.: Knowledge-intensive induction of terminologies from metadata. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 441-455. Springer, Heidelberg (2004)

[11]

Goldman, S.A., Kwek, S., Scott, S.D.: Learning from examples with unspecified attribute values. Information and Computation 180(2), 82-100 (2003)

[12]

Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th international conference on World Wide Web, WWW 2003, pp. 48-57. ACM Press, New York (2003)

[13]

Iannone, L., Palmisano, I., Fanizzi, N.: An algorithm based on counterfactuals for concept learning in the semantic web. Applied Intelligence 26(2), 139-159 (2007)

[14]

Inuzuka, N., Kamo, M., Ishii, N., Seki, H., Itoh, H.: Tow-down induction of logic programs from incomplete samples. In: Muggleton, S. (ed.) ILP 1996. LNCS, vol. 1314, pp. 265-282. Springer, Heidelberg (1997)

[15]

Kietz, J.-U.: Learnability of description logic programs. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol. 2583, pp. 117-132. Springer, Heidelberg (2003)

[16]

Kietz, J.-U., Morik, K.: A polynomial approach to the constructive induction of structural knowledge. Machine Learning 14(2), 193-218 (1994)

[17]

Lehmann, J., Hitzler, P.: Foundations of refinement operators for description logics. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol. 4894, pp. 161-174. Springer, Heidelberg (2008)

[18]

Lehmann, J., Hitzler, P.: A refinement operator based learning algorithm for the ALC description logic. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol. 4894, pp. 147-160. Springer, Heidelberg (2008)

[19]

Lisi, F.A.: Principles of inductive reasoning on the Semantic Web: A framework for learning in AL -Log. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 118-132. Springer, Heidelberg (2005)

[20]

Quinlan, R.: Learning logical definitions from relations. Machine Learning 5, 239- 266 (1990)

[21]

Rouveirol, C., Ventos, V.: Towards learning in CARIN- ALN . In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, pp. 191-208. Springer, Heidelberg (2000)

Cited By

Karalis NBigerl ADemir CHeidrich LNgonga Ngomo A(2024)Evaluating Negation with Multi-way Joins Accelerates Class Expression LearningMachine Learning and Knowledge Discovery in Databases. Research Track10.1007/978-3-031-70365-2_12(199-216)Online publication date: 8-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-70365-2_12
Artale AJung JMazzullo AOzaki AWolter F(2023)Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role InclusionsACM Transactions on Computational Logic10.1145/359730124:4(1-51)Online publication date: 10-Oct-2023
https://dl.acm.org/doi/10.1145/3597301
Kouagou NHeindorf SDemir CNgonga Ngomo A(2023)Neural Class Expression Synthesis in Machine Learning and Knowledge Discovery in Databases: Research Track10.1007/978-3-031-43421-1_12(196-212)Online publication date: 18-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-43421-1_12
Show More Cited By

DL-FOIL Concept Learning in Description Logics
1. Theory of computation

Recommendations

DL-Learner: Learning Concepts in Description Logics

In this paper, we introduce DL-Learner, a framework for learning in description logics and OWL. OWL is the official W3C standard ontology language for the Semantic Web. Concepts in this language can be learned for constructing and maintaining OWL ...
Constructive Description Logics Hybrid-Style

Constructive modal logics come in several different flavours and constructive description logics, not surprisingly, do the same. We introduce an intuitionistic description logic, which we call iALC (for intuitionistic ALC, since ALC is the name of the ...
Complexities of Horn Description Logics

Description logics (DLs) have become a prominent paradigm for representing knowledge in a variety of application areas, partly due to their ability to achieve a favourable balance between expressivity of the logic and performance of reasoning. Horn ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

ILP '08: Proceedings of the 18th international conference on Inductive Logic Programming

September 2008

347 pages

ISBN:9783540859277

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 10 September 2008

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

53
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Karalis NBigerl ADemir CHeidrich LNgonga Ngomo A(2024)Evaluating Negation with Multi-way Joins Accelerates Class Expression LearningMachine Learning and Knowledge Discovery in Databases. Research Track10.1007/978-3-031-70365-2_12(199-216)Online publication date: 8-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-70365-2_12
Artale AJung JMazzullo AOzaki AWolter F(2023)Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role InclusionsACM Transactions on Computational Logic10.1145/359730124:4(1-51)Online publication date: 10-Oct-2023
https://dl.acm.org/doi/10.1145/3597301
Kouagou NHeindorf SDemir CNgonga Ngomo A(2023)Neural Class Expression Synthesis in Machine Learning and Knowledge Discovery in Databases: Research Track10.1007/978-3-031-43421-1_12(196-212)Online publication date: 18-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-43421-1_12
Kouagou NHeindorf SDemir CNgonga Ngomo A(2023)Neural Class Expression SynthesisThe Semantic Web10.1007/978-3-031-33455-9_13(209-226)Online publication date: 28-May-2023
https://dl.acm.org/doi/10.1007/978-3-031-33455-9_13
Demir CNgonga Ngomo A(2023)Learning Permutation-Invariant Embeddings for Description Logic ConceptsAdvances in Intelligent Data Analysis XXI10.1007/978-3-031-30047-9_9(103-115)Online publication date: 12-Apr-2023
https://dl.acm.org/doi/10.1007/978-3-031-30047-9_9
Kouagou NHeindorf SDemir CNgomo A(2022)Learning Concept Lengths Accelerates Concept Learning in ALCThe Semantic Web10.1007/978-3-031-06981-9_14(236-252)Online publication date: 29-May-2022
https://dl.acm.org/doi/10.1007/978-3-031-06981-9_14
d’Amato C(2021)Mining the Semantic Web with Machine Learning: Main Issues that Need to Be KnownReasoning Web. Declarative Artificial Intelligence 10.1007/978-3-030-95481-9_4(76-93)Online publication date: 8-Sep-2021
https://dl.acm.org/doi/10.1007/978-3-030-95481-9_4
Mecharnia TPernelle NRouveirol CHamdi FKhelifa L(2021)Mining Contextual Rules to Predict Asbestos in BuildingsGraph-Based Representation and Reasoning10.1007/978-3-030-86982-3_13(170-184)Online publication date: 20-Sep-2021
https://dl.acm.org/doi/10.1007/978-3-030-86982-3_13
d’Amato C(2020)Machine Learning for the Semantic WebSemantic Web10.3233/SW-20038811:1(195-203)Online publication date: 1-Jan-2020
https://dl.acm.org/doi/10.3233/SW-200388
Ławrynowicz A(2020)Creative AISemantic Web10.3233/SW-19037711:1(69-78)Online publication date: 1-Jan-2020
https://dl.acm.org/doi/10.3233/SW-190377
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents