<?xml version="1.0" encoding="UTF-8"?><xml><records><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%">Abhilekha Dalal</style></author><author><style face="normal" font="default" size="100%">Rushrukh Rayan</style></author><author><style face="normal" font="default" size="100%">Adrita Barua</style></author><author><style face="normal" font="default" size="100%">Eugene Y. Vasserman</style></author><author><style face="normal" font="default" size="100%">Kamruzzaman Sarker</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%">On the Value of Labeled Data and Symbolic Methods for Hidden Neuron Activation Analysis</style></title><secondary-title><style face="normal" font="default" size="100%">18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">CNN</style></keyword><keyword><style  face="normal" font="default" size="100%">Concept Induction</style></keyword><keyword><style  face="normal" font="default" size="100%">Explainable AI</style></keyword><keyword><style  face="normal" font="default" size="100%">LLM</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2024</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer </style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We introduce a novel model-agnostic post-hoc Explainable AI method that provides meaningful interpretations for hidden neuron activations in a Convolutional Neural Network. Our approach uses a Wikipedia-derived concept hierarchy with approx. 2 million classes as background knowledge, and deductive reasoning based Concept Induc- tion for explanation generation. Additionally, we explore and compare the capabilities of off-the-shelf pre-trained multimodal-based explainable methods. Our evaluation shows that our neurosymbolic method holds a competitive edge in both quantitative and qualitative aspects.&lt;/p&gt;
</style></abstract></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%">Aaron Eberhart</style></author><author><style face="normal" font="default" size="100%">Monireh Ebrahimi</style></author><author><style face="normal" font="default" size="100%">Lu Zhou</style></author><author><style face="normal" font="default" size="100%">Cogan Shimizu</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%">Completion Reasoning Emulation for the Description Logic EL+</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Deep Learning</style></keyword><keyword><style  face="normal" font="default" size="100%">Description Logic</style></keyword><keyword><style  face="normal" font="default" size="100%">EL+</style></keyword><keyword><style  face="normal" font="default" size="100%">LSTM</style></keyword><keyword><style  face="normal" font="default" size="100%">NeSy</style></keyword><keyword><style  face="normal" font="default" size="100%">Reasoning</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2020</style></year><pub-dates><date><style  face="normal" font="default" size="100%">03/2020</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://ceur-ws.org/Vol-2600/paper5.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">CEUR-WS.org</style></publisher><pub-location><style face="normal" font="default" size="100%">Stanford University, Palo Alto, California, USA</style></pub-location><volume><style face="normal" font="default" size="100%">2600</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We present a new approach to integrating deep learning with knowledge-based systems that we believe shows promise. Our approach seeks to emulate reasoning structure, which can be inspected part-way through, rather than simply learning reasoner answers, which is typical in many of the black-box systems currently in use. We demonstrate that this idea is feasible by training a long short-term memory (LSTM) artificial neural network to learn EL+ reasoning patterns with two different data sets. We also show that this trained system is resistant to noise by corrupting a percentage of the test data and comparing the reasoner's and LSTM's predictions on corrupt data with correct answers.&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%">Sarasi Lalithsena</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Amit Sheth</style></author><author><style face="normal" font="default" size="100%">Prateek Jain</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Automatic Domain Identification for Linked Open Data</style></title><secondary-title><style face="normal" font="default" size="100%">2013 IEEE/WIC/ACM International Conferences on Web Intelligence, WI 2013</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">dataset search</style></keyword><keyword><style  face="normal" font="default" size="100%">Domain Identification</style></keyword><keyword><style  face="normal" font="default" size="100%">Linked Open Data Cloud</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1109/WI-IAT.2013.206</style></url></web-urls></urls><pub-location><style face="normal" font="default" size="100%">Atlanta, GA, USA</style></pub-location><pages><style face="normal" font="default" size="100%">205–212</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;Linked Open Data (LOD) has emerged as one of the largest collections of interlinked structured datasets on the Web. Although the adoption of such datasets for applications is increasing, identifying relevant datasets for a specific task or topic is still challenging. As an initial step to make such identification easier, we provide an approach to automatically identify the topic domains of given datasets. Our method utilizes existing knowledge sources, more specifically Freebase, and we present an evaluation which validates the topic domains we can identify with our system. Furthermore, we evaluate the effectiveness of identified topic domains for the purpose of finding relevant datasets, thus showing that our approach improves reusability of LOD datasets.&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%">Prateek Jain</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Kunal Verma</style></author><author><style face="normal" font="default" size="100%">Peter Z. Yeh</style></author><author><style face="normal" font="default" size="100%">Amit Sheth</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Ethan V. Munson</style></author><author><style face="normal" font="default" size="100%">Markus Strohmaier</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Moving beyond SameAs with PLATO: Partonomy detection for Linked Data</style></title><secondary-title><style face="normal" font="default" size="100%">23rd ACM Conference on Hypertext and Social Media, HT '12</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Linked Open Data Cloud</style></keyword><keyword><style  face="normal" font="default" size="100%">Mereology</style></keyword><keyword><style  face="normal" font="default" size="100%">Part of Relation</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://doi.acm.org/10.1145/2309996.2310004</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">ACM</style></publisher><pub-location><style face="normal" font="default" size="100%">Milwaukee, WI, USA</style></pub-location><pages><style face="normal" font="default" size="100%">33–42</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The Linked Open Data (LOD) Cloud has gained significant traction over the past few years. With over 275 interlinked datasets across diverse domains such as life science, geography, politics, and more, the LOD Cloud has the potential to support a variety of applications ranging from open domain question answering to drug discovery.&lt;/p&gt;

