6 papers
BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
Bruno F. Lourenço, Hesham Morgan, Ana Ozaki +2
Knowledge base (KB) embeddings aim at combining the capability of classical knowledge graph embeddings to generalize the information present in facts, the ABox, with conceptual kno…
Model Change for Description Logic Concepts
Ana Ozaki, Jandson S. Ribeiro
We consider the problem of modifying a description logic concept in light of models represented as pointed interpretations. We call this setting model change, and distinguish three…
Extracting PAC Decision Trees from Black Box Binary Classifiers: The Gender Bias Case Study on BERT-based Language Models
Ana Ozaki, Roberto Confalonieri, Ricardo Guimarães +1
Decision trees are a popular machine learning method, known for their inherent explainability. In Explainable AI, decision trees can be used as surrogate models for complex black b…
On the Power and Limitations of Examples for Description Logic Concepts
Balder ten Cate, Raoul Koudijs, Ana Ozaki
Labeled examples (i.e., positive and negative examples) are an attractive medium for communicating complex concepts. They are useful for deriving concept expressions (such as in co…
Strong Faithfulness for ELH Ontology Embeddings
Victor Lacerda, Ana Ozaki, Ricardo Guimarães
Ontology embedding methods are powerful approaches to represent and reason over structured knowledge in various domains. One advantage of ontology embeddings over knowledge graph e…
Knowledge Base Embeddings: Semantics and Theoretical Properties
Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs +2
Research on knowledge graph embeddings has recently evolved into knowledge base embeddings, where the goal is not only to map facts into vector spaces but also constrain the models…