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
Spatial concept learning and inference on geospatial polygon data Journal Article
In: Knowl. Based Syst., 241 , pp. 108233, 2022.
SML-Bench - A benchmarking framework for structured machine learning Journal Article
In: Semantic Web, 10 (2), pp. 231–245, 2019.
DL-Learner - A framework for inductive learning on the Semantic Web Journal Article
In: J. Web Semant., 39 , pp. 15–24, 2016.
Class expression learning for ontology engineering Journal Article
In: J. Web Semant., 9 (1), pp. 71–81, 2011.
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).
DL-Learner: Learning Concepts in Description Logics Journal Article
In: J. Mach. Learn. Res., 10 , pp. 2639–2642, 2009.
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.
Books
Perspectives on Ontology Learning Book
IOS Press, 2014, ISBN: 978-1-61499-378-0.
Learning OWL Class Expressions Book
IOS Press, 2010, ISBN: 978-1-60750-528-0.
Incollections
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.
Inproceedings
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.