Co-occurring keywords · papers mentioning both
Papers
Expressivity of Planning with Horn Description Logic Ontologies
AAAI 2022
UniKER: A Unified Framework for Combining Embedding and Definite Horn Rule Reasoning for Knowledge Graph Inference
EMNLP 2021
A Journey into Ontology Approximation: From Non-Horn to Horn
IJCAI 2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
AAAI 2020
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment
AAAI 2019
Ontology Approximation in Horn Description Logics
IJCAI 2019
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies
IJCAI 2018
Query Conservative Extensions in Horn Description Logics with Inverse Roles
IJCAI 2017