description logic

Finding Justifications by Approximating Core for Large-scale Ontologies IJCAI 2019 From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment AAAI 2019 Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? IJCAI 2019 On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles IJCAI 2019 On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019 Ontology Approximation in Horn Description Logics IJCAI 2019 Querying Attributed DL-Lite Ontologies Using Provenance Semirings AAAI 2019 Relaxing and Restraining Queries for OBDA AAAI 2019 Revisiting Controlled Query Evaluation in Description Logics IJCAI 2019 Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access IJCAI 2019 Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting IJCAI 2019 Attributed Description Logics: Reasoning on Knowledge Graphs IJCAI 2018 Compiling Model Representations for Querying Large ABoxes in Expressive DLs IJCAI 2018 Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals IJCAI 2018 Embracing Change by Abstraction Materialization Maintenance for Large ABoxes IJCAI 2018 Exact Learning of Lightweight Description Logic Ontologies JMLR 2018 From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying IJCAI 2018 Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying IJCAI 2018 Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account IJCAI 2018 On Concept Forgetting in Description Logics with Qualified Number Restrictions IJCAI 2018 On the Logical Properties of the Description Logic DL^N (Extended abstract) IJCAI 2018 Ontology-Based Data Access: A Survey IJCAI 2018 Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies IJCAI 2018 A New Semantics for Overriding in Description Logics (Extended Abstract) IJCAI 2017 Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage IJCAI 2017