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

Querying Attributed DL-Lite Ontologies Using Provenance Semirings AAAI 2019
Relaxing and Restraining Queries for OBDA AAAI 2019
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? IJCAI 2019
Finding Justifications by Approximating Core for Large-scale Ontologies IJCAI 2019
Revisiting Controlled Query Evaluation in Description Logics IJCAI 2019
ABox Abduction via Forgetting in ALC AAAI 2019
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access IJCAI 2019
Ontology Approximation in Horn Description Logics IJCAI 2019
On the Logical Properties of the Description Logic DL^N (Extended abstract) IJCAI 2018
On Concept Forgetting in Description Logics with Qualified Number Restrictions IJCAI 2018
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies IJCAI 2018
Exact Learning of Lightweight Description Logic Ontologies JMLR 2018
Compiling Model Representations for Querying Large ABoxes in Expressive DLs IJCAI 2018
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes IJCAI 2018
Attributed Description Logics: Reasoning on Knowledge Graphs IJCAI 2018
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying IJCAI 2018
Ontology-Based Data Access: A Survey IJCAI 2018
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals IJCAI 2018
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account IJCAI 2018
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying IJCAI 2018
A New Semantics for Overriding in Description Logics (Extended Abstract) IJCAI 2017
Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017
Making Cross Products and Guarded Ontology Languages Compatible IJCAI 2017
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017
Query Rewriting for DL-Lite with n-ary Concrete Domains IJCAI 2017