<?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%">Dalal, Abhilekha</style></author><author><style face="normal" font="default" size="100%">Rayan, Rushrukh</style></author><author><style face="normal" font="default" size="100%">Barua, Adrita</style></author><author><style face="normal" font="default" size="100%">Akkamahadevi, Samatha Ereshi</style></author><author><style face="normal" font="default" size="100%">Sarker, Md Kamruzzaman</style></author><author><style face="normal" font="default" size="100%">Widmer, Cara</style></author><author><style face="normal" font="default" size="100%">Hitzler, Pascal</style></author><author><style face="normal" font="default" size="100%">Vasserman, Eugene Y</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Individual CNN Hidden-Layer Neurons Are Good Concept Encoders</style></title><secondary-title><style face="normal" font="default" size="100%">Handbook on Neurosymbolic AI and Knowledge Graphs</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2025</style></year></dates><publisher><style face="normal" font="default" size="100%">IOS Press</style></publisher><pages><style face="normal" font="default" size="100%">808–816</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>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Adrita Barua</style></author><author><style face="normal" font="default" size="100%">Saki Norouzi, Sanaz</style></author><author><style face="normal" font="default" size="100%">Hitzler, Pascal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">DaSeLab at LLMs4OL 2024 Task A: Towards Term Typing in Ontology Learning</style></title><secondary-title><style face="normal" font="default" size="100%">The 23rd Internatinal Semantic Web Conference, ISWC 2024</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2024</style></year></dates><publisher><style face="normal" font="default" size="100%">TIB Open Access Publishing proceedings</style></publisher><pub-location><style face="normal" font="default" size="100%"> Maryland, USA</style></pub-location><volume><style face="normal" font="default" size="100%">1st LLMs4OL Challenge @ ISWC 2024</style></volume><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%">Carral, David</style></author><author><style face="normal" font="default" size="100%">Zalewski, Joseph</style></author><author><style face="normal" font="default" size="100%">Hitzler, Pascal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Logic and Computation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2022</style></year><pub-dates><date><style  face="normal" font="default" size="100%">05</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1093/logcom/exac032</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;{Nominal schemas have been proposed as an extension to Description Logics (DL), the knowledge representation paradigm underlying the Web Ontology Language (OWL). They provide for a very tight integration of DL and rules. Nominal schemas can be understood as syntactic sugar on top of OWL. However, this naive perspective leads to inefficient reasoning procedures. In order to develop an efficient reasoning procedure for the language \\$\\{\\mathcal \\{E\\}\\mathcal \\{L\\}\\mathcal \\{V\\}^\\{++\\}\\}\\$, which results from extending the OWL profile language OWL EL with nominal schemas, we propose a transformation from \\$\\{\\mathcal \\{E\\}\\mathcal \\{L\\}\\mathcal \\{V\\}^\\{++\\}\\}\\$ ontologies into Datalog-like rule programs that can be used for satisfiability checking and assertion retrieval. The use of this transformation enables the use of powerful Datalog engines to solve reasoning tasks over \\$\\{\\mathcal \\{E\\}\\mathcal \\{L\\}\\mathcal \\{V\\}^\\{++\\}\\}\\$ ontologies. We implement and then evaluate our approach on several real-world, data-intensive ontologies, and find that it can outperform state-of-the-art reasoners such as Konclude and ELK. As a lesser side result we also provide a self-contained description of a rule-based algorithm for \\$\\{\\mathcal \\{E\\}\\mathcal \\{L\\}^\\{++\\}\\}\\$, which does not require a normal form transformation.}&lt;/p&gt;
</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Zalewski, Joseph</style></author><author><style face="normal" font="default" size="100%">Hitzler, Pascal</style></author><author><style face="normal" font="default" size="100%">Janowicz, Krzysztof</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Semantic Compression with Region Calculi in Nested Hierarchical Grids</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 29th International Conference on Advances in Geographic Information Systems</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Hierarchical Grids</style></keyword><keyword><style  face="normal" font="default" size="100%">Knowledge Graphs</style></keyword><keyword><style  face="normal" font="default" size="100%">RCC5</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2021</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1145/3474717.3483965</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Association for Computing Machinery</style></publisher><pub-location><style face="normal" font="default" size="100%">New York, NY, USA</style></pub-location><pages><style face="normal" font="default" size="100%">305–308</style></pages><isbn><style face="normal" font="default" size="100%">9781450386647</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We propose the combining of region connection calculi with nested hierarchical grids for representing spatial region data in the context of knowledge graphs, thereby avoiding reliance on vector representations. We present a resulting region calculus, and provide qualitative and formal evidence that this representation can be favorable with large data volumes in the context of knowledge graphs; in particular we study means of efficiently choosing which triples to store to minimize space requirements when data is represented this way, and we provide an algorithm for finding the smallest possible set of triples for this purpose including an asymptotic measure of the size of this set for a special case. We prove that a known constraint calculus is adequate for the reconstruction of all triples describing a region from such a pruned representation, but problematic for reasoning with hierarchical grids in general.&lt;/p&gt;
</style></abstract></record></records></xml>