A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non-monotonic, closed-world reasoning. One exception is the tightly-coupled framework of Minimal Knowledge and Negation as F...
Gardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Artigo |
| Publicado: |
2011
|
| Materias: | |
| Acceso en liña: | https://arxiv.org/abs/1103.3949 http://arxiv.org/abs/1103.3949 |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|