Reasoning with ontologies

DOI10.1007/978-3-030-06164-7_6zbMATH Open1547.68731MaRDI QIDQ6602220FDOQ6602220

Authors: Meghyn Bienvenu, Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset 

Publication date: 11 September 2024

Recommendations

• Description logics for ontologies
• Description Logics
• Description logics in knowledge representation
• scientific article; zbMATH DE number 2090284
• Logic Programming

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Acyclicity notions for existential rules and their application to query answering in ontologies
• Modular reuse of ontologies: theory and practice
• The DL-Lite Family and Relations
• Linking Data to Ontologies
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Title not available (Why is that?)
• Data exchange: semantics and query answering
• Model-theoretic inseparability and modularity of description logic ontologies
• On rules with existential variables: walking the decidability line
• Terminological reasoning is inherently intractable
• Title not available (Why is that?)
• On the relative expressiveness of description logics and predicate logics
• Title not available (Why is that?)
• Graph-based knowledge representation. Computational foundations of conceptual graphs
• An introduction to description logic
• The logic system of concept graphs with negation. And its relationship to predicate logic.
• Understanding the complexity of axiom pinpointing in lightweight description logics
• Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
• The price of query rewriting in ontology-based data access
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Reasoning and query answering in description logics
• The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
• Inconsistency-Tolerant Querying of Description Logic Knowledge Bases
• Ontology-mediated queries. Combined complexity and succinctness of rewritings via circuit complexity
• Regular path queries in lightweight description logics: complexity and algorithms
• Title not available (Why is that?)
• Datalog and Its Extensions for Semantic Web Databases

This page was built for publication: Reasoning with ontologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602220)