Concept Learning in Description Logics

The problem of learning logic programs has been researched extensively, but other knowledge representation formalisms like Description Logics are also an interesting target language. The importance of inductive reasoning in Description Logics has increased with the rise of the Semantic Web, because the learning algorithms can be used as a means for the computer aided building of ontologies. Ontology construction is a burdensome task and powerful tools are needed to support knowledge engineers.

One of the keys for designing induction algorithms in Description Logics are refinement operators. They allow for an efficient traversal of the subsumption hierarchy of concepts. One way to assess the suitability of a refinement operator for learning algorithms is to look at its properties. We analysed the properties completeness, weak completeness, properness, redundancy, finiteness, minimality, and their combinations, in particular we show theoretical limitations of refinement operators in Descriptions Logics.

Learning algorithms can be designed by combining a refinement operator with a a search heuristic. We propose an operator and show that it is close to the best we can hope for. We then create a sound learning algorithm by adding an intelligent search heuristic.

As a second approach we investigate the use of Genetic Programming to solve the learning problem in Description Logics. We discuss the characteristics of Genetic Programming in this context and show a way to incorporate refinement operators in the Genetic Programming framework. Again, we define a suitable operator and analyse it. Some further extensions are also proposed.

Related Publications

Journal Articles

Westphal, Patrick; Grubenmann, Tobias; Collarana, Diego; Bin, Simon; Bühmann, Lorenz; Lehmann, Jens

Spatial concept learning and inference on geospatial polygon data Journal Article

In: Knowl. Based Syst., 241 , pp. 108233, 2022.

BibTeX | Links:

Westphal, Patrick; Bühmann, Lorenz; Bin, Simon; Jabeen, Hajira; Lehmann, Jens

SML-Bench - A benchmarking framework for structured machine learning Journal Article

In: Semantic Web, 10 (2), pp. 231–245, 2019.

BibTeX | Links:

Bühmann, Lorenz; Lehmann, Jens; Westphal, Patrick

DL-Learner - A framework for inductive learning on the Semantic Web Journal Article

In: J. Web Semant., 39 , pp. 15–24, 2016.

BibTeX | Links:

Lehmann, Jens; Auer, Sören; Bühmann, Lorenz; Tramp, Sebastian

Class expression learning for ontology engineering Journal Article

In: J. Web Semant., 9 (1), pp. 71–81, 2011.

BibTeX | Links:

Lehmann, Jens; Hitzler, Pascal

Concept learning in description logics using refinement operators Journal Article

In: Mach. Learn., 78 (1-2), pp. 203–250, 2010, (Based on two ILP Best Paper Awards).

BibTeX | Links:

Lehmann, Jens

DL-Learner: Learning Concepts in Description Logics Journal Article

In: J. Mach. Learn. Res., 10 , pp. 2639–2642, 2009.

BibTeX | Links:

Hellmann, Sebastian; Lehmann, Jens; Auer, Sören

Learning of OWL Class Descriptions on Very Large Knowledge Bases Journal Article

In: Int. J. Semantic Web Inf. Syst., 5 (2), pp. 25–48, 2009.

BibTeX | Links:

Books

Lehmann, Jens; Völker, Johanna

Perspectives on Ontology Learning Book

IOS Press, 2014, ISBN: 978-1-61499-378-0.

BibTeX | Links:

Lehmann, Jens

Learning OWL Class Expressions Book

IOS Press, 2010, ISBN: 978-1-60750-528-0.

BibTeX | Links:

Incollections

Hellmann, Sebastian; Lehmann, Jens; Auer, Sören

Learning of OWL Class Expressions on Very Large Knowledge Bases and its Applications Incollection

In: Semantic Services, Interoperability and Web Applications - Emerging Concepts, pp. 104–130, CRC Press, 2011.

BibTeX | Links:

Inproceedings

Westphal, Patrick; Vahdati, Sahar; Lehmann, Jens

A Simulated Annealing Meta-heuristic for Concept Learning in Description Logics Inproceedings

In: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, pp. 266–281, Springer, 2021.

BibTeX | Links:

Bühmann, Lorenz; Lehmann, Jens; Westphal, Patrick; Bin, Simon

DL-Learner Structured Machine Learning on Semantic Web Data Inproceedings

In: Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018, pp. 467–471, ACM, 2018.

BibTeX | Links:

Bin, Simon; Westphal, Patrick; Lehmann, Jens; Ngonga, Axel

Implementing scalable structured machine learning for big data in the SAKE project Inproceedings

In: 2017 IEEE International Conference on Big Data, BigData 2017, Boston, MA, USA, December 11-14, 2017, pp. 1400–1407, IEEE Computer Society, 2017.

BibTeX | Links:

Bin, Simon; Bühmann, Lorenz; Lehmann, Jens; Ngomo, Axel-Cyrille Ngonga

Towards SPARQL-Based Induction for Large-Scale RDF Data Sets Inproceedings

In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 1551–1552, IOS Press, 2016.

BibTeX | Links:

Rizzo, Giuseppe; Fanizzi, Nicola; Lehmann, Jens; Bühmann, Lorenz

