<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Jens Lehmann</style></author><author><style face="normal" font="default" size="100%">Axel Polleres</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Dov. M. Gabbay</style></author><author><style face="normal" font="default" size="100%">John Woods</style></author><author><style face="normal" font="default" size="100%">Jörg Siekmann</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Logics for the Semantic Web</style></title><secondary-title><style face="normal" font="default" size="100%">Handbook of the History of Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Elsevier</style></publisher><volume><style face="normal" font="default" size="100%">9</style></volume><pages><style face="normal" font="default" size="100%">679-710</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Jens Lehmann</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Concept learning in description logics using refinement operators</style></title><secondary-title><style face="normal" font="default" size="100%">Machine Learning</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">description logics</style></keyword><keyword><style  face="normal" font="default" size="100%">Inductive logic programming</style></keyword><keyword><style  face="normal" font="default" size="100%">OWL</style></keyword><keyword><style  face="normal" font="default" size="100%">refinement operators</style></keyword><keyword><style  face="normal" font="default" size="100%">Semantic Web</style></keyword><keyword><style  face="normal" font="default" size="100%">Structured Machine Learning</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://springerlink.metapress.com/content/c040n45u15qrnu44/</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">78</style></volume><pages><style face="normal" font="default" size="100%">203–250</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p class=&quot;rtejustify&quot;&gt;With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, is constrained by the lack of well-structured knowledge bases consisting of a sophisticated schema and instance data adhering to this schema. It is paramount that suitable automated methods for their acquisition, maintenance, and evolution will be developed. In this paper, we provide a learning algorithm based on refinement operators for the description logic ALCQ including support for concrete roles. We develop the algorithm from thorough theoretical foundations by identifying possible abstract property combinations which refinement operators for description logics can have. Using these investigations as a basis, we derive a practically useful complete and proper refinement operator. The operator is then cast into a learning algorithm and evaluated using our implementation DL-Learner. The results of the evaluation show that our approach is superior to other learning approaches on description logics, and is competitive with established ILP systems.&lt;/p&gt;
</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Jens Lehmann</style></author><author><style face="normal" font="default" size="100%">Sebastian Bader</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Extracting Reduced Logic Programs from Artificial Neural Networks</style></title><secondary-title><style face="normal" font="default" size="100%">Applied Intelligence</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s10489-008-0142-y</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">32</style></volume><pages><style face="normal" font="default" size="100%">249–266</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p class=&quot;rtejustify&quot;&gt;Artificial neural networks can be trained to perform excellently in many application areas. Whilst they can learn from raw data to solve sophisticated recognition and analysis problems, the acquired knowledge remains hidden within the network architecture and is not readily accessible for analysis or further use: Trained networks are black boxes. Recent research efforts therefore investigate the possibility to extract symbolic knowledge from trained networks, in order to analyze, validate, and reuse the structural insights gained implicitly during the training process. In this paper, we will study how knowledge in form of propositional logic programs can be obtained in such a way that the programs are as simple as possible — where simple is being understood in some clearly defined and meaningful way.&lt;/p&gt;
</style></abstract></record></records></xml>