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
Reasoning with Forest Logic Programs and f-hybrid knowledge bases*†
  • C. Feier, S. Heymans
  • Computer Science, Mathematics
  • Theory and Practice of Logic Programming
  • 2011
Hybrid Reasoning with Forest Logic Programs
Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases
Extending Logic Programs with Description Logic Expressions for the Semantic Web
FO(ID) as an extension of DL with rules
...
1
2
3
...

References

SHOWING 1-10 OF 36 REFERENCES
Combining answer set programming with description logics for the Semantic Web
Conceptual logic programs
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs
A Faithful Integration of Description Logics with Logic Programming
The Description Logic Handbook
...
1
2
3
4
...