Víctor Gutiérrez-Basulto

102 papers A* 29A 4B 1Journal 44Unranked 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
Consistency-Aware Editing for Entity-level Unlearning in Language Models.
CoRR
Xiaoqi Han, Víctor Gutiérrez-Basulto, Ru Li, Xiaoli Li, Jiye Liang, Jeff Z. Pan
2026 J jnl
Leveraging intra-modal and inter-modal interaction for multi-modal entity alignment.
Neurocomputing
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2026 A* conf
Plan Then Retrieve: Reinforcement Learning-Guided Complex Reasoning over Knowledge Graphs.
WWW
Yanlin Song, Ben Liu, Víctor Gutiérrez-Basulto, Zhiwei Hu, Qianqian Xie, Min Peng, Sophia Ananiadou, Jeff Z. Pan
2026 A* conf
Uncovering and Mitigating Transient Blindness in Multimodal Model Editing.
AAAI
Xiaoqi Han, Ru Li, Ran Yi, Hongye Tan, Zhuomin Liang, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2025 J jnl
AQE-RF: An Adaptive Quantifier Extension and Rule-Filtering Graph Network for Logical Reasoning of Text.
IEEE Trans. Neural Networks Learn. Syst.
Meng Wang, Jinshuo Liu, Víctor Gutiérrez-Basulto, Lina Wang, Jeff Z. Pan
2025 A* conf
Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria.
KR
Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2025 J jnl
Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria.
CoRR
Zhliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2025 — conf
Evaluating and Improving Graph to Text Generation with Large Language Models.
NAACL (Long Papers)
Jie He, Yijun Yang, Wanqiu Long, Deyi Xiong, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2025 J jnl
Evaluating and Improving Graph to Text Generation with Large Language Models.
CoRR
Jie He, Yijun Yang, Wanqiu Long, Deyi Xiong, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2025 J jnl
From Sufficiency to Reflection: Reinforcement-Guided Thinking Quality in Retrieval-Augmented Reasoning for LLMs.
CoRR
Jie He, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2025 — conf
MiCEval: Unveiling Multimodal Chain of Thought's Quality via Image Description and Reasoning Steps.
NAACL (Long Papers)
Xiongtao Zhou, Jie He, Lanyu Chen, Jingyu Li, Haojing Chen, Víctor Gutiérrez-Basulto, Jeff Z. Pan, Hanjie Chen
2025 — conf
Multi-level Matching Network for Multimodal Entity Linking.
KDD (1)
Zhiwei Hu, Víctor Gutiérrez-Basulto, Ru Li, Jeff Z. Pan
2025 — conf
Multi-level Mixture of Experts for Multimodal Entity Linking.
KDD (2)
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2025 J jnl
Multi-level Mixture of Experts for Multimodal Entity Linking.
CoRR
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2025 J jnl
N2C2: Nearest Neighbor Enhanced Confidence Calibration for Cross-Lingual In-Context Learning.
CoRR
Jie He, Simon Yu, Deyi Xiong, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2025 J jnl
Plan Then Retrieve: Reinforcement Learning-Guided Complex Reasoning over Knowledge Graphs.
CoRR
Yanlin Song, Ben Liu, Víctor Gutiérrez-Basulto, Zhiwei Hu, Qianqian Xie, Min Peng, Sophia Ananiadou, Jeff Z. Pan
2025 J jnl
Recent Advances in Logic-Based Entity Resolution.
SIGMOD Rec.
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Zhiliang Xiang
2025 J jnl
Uncovering and Mitigating Transient Blindness in Multimodal Model Editing.
CoRR
Xiaoqi Han, Ru Li, Ran Yi, Hongye Tan, Zhuomin Liang, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2024 A* conf
ASPEN: ASP-Based System for Collective Entity Resolution.
KR
Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2024 J jnl
ASPEN: ASP-Based System for Collective Entity Resolution.
CoRR
Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2024 — conf
An Empirical Study on Parameter-Efficient Fine-Tuning for MultiModal Large Language Models.
ACL (Findings)
Xiongtao Zhou, Jie He, Yuhua Ke, Guangyao Zhu, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2024 J jnl
An Empirical Study on Parameter-Efficient Fine-Tuning for MultiModal Large Language Models.
CoRR
Xiongtao Zhou, Jie He, Yuhua Ke, Guangyao Zhu, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2024 A* conf
BLEnD: A Benchmark for LLMs on Everyday Knowledge in Diverse Cultures and Languages.
NeurIPS
Junho Myung, Nayeon Lee, Yi Zhou, Jiho Jin, Rifki Afina Putri, Dimosthenis Antypas, Hsuvas Borkakoty, Eunsu Kim, Carla Pérez-Almendros, Abinew Ali Ayele, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Hwaran Lee, Shamsuddeen Hassan Muhammad, Ki-Woong Park, Anar Rzayev, Nina White, Seid Muhie Yimam, Mohammad Taher Pilehvar, Nedjma Ousidhoum, José Camacho-Collados, Alice Oh
2024 J jnl
BLEnD: A Benchmark for LLMs on Everyday Knowledge in Diverse Cultures and Languages.
CoRR
Junho Myung, Nayeon Lee, Yi Zhou, Jiho Jin, Rifki Afina Putri, Dimosthenis Antypas, Hsuvas Borkakoty, Eunsu Kim, Carla Pérez-Almendros, Abinew Ali Ayele, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Hwaran Lee, Shamsuddeen Hassan Muhammad, Ki-Woong Park, Anar Sabuhi Rzayev, Nina White, Seid Muhie Yimam, Mohammad Taher Pilehvar, Nedjma Ousidhoum, José Camacho-Collados, Alice Oh
2024 J jnl
COTET: Cross-view Optimal Transport for Knowledge Graph Entity Typing.
CoRR
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2024 J jnl
Containment of Graph Queries Modulo Schema.
Proc. ACM Manag. Data
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Angélica Ibáñez-García, Filip Murlak
2024 J jnl
HyperMono: A Monotonicity-aware Approach to Hyper-Relational Knowledge Representation.
CoRR
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2024 — conf
Inductive Knowledge Graph Completion with GNNs and Rules: An Analysis.
LREC/COLING
Akash Anil, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Steven Schockaert
2024 J jnl
Leveraging Intra-modal and Inter-modal Interaction for Multi-Modal Entity Alignment.
CoRR
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2024 J jnl
MiCEval: Unveiling Multimodal Chain of Thought's Quality via Image Description and Reasoning Steps.
CoRR
Xiongtao Zhou, Jie He, Lanyu Chen, Jingyu Li, Haojing Chen, Víctor Gutiérrez-Basulto, Jeff Z. Pan, Hanjie Chen
2024 J jnl
Multi-level Matching Network for Multimodal Entity Linking.
CoRR
Zhiwei Hu, Víctor Gutiérrez-Basulto, Ru Li, Jeff Z. Pan
2024 — ed.
Proceedings of the First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Jeju Island, South Korea, August 5, 2024.
LNSAI@IJCAI
Gianluca Cima, Marco Console, Víctor Gutiérrez-Basulto, Pascal Hitzler, Maurizio Lenzerini
2024 — conf
UniArk: Improving Generalisation and Consistency for Factual Knowledge Extraction through Debiasing.
NAACL-HLT
Yijun Yang, Jie He, Pinzhen Chen, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2024 J jnl
UniArk: Improving Generalisation and Consistency for Factual Knowledge Extraction through Debiasing.
CoRR
Yijun Yang, Jie He, Pinzhen Chen, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2023 J jnl
Answering regular path queries mediated by unrestricted SQ ontologies.
Artif. Intell.
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2023 — conf
BUCA: A Binary Classification Approach to Unsupervised Commonsense Question Answering.
ACL (2)
Jie He, Simon Chi Lok U, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2023 J jnl
BUCA: A Binary Classification Approach to Unsupervised Commonsense Question Answering.
CoRR
Jie He, Simon Chi Lok U, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2023 A* conf
Combining Global and Local Merges in Logic-based Entity Resolution.
KR
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2023 J jnl
Combining Global and Local Merges in Logic-based Entity Resolution.
CoRR
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García
2023 A* conf
Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract).
IJCAI
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2023 A conf
HyperFormer: Enhancing Entity and Relation Interaction for Hyper-Relational Knowledge Graph Completion.
CIKM
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2023 J jnl
HyperFormer: Enhancing Entity and Relation Interaction for Hyper-Relational Knowledge Graph Completion.
CoRR
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2023 J jnl
Inductive Knowledge Graph Completion with GNNs and Rules: An Analysis.
CoRR
Akash Anil, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Steven Schockaert
2023 — conf
Instances and Labels: Hierarchy-aware Joint Supervised Contrastive Learning for Hierarchical Multi-Label Text Classification.
EMNLP (Findings)
Simon Chi Lok U, Jie He, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2023 J jnl
Instances and Labels: Hierarchy-aware Joint Supervised Contrastive Learning for Hierarchical Multi-Label Text Classification.
CoRR
Simon Chi Lok U, Jie He, Víctor Gutiérrez-Basulto, Jeff Z. Pan
2023 J jnl
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020).
Theory Pract. Log. Program.
Tomás Kliegr, Víctor Gutiérrez-Basulto, Ahmet Soylu
2023 A* conf
Multi-view Contrastive Learning for Entity Typing over Knowledge Graphs.
EMNLP
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2023 J jnl
Multi-view Contrastive Learning for Entity Typing over Knowledge Graphs.
CoRR
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2023 — conf
On Combining Collective Entity Resolution and Repairing (Extended Abstract).
ENIGMA@KR
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto
2023 A* conf
REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing.
IJCAI
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto
2022 A* conf
Finite Entailment of UCRPQs over ALC Ontologies.
KR
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2022 J jnl
Finite Entailment of UCRPQs over ALC Ontologies.
CoRR
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2022 — conf
Integrating Ontologies and Vector Space Embeddings Using Conceptual Spaces (Invited Paper).
AIB
Zied Bouraoui, Víctor Gutiérrez-Basulto, Steven Schockaert
2022 A* conf
LACE: A Logical Approach to Collective Entity Resolution.
PODS
Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto
2022 A* conf
Transformer-based Entity Typing in Knowledge Graphs.
EMNLP
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2022 J jnl
Transformer-based Entity Typing in Knowledge Graphs.
CoRR
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li, Jeff Z. Pan
2022 A* conf
Type-aware Embeddings for Multi-Hop Reasoning over Knowledge Graphs.
IJCAI
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Xiaoli Li, Ru Li, Jeff Z. Pan
2022 J jnl
Type-aware Embeddings for Multi-Hop Reasoning over Knowledge Graphs.
CoRR
Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Xiaoli Li, Ru Li, Jeff Z. Pan
2021 A* conf
A Description Logic for Analogical Reasoning.
IJCAI
Steven Schockaert, Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto
2021 J jnl
A Description Logic for Analogical Reasoning.
CoRR
Steven Schockaert, Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto
2021 — conf
Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations.
Description Logics
Steven Schockaert, Yazmín Angélica Ibáñez-García, Víctor Gutiérrez-Basulto
2021 — conf
Modelling Symbolic Knowledge Using Neural Representations.
RW
Steven Schockaert, Víctor Gutiérrez-Basulto
2020 J jnl
Answering Regular Path Queries Over SQ Ontologies.
CoRR
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
2020 A* conf
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs.
AAAI
Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig
2020 A* conf
On Finite Entailment of Non-Local Queries in Description Logics.
KR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2020 J jnl
On Finite Entailment of Non-Local Queries in Description Logics.
CoRR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2020 J jnl
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
CoRR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2020 A conf
Ontology Focusing: Knowledge-Enriched Databases on Demand.
ECAI
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
2020 A* conf
Plausible Reasoning about EL-Ontologies using Concept Interpolation.
KR
Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto, Steven Schockaert
2020 J jnl
Plausible Reasoning about EL-Ontologies using Concept Interpolation.
CoRR
Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto, Steven Schockaert
2020 B ed.
Rules and Reasoning - 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings
RuleML+RR
Víctor Gutiérrez-Basulto, Tomás Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
2019 J jnl
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report).
CoRR
Efthymia Tsamoura, Víctor Gutiérrez-Basulto, Angelika Kimmig
2019 — conf
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
Description Logics
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2019 A* conf
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
IJCAI
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2019 J jnl
Ontology Focusing: Knowledge-enriched Databases on Demand.
CoRR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
2018 A* conf
Answering Regular Path Queries over SQ Ontologies.
AAAI
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
2018 J jnl
From Knowledge Graph Embedding to Ontology Embedding: Region Based Representations of Relational Structures.
CoRR
Víctor Gutiérrez-Basulto, Steven Schockaert
2018 A* conf
From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules.
KR
Víctor Gutiérrez-Basulto, Steven Schockaert
2018 J jnl
Markov Logic Networks with Statistical Quantifiers.
CoRR
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
2018 A* conf
Quantified Markov Logic Networks.
KR
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
2018 — conf
Query-by-Example for Expressive Horn Description Logics.
Description Logics
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
2018 A* conf
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
2017 A* conf
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung
2017 A* conf
Number Restrictions on Transitive Roles in Description Logics with Nominals.
AAAI
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
2017 — conf
On Query Answering in Description Logics with Number Restrictions on Transitive Roles.
Description Logics
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
2017 J jnl
Probabilistic Description Logics for Subjective Uncertainty.
J. Artif. Intell. Res.
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
2016 J jnl
Description logics of context.
J. Log. Comput.
Szymon Klarman, Víctor Gutiérrez-Basulto
2016 — conf
On Decidability and Tractability of Querying in Temporal EL.
Description Logics
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
2016 A conf
On Metric Temporal Description Logics.
ECAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki
2016 A* conf
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
2015 A* conf
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
2015 J jnl
Queries with negation and inequalities over lightweight ontologies.
J. Web Semant.
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
2015 — conf
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.
Description Logics
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
2014 A* conf
Lightweight Description Logics and Branching Time: A Troublesome Marriage.
KR
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
2013 — conf
Conjunctive Queries with Negation over DL-Lite: A Closer Look.
RR
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev
2012 — conf
An Update on Query Answering with Restricted Forms of Negation.
RR
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov
2012 A conf
Complexity of Branching Temporal Description Logics.
ECAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz
2012 — conf
Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics.
RR
Víctor Gutiérrez-Basulto, Szymon Klarman
2011 A* conf
A Closer Look at the Probabilistic Description Logic Prob-EL.
AAAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
2011 — conf
The Complexity of Probabilistic EL.
Description Logics
Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder
2011 A* conf
Two-Dimensional Description Logics for Context-Based Semantic Interoperability.
AAAI
Szymon Klarman, Víctor Gutiérrez-Basulto
2011 — conf
Two-Dimensional Description Logics of Context.
Description Logics
Szymon Klarman, Víctor Gutiérrez-Basulto