# Guarded hybrid knowledge bases12

@article{Heymans2008GuardedHK,
title={Guarded hybrid knowledge bases12},
author={S. Heymans and J. Bruijn and L. Predoiu and C. Feier and D. V. Nieuwenborgh},
journal={Theory and Practice of Logic Programming},
year={2008},
volume={8},
pages={411 - 429}
}
Abstract Recently, there has been a lot of interest in the integration of Description Logics (DL) and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similar to the $\mathcal{DL}$ + log knowledge bases from Rosati (In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning, AAAI Press, Menlo Park, CA… Expand
30 Citations

#### Topics from this paper

Reasoning with Forest Logic Programs and f-hybrid knowledge bases*†
• Computer Science, Mathematics
• Theory and Practice of Logic Programming
• 2011
Extending Logic Programs with Description Logic Expressions for the Semantic Web
• Computer Science
• International Semantic Web Conference
• 2011
FO(ID) as an extension of DL with rules
• Mathematics, Computer Science
• Annals of Mathematics and Artificial Intelligence
• 2010

#### References

SHOWING 1-10 OF 36 REFERENCES