Integrating New Refinement Operators in Terminological Decision Trees Learning Inproceedings

In: Knowledge Engineering and Knowledge Management - 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings, pp. 511–526, 2016.

BibTeX | Links:

Hassan, Umair ul; Zaveri, Amrapali; Marx, Edgard; Curry, Edward; Lehmann, Jens

ACRyLIQ: Leveraging DBpedia for Adaptive Crowdsourcing in Linked Data Quality Assessment Inproceedings

In: Knowledge Engineering and Knowledge Management - 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings, pp. 681–696, 2016.

BibTeX | Links:

Both, Andreas; Wauer, Matthias; García-Rojas, Alejandra; Hladky, Daniel; Lehmann, Jens

The GeoKnow Generator Workbench - An Integrated Tool Supporting the Linked Data Lifecycle for Enterprise Usage Inproceedings

In: Joint Proceedings of the Posters and Demos Track of 11th International Conference on Semantic Systems - SEMANTiCS 2015 and 1st Workshop on Data Science: Methods, Technology and Applications (DSci15) 11th International Conference on Semantic Systems - SEMANTiCS 2015, Vienna, Austria, September 15-17, 2015, pp. 92–95, CEUR-WS.org, 2015.

BibTeX | Links:

Bühmann, Lorenz; Fleischhacker, Daniel; Lehmann, Jens; Melo, André; Völker, Johanna

Inductive Lexical Learning of Class Expressions Inproceedings

In: Knowledge Engineering and Knowledge Management - 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014. Proceedings, pp. 42–53, Springer, 2014.

BibTeX | Links:

Bühmann, Lorenz; Lehmann, Jens

Pattern Based Knowledge Base Enrichment Inproceedings

In: The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I, pp. 33–48, Springer, 2013.

BibTeX | Links:

Hellmann, Sebastian; Lehmann, Jens; Unbehauen, Jörg; Stadler, Claus; Lam, Thanh Nghia; Strohmaier, Markus

Navigation-Induced Knowledge Engineering by Example Inproceedings

In: Semantic Technology, Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings, pp. 207–222, Springer, 2012.

BibTeX | Links:

Cherix, Didier; Hellmann, Sebastian; Lehmann, Jens

Improving the Performance of the DL-Learner SPARQL Component for Semantic Web Applications Inproceedings

In: Semantic Technology, Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings, pp. 332–337, Springer, 2012.

BibTeX | Links:

Bühmann, Lorenz; Lehmann, Jens

Universal OWL Axiom Enrichment for Large Knowledge Bases Inproceedings

In: Knowledge Engineering and Knowledge Management - 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings, pp. 57–71, Springer, 2012.

BibTeX | Links:

Lehmann, Jens; Bühmann, Lorenz

AutoSPARQL: Let Users Query Your Knowledge Base Inproceedings

In: The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, pp. 63–79, Springer, 2011.

BibTeX | Links:

Iglesias, Josué; Lehmann, Jens

Towards integrating fuzzy logic capabilities into an ontology-based Inductive Logic Programming framework Inproceedings

In: 11th International Conference on Intelligent Systems Design and Applications, ISDA 2011, Córdoba, Spain, November 22-24, 2011, pp. 1323–1328, IEEE, 2011.

BibTeX | Links:

Hellmann, Sebastian; Unbehauen, Jörg; Lehmann, Jens

HANNE - A Holistic Application for Navigational Knowledge Engineering Inproceedings

In: Proceedings of the ISWC 2010 Posters & Demonstrations Track: Collected Abstracts, Shanghai, China, November 9, 2010, CEUR-WS.org, 2010.

BibTeX | Links:

Lehmann, Jens; Bühmann, Lorenz

ORE - A Tool for Repairing and Enriching Knowledge Bases Inproceedings

In: The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II, pp. 177–193, Springer, 2010.

BibTeX | Links:

Lehmann, Jens; Haase, Christoph

Ideal Downward Refinement in the emphEL Description Logic Inproceedings

In: Inductive Logic Programming, 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers, pp. 73–87, Springer, 2009.

BibTeX | Links:

Hellmann, Sebastian; Lehmann, Jens; Auer, Sören

Learning of OWL Class Descriptions on Very Large Knowledge Bases Inproceedings

In: Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), Karlsruhe, Germany, October 28, 2008, CEUR-WS.org, 2008.

BibTeX | Links:

Lehmann, Jens; Hitzler, Pascal

A Refinement Operator Based Learning Algorithm for the emphALC Description Logic Inproceedings

In: Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers, pp. 147–160, Springer, 2007.

BibTeX | Links:

Lehmann, Jens; Hitzler, Pascal

Foundations of Refinement Operators for Description Logics Inproceedings

In: Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers, pp. 161–174, Springer, 2007.

BibTeX | Links:

Lehmann, Jens

Hybrid Learning of Ontology Classes Inproceedings

In: Machine Learning and Data Mining in Pattern Recognition, 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings, pp. 883–898, Springer, 2007.

BibTeX | Links: