Combining Horn rules and description logics in CARIN

DOI10.1016/S0004-3702(98)00048-4zbMATH Open0908.68166OpenAlexW2059572645MaRDI QIDQ1274681FDOQ1274681

A. Levy, Marie-Christine Rousset

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00048-4

zbMATH Keywords

description logicsknowledge representationquery containmenthybrid languagesHorn rules

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification of knowledge bases based on containment checking
• Attributive concept descriptions with complements
• Cardinality restrictions on concepts
• Feature-constraint logics for unification grammars
• Trends in artificial intelligence. 2nd congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy; October 29-31, 1991. Proceedings
• The implication and finite implication problems for typed template dependencies
• A resolution principle for constrained logics

Cited In (23)

• On the relation between SPARQL1.1 and Answer Set Programming
• Reasoning and Query Answering in Description Logics
• Representing ontologies using description logics, description graphs, and rules
• Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
• Probabilistic description logic programs
• Data complexity of query answering in expressive description logics via tableaux
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Semantic web
• Title not available (Why is that?)
• Methods and algorithms for verification of knowledge bases in integrated expert systems
• Combining Description Logics, Description Graphs, and Rules
• Query answering with DBoxes is hard
• Combining answer set programming with description logics for the semantic web
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• Foundations of Onto-Relational Learning
• Local closed world reasoning with description logics under the well-founded semantics
• Answering regular path queries in expressive description logics via alternating tree-automata
• Inductive Logic Programming in Databases: From <scp>Datalog</scp> to
• The role of semantics in mining frequent patterns from knowledge bases in description logics with rules
• Title not available (Why is that?)
• Extended RDF: computability and complexity issues
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web

   Recommendations

• Extending Carin to the Description Logics of the $\mathcal{SH}$ Family 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Complexities of Horn Description Logics 👍 👎
• Reconciling description logics and rules 👍 👎

This page was built for publication: Combining Horn rules and description logics in CARIN

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