Guarded hybrid knowledge bases

DOI10.1017/S1471068407003201MaRDI QIDQ3506442zbMATH OpenOpenAlexFDO

Authors Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh

Publication date 13 June 2008

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068407003201

zbMATH Keywords

Description LogicsLogic Programming

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1500647
• Guarded Ontology-Mediated Queries
• A conceptual framework for secrecy-preserving reasoning in knowledge bases
• Integrity constraints for general-purpose knowledge bases
• Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics
• The logic of knowledge bases
• Active integrity constraints for general-purpose knowledge bases

Cites work

• The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics

Cited in

(5)

• Reconciling description logics and rules
• Answer Set Programming: A Primer
• Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
• FO(ID) as an extension of DL with rules
• On updates of hybrid knowledge bases composed of ontologies and rules

This page was built for publication: Guarded hybrid knowledge bases

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