ontology reasoning

Efficient Extraction of EL-Ontology Deductive Modules AAAI 2023 Answering Queries with Negation over Existential Rules AAAI 2022 Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies IJCAI 2021 Bounded Predicates in Description Logics with Counting IJCAI 2021 Checking Chase Termination over Ontologies of Existential Rules with Equality AAAI 2020 Ontology Reasoning with Deep Neural Networks (Extended Abstract) IJCAI 2020 Relatedness and TBox-Driven Rule Learning in Large Knowledge Bases AAAI 2020 Schema Aware Semantic Reasoning for Interpreting Natural Language Queries in Enterprise Settings COLING 2020 Finding Justifications by Approximating Core for Large-scale Ontologies IJCAI 2019 Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019 Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals IJCAI 2018 Fast Compliance Checking in an OWL2 Fragment IJCAI 2018 Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies IJCAI 2018