28 citations · 108 across the 15 of their papers we have counts for
8 papers · 1 filter
On the Value of Labeled Data and Symbolic Methods for Hidden Neuron Activation Analysis
Abhilekha Dalal, Rushrukh Rayan, Adrita Barua +3
A major challenge in Explainable AI is in correctly interpreting activations of hidden neurons: accurate interpretations would help answer the question of what a deep learning syst…
Towards Human-Compatible XAI: Explaining Data Differentials with Concept Induction over Background Knowledge
Cara Widmer, Md Kamruzzaman Sarker, Srikanth Nadella +6
Concept induction, which is based on formal logical reasoning over description logics, has been used in ontology engineering in order to create ontology (TBox) axioms from the base…
Neuro-Symbolic Artificial Intelligence: Current Trends
Md Kamruzzaman Sarker, Lu Zhou, Aaron Eberhart +1
Neuro-Symbolic Artificial Intelligence -- the combination of symbolic methods with methods that are based on artificial neural networks -- has a long-standing history. In this arti…
Efficient Concept Induction for Description Logics
Md Kamruzzaman Sarker, Pascal Hitzler
Concept Induction refers to the problem of creating complex Description Logic class descriptions (i.e., TBox axioms) from instance examples (i.e., ABox data). In this paper we look…
Rule-based OWL Modeling with ROWLTab Protege Plugin
Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral +1
It has been argued that it is much easier to convey logical statements using rules rather than OWL (or description logic (DL)) axioms. Based on recent theoretical developments on t…
OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming
Md. Kamruzzaman Sarker, Adila A. Krisnadhi, Pascal Hitzler
Once the conceptual overview, in terms of a somewhat informal class diagram, has been designed in the course of engineering an ontology, the process of adding many of the appropria…
Modeling OWL with Rules: The ROWL Protege Plugin
Md. Kamruzzaman Sarker, David Carral, Adila A. Krisnadhi +1
In our experience, some ontology users find it much easier to convey logical statements using rules rather than OWL (or description logic) axioms. Based on recent theoretical devel…
Explaining Trained Neural Networks with Semantic Web Technologies: First Steps
Md Kamruzzaman Sarker, Ning Xie, Derek Doran +2
The ever increasing prevalence of publicly available structured data on the World Wide Web enables new applications in a variety of domains. In this paper, we provide a conceptual…