&lt;p&gt;Despite its significant size (approx. 30 billion triples), the data is relatively sparely interlinked (approx. 400 million links). A semantically richer LOD Cloud is needed to fully realize its potential. Data in the LOD Cloud are currently interlinked mainly via the owl:sameAs property, which is inadequate for many applications. Additional properties capturing relations based on causality or partonomy are needed to enable the answering of complex questions and to support applications.&lt;/p&gt;

&lt;p&gt;In this paper, we present a solution to enrich the LOD Cloud by automatically detecting partonomic relationships, which are well-established, fundamental properties grounded in linguistics and philosophy. We empirically evaluate our solution across several domains, and show that our approach performs well on detecting partonomic properties between LOD Cloud data.&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%">Matthias Knorr</style></author><author><style face="normal" font="default" size="100%">José Júlio Alferes</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%">Local Closed World Reasoning with Description Logics under the Well-Founded Semantics</style></title><secondary-title><style face="normal" font="default" size="100%">Artificial Intelligence</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Description Logic</style></keyword><keyword><style  face="normal" font="default" size="100%">Knowledge representation</style></keyword><keyword><style  face="normal" font="default" size="100%">Logic Programming</style></keyword><keyword><style  face="normal" font="default" size="100%">Non-monotonic reasoning</style></keyword><keyword><style  face="normal" font="default" size="100%">Ontologies</style></keyword><keyword><style  face="normal" font="default" size="100%">Semantic Web</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.artint.2011.01.007</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">175</style></volume><pages><style face="normal" font="default" size="100%">1528–1554</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;An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases [52], and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.&lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">9-10</style></issue></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%">Anthony K. Seda</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%">Generalized Distance Functions in the Theory of Computation</style></title><secondary-title><style face="normal" font="default" size="100%">Computer Journal</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">denotational semantics</style></keyword><keyword><style  face="normal" font="default" size="100%">fixed-point theorems</style></keyword><keyword><style  face="normal" font="default" size="100%">generalized distance functions</style></keyword><keyword><style  face="normal" font="default" size="100%">Logic Programming</style></keyword><keyword><style  face="normal" font="default" size="100%">stable model</style></keyword><keyword><style  face="normal" font="default" size="100%">supported model</style></keyword><keyword><style  face="normal" font="default" size="100%">topology</style></keyword><keyword><style  face="normal" font="default" size="100%">ultra-metrics</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://dx.doi.org/10.1093/comjnl/bxm108</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">53</style></volume><pages><style face="normal" font="default" size="100%">443–464</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;We discuss a number of distance functions encountered in the theory of computation, including metrics, ultra-metrics, quasi-metrics, generalized ultra-metrics, partial metrics, d-ultra-metrics and generalized metrics. We consider their properties, associated fixed-point theorems and some general applications they have within the theory of computation. We consider in detail the applications of generalized distance functions in giving a uniform treatment of several important semantics for logic programs, including acceptable programs and natural generalizations of them, and also the supported model and the stable model in the context of locally stratified extended disjunctive logic programs and databases.&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%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Frank van Harmelen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Reasonable Semantic Web</style></title><secondary-title><style face="normal" font="default" size="100%">Semantic Web</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Automated Reasoning</style></keyword><keyword><style  face="normal" font="default" size="100%">Formal Semantics</style></keyword><keyword><style  face="normal" font="default" size="100%">Knowledge representation</style></keyword><keyword><style  face="normal" font="default" size="100%">Linked Open Data</style></keyword><keyword><style  face="normal" font="default" size="100%">Semantic Web</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://dx.doi.org/10.3233/SW-2010-0010</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">1</style></volume><pages><style face="normal" font="default" size="100%">39–44</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;The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenges, which forces us to question established lines of research and to rethink the underlying approaches. We argue that reasoning for the Semantic Web should be understood as &quot;shared inference,&quot; which is not necessarily based on deductive methods. Model-theoretic semantics (and sound and complete reasoning based on it) functions as a gold standard, but applications dealing with large-scale and noisy data usually cannot afford the required runtimes. Approximate methods, including deductive ones, but also approaches based on entirely different methods like machine learning or natureinspired computing need to be investigated, while quality assurance needs to be done in terms of precision and recall values (as in information retrieval) and not necessarily in terms of soundness and completeness of the underlying algorithms.&lt;/p&gt;
</style></abstract></record></records></xml>