<?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%">Avishek Das</style></author><author><style face="normal" font="default" size="100%">Abhilekha Dalal</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%">Hidden Neuron Activation Analysis on Labeled Text Data</style></title><secondary-title><style face="normal" font="default" size="100%">K-CAP '25: Knowledge Capture Conference 2025</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Concept-based Explanation</style></keyword><keyword><style  face="normal" font="default" size="100%">Dense Layer Analysis</style></keyword><keyword><style  face="normal" font="default" size="100%">Explainable AI</style></keyword><keyword><style  face="normal" font="default" size="100%">Hidden Neuron Analysis</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2025</style></year><pub-dates><date><style  face="normal" font="default" size="100%">12/2025</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">ACM</style></publisher><pub-location><style face="normal" font="default" size="100%">USA</style></pub-location><pages><style face="normal" font="default" size="100%">206 - 210</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Understanding the internal mechanisms of deep neural networks remains a central challenge in the field of Explainable Artificial Intelligence (XAI). With the rapid advancement of neural architectures in natural language processing (NLP), analyzing the role of hidden neurons in capturing and processing linguistic features has become increasingly important. This study investigates Hidden Neuron Activation Analysis on labeled text data to reveal how individual neurons contribute to a model’s decision-making process. We propose a model-agnostic explainability framework for text classifiers that identifies concepts activating specific neurons involved in classification. An LSTM-based network is trained on the AG News topic classification dataset, comprising four distinct classes, and the final Dense layer with 64 neurons was analyzed. In addition, statistical analyses like the Mann-Whitney U Test is conducted to assess the robustness and reliability of the system. The statistical analysis shows that, concepts plays important role in the decision making process of neural network. Our findings enhance interpretability in NLP models and offer a foundation for optimizing neural architectures in text classification tasks.&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%">Abhilekha Dalal</style></author><author><style face="normal" font="default" size="100%">Rushrukh Rayan</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%">Error-margin Analysis for Hidden Neuron Activation Labels</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></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;Understanding how high-level concepts are represented with- in artificial neural networks is a fundamental challenge in the field of arti- ficial intelligence. While existing literature in explainable AI emphasizes the importance of labeling neurons with concepts to understand their functioning, they mostly focus on identifying what stimulus activates a neuron in most cases; this corresponds to the notion of recall in informa- tion retrieval. We argue that this is only the first-part of a two-part job; it is imperative to also investigate neuron responses to other stimuli, i.e., their precision. We call this the neuron label’s error margin.&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%">Abhilehka Dalal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Understanding CNN Hidden Neuron Activations using Concept Induction over Background Knowledge</style></title><secondary-title><style face="normal" font="default" size="100%">THE 23RD INTERNATIONAL SEMANTIC WEB CONFERENCE, ISWC 2024</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Concept Induction</style></keyword><keyword><style  face="normal" font="default" size="100%">Convolutional Neural Network</style></keyword><keyword><style  face="normal" font="default" size="100%">Explainable AI</style></keyword><keyword><style  face="normal" font="default" size="100%">Knowledge Graph</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2024</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;A major challenge in Explainable AI is interpreting hidden neuron activations accurately. These in- terpretations can reveal what a deep learning system perceives as relevant in the input data, thereby addressing the black-box nature of such systems. The state of the art indicates that hidden node acti- vations can be interpretable by humans, but there’s a lack of systematic automated methods to verify these interpretations, especially those that utilize substantial background knowledge and inherently explainable methods. In this proposal, we introduce a novel model-agnostic post-hoc Explainable AI method based on a Wikipedia-derived concept hierarchy with approximately 2 million classes. Our approach utilizes OWL-reasoning-based Concept Induction for explanation generation and compares with off-the-shelf pre-trained multimodal-based explainable methods. Our results demonstrate that our method automatically provides meaningful class expressions as explanations to individual neurons in the dense layer of a Convolutional Neural Network, outperforming prior work 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>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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Aonty, Shuhena Salam</style></author><author><style face="normal" font="default" size="100%">Deb, Kaushik</style></author><author><style face="normal" font="default" size="100%">Sarma, Moumita Sen</style></author><author><style face="normal" font="default" size="100%">Dhar, Pranab Kumar</style></author><author><style face="normal" font="default" size="100%">Shimamura, Tetsuya</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Multi-Person Pose Estimation Using Group-Based Convolutional Neural Network Model</style></title><secondary-title><style face="normal" font="default" size="100%">IEEE Access</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Biological system modeling</style></keyword><keyword><style  face="normal" font="default" size="100%">bottom-up parsing</style></keyword><keyword><style  face="normal" font="default" size="100%">Convolutional Neural Network</style></keyword><keyword><style  face="normal" font="default" size="100%">Convolutional neural networks</style></keyword><keyword><style  face="normal" font="default" size="100%">Feature extraction</style></keyword><keyword><style  face="normal" font="default" size="100%">Location awareness</style></keyword><keyword><style  face="normal" font="default" size="100%">occlusion</style></keyword><keyword><style  face="normal" font="default" size="100%">Pose estimation</style></keyword><keyword><style  face="normal" font="default" size="100%">skeletal keypoint</style></keyword><keyword><style  face="normal" font="default" size="100%">Solid modeling</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2023</style></year></dates><volume><style face="normal" font="default" size="100%">11</style></volume><pages><style face="normal" font="default" size="100%">42343-42360</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>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Uddin, Asif Mahbub</style></author><author><style face="normal" font="default" size="100%">Al Miraj, Abdullah</style></author><author><style face="normal" font="default" size="100%">Sen Sarma, Moumita</style></author><author><style face="normal" font="default" size="100%">Das, Avishek</style></author><author><style face="normal" font="default" size="100%">Gani, Md. Manjurul</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Traditional Bengali Food Classification Using Convolutional Neural Network</style></title><secondary-title><style face="normal" font="default" size="100%">2021 IEEE Region 10 Symposium (TENSYMP)</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Computational modeling</style></keyword><keyword><style  face="normal" font="default" size="100%">Convolutional Neural Network</style></keyword><keyword><style  face="normal" font="default" size="100%">Convolutional neural networks</style></keyword><keyword><style  face="normal" font="default" size="100%">Data models</style></keyword><keyword><style  face="normal" font="default" size="100%">fine tuning</style></keyword><keyword><style  face="normal" font="default" size="100%">image classification</style></keyword><keyword><style  face="normal" font="default" size="100%">Image recognition</style></keyword><keyword><style  face="normal" font="default" size="100%">Neural networks</style></keyword><keyword><style  face="normal" font="default" size="100%">traditional Bengali foods</style></keyword><keyword><style  face="normal" font="default" size="100%">Transfer learning</style></keyword><keyword><style  face="normal" font="default" size="100%">Turning</style></keyword><keyword><style  face="normal" font="default" size="100%">VGG16</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2021</style></year></dates><pages><style face="normal" font="default" size="100%">1-8</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%">Markus Krötzsch</style></author><author><style face="normal" font="default" size="100%">Sebastian Rudolph</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%">Complexities of Horn Description Logics</style></title><secondary-title><style face="normal" font="default" size="100%">ACM Trans. Comput. Log.</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">computational complexity</style></keyword><keyword><style  face="normal" font="default" size="100%">description logics</style></keyword><keyword><style  face="normal" font="default" size="100%">Horn logic</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://doi.acm.org/10.1145/2422085.2422087</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">14</style></volume><pages><style face="normal" font="default" size="100%">2</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Description Logics (DLs) have become a prominent paradigm for representing knowledge bases in a variety of application areas. Central to leveraging them for corresponding systems is the provision of a favourable balance between expressivity of the knowledge representation formalism on the one hand, and runtime performance of reasoning algorithms on the other. Due to this, Horn description logics (Horn DLs) have attracted attention since their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large sets of instance data (ABoxes). However, the natural question whether Horn DLs also provide advantages for schema (TBox) reasoning has hardly been addressed so far. In this paper, we therefore provide a thorough and comprehensive analysis of the combined complexities of Horn DLs. While the combined complexity for many Horn DLs studied herein turns out to be the same as for their non-Horn counterparts, we identify subboolean DLs where Hornness simplifies reasoning. We also provide convenient normal forms for Horn DLs.</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%">Raghava Mutharaju</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Prabhaker Mateti</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Thorsten Liebig</style></author><author><style face="normal" font="default" size="100%">Achille Fokoue</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">DistEL: A Distributed EL+ Ontology Classifier</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, co-located with the International Semantic Web Conference (ISWC 2013)</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Classification</style></keyword><keyword><style  face="normal" font="default" size="100%">DistEL</style></keyword><keyword><style  face="normal" font="default" size="100%">Distributed Reasoning</style></keyword><keyword><style  face="normal" font="default" size="100%">EL+</style></keyword><keyword><style  face="normal" font="default" size="100%">OWL</style></keyword><keyword><style  face="normal" font="default" size="100%">Scalability</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2013</style></year><pub-dates><date><style  face="normal" font="default" size="100%">10/2013</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">CEUR-WS.org</style></publisher><pub-location><style face="normal" font="default" size="100%">Sydney, Australia</style></pub-location><volume><style face="normal" font="default" size="100%">1046</style></volume><pages><style face="normal" font="default" size="100%">17-32</style></pages><abstract><style face="normal" font="default" size="100%">OWL 2 EL ontologies are used to model and reason over data from diverse domains such as biomedicine, geography and road traffic. Data in these domains is increasing at a rate quicker than the increase in main memory and computation power of a single machine. Recent efforts in OWL reasoning algorithms lead to the decrease in classification time from several hours to a few seconds even for large ontologies like SNOMED CT. This is especially true for ontologies in the description logic EL+ (a fragment of the OWL 2 EL profile). Reasoners such as Pellet, Hermit, ELK etc. make an assumption that the ontology would fit in the main memory, which is unreasonable given projected increase in data volumes. Increase in the data volume also necessitates an increase in the computation power. This lead us to the use of a distributed system, so that memory and computation requirements can be spread across machines. We present a distributed system for the classification of EL+ ontologies along with some results on its scalability and performance.</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%">Frederick Maier</style></author><author><style face="normal" font="default" size="100%">Yue Ma</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%">Paraconsistent OWL and Related Logics</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 Deduction</style></keyword><keyword><style  face="normal" font="default" size="100%">Complexity</style></keyword><keyword><style  face="normal" font="default" size="100%">Description Logic</style></keyword><keyword><style  face="normal" font="default" size="100%">OWL</style></keyword><keyword><style  face="normal" font="default" size="100%">Paraconsistency</style></keyword><keyword><style  face="normal" font="default" size="100%">Semantic Web</style></keyword><keyword><style  face="normal" font="default" size="100%">Web Ontology Language</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.3233/SW-2012-0066</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">4</style></volume><pages><style face="normal" font="default" size="100%">395–427</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The Web Ontology Language OWL is currently the most prominent formalism for representing ontologies in Semantic Web applications. OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ontologies. However, because typical description logics obey the classical principle of explosion, reasoning over inconsistent ontologies is impossible in OWL. This is so despite the fact that inconsistencies are bound to occur in many realistic cases, e.g., when multiple ontologies are merged or when ontologies are created by machine learning or data mining tools. In this paper, we present four-valued paraconsistent description logics which can reason over inconsistencies. We focus on logics corresponding to OWL DL and its profiles. We present the logic SROIQ4, showing that it is both sound relative to classical SROIQ and that its embedding into SROIQ is consequence preserving. We also examine paraconsistent varieties of EL++, DL-Lite, and Horn-DLs. The general framework described here has the distinct advantage of allowing classical reasoners to draw sound but nontrivial conclusions from even inconsistent knowledge bases. Truth-value gaps and gluts can also be selectively eliminated from models (by inserting additional axioms into knowledge bases). If gaps but not gluts are eliminated, additional classical conclusions can be drawn without affecting paraconsistency.</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%">Adila Krisnadhi</style></author><author><style face="normal" font="default" size="100%">Kunal Sengupta</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Riccardo Rosati</style></author><author><style face="normal" font="default" size="100%">Sebastian Rudolph</style></author><author><style face="normal" font="default" size="100%">Michael Zakharyaschev</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Local Closed World Semantics: Keep it simple, stupid!</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">circumscription</style></keyword><keyword><style  face="normal" font="default" size="100%">closed world</style></keyword><keyword><style  face="normal" font="default" size="100%">decidability</style></keyword><keyword><style  face="normal" font="default" size="100%">Description Logic</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">07/2011</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://ceur-ws.org/Vol-745/paper_12.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">CEUR-WS.org</style></publisher><volume><style face="normal" font="default" size="100%">745</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web applications. However, none of the proposals made to date for extending description logics with local closed world capabilities has had any significant impact on applications. We believe that one of the key reasons for this is that current proposals fail to provide approaches which are intuitively accessible for application developers and at the same time are applicable, as extensions, to expressive description logics such as SROIQ, which underlies the Web Ontology Language OWL. In this paper we propose a new approach which overcomes key limitations of other major proposals made to date. It is based on an adaptation of circumscriptive description logics which, in contrast to previously reported circumscription proposals, is applicable to SROIQ without rendering reasoning over the resulting language undecidable.</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%">Yue Ma</style></author><author><style face="normal" font="default" size="100%">Guilin Qi</style></author><author><style face="normal" font="default" size="100%">Guohui Xiao</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author><author><style face="normal" font="default" size="100%">Zuoquan Lin</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Computational Complexity and Anytime Algorithm for Inconsistency Measurement</style></title><secondary-title><style face="normal" font="default" size="100%">International Journal of Software and Informatics</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">algorithm</style></keyword><keyword><style  face="normal" font="default" size="100%">computational complexity</style></keyword><keyword><style  face="normal" font="default" size="100%">inconsistency measurement</style></keyword><keyword><style  face="normal" font="default" size="100%">Knowledge representation</style></keyword><keyword><style  face="normal" font="default" size="100%">multi-valued logic</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://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i41&amp;flag=1</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">4</style></volume><pages><style face="normal" font="default" size="100%">3–21</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;Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. In this paper, we consider the computational aspects of inconsistency degrees of propositional knowledge bases under 4-valued semantics. We first give a complete analysis of the computational complexity of computing inconsistency degrees. As it turns out that computing the exact inconsistency degree is intractable, we then propose an anytime algorithm that provides tractable approximations of the inconsistency degree from above and below. We show that our algorithm satisfies some desirable properties and give experimental results of our implementation of the algorithm&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%">Satya S. Sahoo</style></author><author><style face="normal" font="default" size="100%">Olivier Bodenreider</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%">Krishnaprasad Thirunarayan</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Michael Gertz</style></author><author><style face="normal" font="default" size="100%">Bertram Ludäscher</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data</style></title><secondary-title><style face="normal" font="default" size="100%">Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Biomedical knowledge repository</style></keyword><keyword><style  face="normal" font="default" size="100%">Context theory</style></keyword><keyword><style  face="normal" font="default" size="100%">Provenance context entity</style></keyword><keyword><style  face="normal" font="default" size="100%">Provenance Management Framework.</style></keyword><keyword><style  face="normal" font="default" size="100%">Provenir ontology</style></keyword><keyword><style  face="normal" font="default" size="100%">RDF reification</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.1007/978-3-642-13818-8_32</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Heidelberg, Germany</style></pub-location><volume><style face="normal" font="default" size="100%">6187</style></volume><pages><style face="normal" font="default" size="100%">461–470</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 Semantic Web Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, describing the source or lineage of the datasets, is playing an increasingly significant role in ensuring data quality, computing trust value of the datasets, and ranking query results. Current Semantic Web provenance tracking approaches using the RDF reification vocabulary suffer from a number of known issues, including lack of formal semantics, use of blank nodes, and application-dependent interpretation of reified RDF triples that hinders data sharing. In this paper, we introduce a new approach called Provenance Context Entity (PaCE) that uses the notion of provenance context to create provenance-aware RDF triples without the use of RDF reification or blank nodes. We also define the formal semantics of PaCE through a simple extension of the existing RDF(S) semantics that ensures compatibility of PaCE with existing Semantic Web tools and implementations. We have implemented the PaCE approach in the Biomedical Knowledge Repository (BKR) project at the US National Library of Medicine to support provenance tracking on RDF data extracted from multiple sources, including biomedical literature and the UMLS Metathesaurus. The evaluations demonstrate a minimum of 49% reduction in total number of provenancespecific RDF triples generated using the PaCE approach as compared to RDF reification. In addition, using the PACE approach improves the performance of complex provenance queries by three orders of magnitude and remains comparable to the RDF reification approach for simpler provenance queries.&amp;nbsp;&lt;/p&gt;
</style></abstract></record></records></xml>