Víctor Gutiérrez-Basulto

Ahmet Soylu

Theory Pract. Log. Program., May, 2023

Answering regular path queries mediated by unrestricted SQ ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2023

Combining Global and Local Merges in Logic-based Entity Resolution.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

On Combining Collective Entity Resolution and Repairing (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, 2023

Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract).

[BibT_eX]

[DOI]

Albert Gutowski

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Instances and Labels: Hierarchy-aware Joint Supervised Contrastive Learning for Hierarchical Multi-Label Text Classification.

[BibT_eX]

[DOI]

Simon Chi Lok U

Jie He

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

Multi-view Contrastive Learning for Entity Typing over Knowledge Graphs.

[BibT_eX]

[DOI]

Zhiliang Xiang

Ru Li

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

HyperFormer: Enhancing Entity and Relation Interaction for Hyper-Relational Knowledge Graph Completion.

[BibT_eX]

[DOI]

Zhiliang Xiang

Ru Li

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

BUCA: A Binary Classification Approach to Unsupervised Commonsense Question Answering.

[BibT_eX]

[DOI]

Jie He

Simon Chi Lok U

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2023

2022

LACE: A Logical Approach to Collective Entity Resolution.

[BibT_eX]

[DOI]

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Finite Entailment of UCRPQs over ALC Ontologies.

[BibT_eX]

[DOI]

Albert Gutowski

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Type-aware Embeddings for Multi-Hop Reasoning over Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Transformer-based Entity Typing in Knowledge Graphs.

[BibT_eX]

[DOI]

Zhiliang Xiang

Ru Li

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Integrating Ontologies and Vector Space Embeddings Using Conceptual Spaces (Invited Paper).

[BibT_eX]

[DOI]

Zied Bouraoui

Proceedings of the International Research School in Artificial Intelligence in Bergen, 2022

2021

Modelling Symbolic Knowledge Using Neural Representations.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2021

A Description Logic for Analogical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Plausible Reasoning about EL-Ontologies using Concept Interpolation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

On Finite Entailment of Non-Local Queries in Description Logics.

[BibT_eX]

[DOI]

Tomasz Gogacz

Albert Gutowski

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Ontology Focusing: Knowledge-Enriched Databases on Demand.

[BibT_eX]

[DOI]

Tomasz Gogacz

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs.

[BibT_eX]

[DOI]

Efthymia Tsamoura

Angelika Kimmig

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report).

[BibT_eX]

[DOI]

Efthymia Tsamoura

Angelika Kimmig

CoRR, 2019

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.

[BibT_eX]

[DOI]

Tomasz Gogacz

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

Markov Logic Networks with Statistical Quantifiers.

[BibT_eX]

[DOI]

Ondrej Kuzelka

CoRR, 2018

From Knowledge Graph Embedding to Ontology Embedding: Region Based Representations of Relational Structures.

[BibT_eX]

[DOI]

CoRR, 2018

Quantified Markov Logic Networks.

[BibT_eX]

[DOI]

Ondrej Kuzelka

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies.

[BibT_eX]

[DOI]

Leif Sabellek

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Query-by-Example for Expressive Horn Description Logics.

[BibT_eX]

[DOI]

Leif Sabellek

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Answering Regular Path Queries over SQ Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Probabilistic Description Logics for Subjective Uncertainty.

[BibT_eX]

[DOI]

Lutz Schröder

J. Artif. Intell. Res., 2017

Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On Query Answering in Description Logics with Number Restrictions on Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Number Restrictions on Transitive Roles in Description Logics with Nominals.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Description logics of context.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Metric Temporal Description Logics.

[BibT_eX]

[DOI]

Ana Ozaki

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On Decidability and Tractability of Querying in Temporal EL.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Queries with negation and inequalities over lightweight ontologies.

[BibT_eX]

[DOI]

Egor V. Kostylev

J. Web Semant., 2015

Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.

[BibT_eX]

[DOI]

Thomas Schneider

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.

[BibT_eX]

[DOI]

Thomas Schneider

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Lightweight Description Logics and Branching Time: A Troublesome Marriage.

[BibT_eX]

[DOI]

Víctor Didier Gutiérrez-Basulto

Thomas Schneider

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013

Towards More Useful Description Logics of Time, Change and Context.

[BibT_eX]

[DOI]

PhD thesis, 2013

Conjunctive Queries with Negation over DL-Lite: A Closer Look.

[BibT_eX]

[DOI]

Egor V. Kostylev

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

2012

Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

An Update on Query Answering with Restricted Forms of Negation.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Complexity of Branching Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2011

Two-Dimensional Description Logics of Context.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

The Complexity of Probabilistic EL.

[BibT_eX]

[DOI]

Lutz Schröder

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Two-Dimensional Description Logics for Context-Based Semantic Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

A Closer Look at the Probabilistic Description Logic Prob-EL.

[BibT_eX]

[DOI]

Lutz Schröder

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

ALCALC: A Context Description Logic.

[BibT_eX]

[DOI]