Combining Horn rules and description logics in CARIN

DOI10.1016/S0004-3702(98)00048-4zbMath0908.68166OpenAlexW2059572645MaRDI QIDQ1274681

Marie-Christine Rousset, Alon Y. Halevy

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

knowledge representationdescription logicsquery containmenthybrid languagesHorn rules

Mathematics Subject Classification ID

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

Related Items (20)

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

Cites Work

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

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