conftrace_

description logic

107 papers

Explore in graph

Also known as

DLS DL

Co-occurring keywords

knowledge representation (301) knowledge base (804) query answering (70) conjunctive query (24) query entailment (7) concept learning (121) computational complexity (399) query rewriting (64) ontology reasoning (14) ontology engineering (10)

Papers

Mining EL Bases with Adaptable Role Depth AAAI 2021
Cardinality Queries over DL-Lite Ontologies IJCAI 2021
Web Interoperability for Ontology Development and Support with crowd 2.0 IJCAI 2021
Answering Counting Queries over DL-Lite Ontologies IJCAI 2020
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules IJCAI 2020
Cone Semantics for Logics with Negation IJCAI 2020
A Journey into Ontology Approximation: From Non-Horn to Horn IJCAI 2020
Learning Query Inseparable εℒℋ Ontologies AAAI 2020
Provenance for the Description Logic ELHr IJCAI 2020
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies AAAI 2020
Least General Generalizations in Description Logic: Verification and Existence AAAI 2020
A Practical Approach to Forgetting in Description Logics with Nominals AAAI 2020
Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020
Deductive Module Extraction for Expressive Description Logics IJCAI 2020
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability IJCAI 2020
Rational Closure For All Description Logics (Extended Abstract) IJCAI 2020
Answering Conjunctive Queries with Inequalities in DL-Liteℛ AAAI 2020
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles IJCAI 2019
EL Embeddings: Geometric Construction of Models for the Description Logic EL++ IJCAI 2019
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic IJCAI 2019
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting IJCAI 2019
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment AAAI 2019
Efficient Concept Induction for Description Logics AAAI 2019