What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems (Q2939302)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems |
scientific article |
Statements
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems (English)
0 references
19 January 2015
0 references
multi-context systems
0 references
MKNF knowledge bases
0 references
answer set programming
0 references
logic programming
0 references
description logics
0 references
knowledge representation
0 references
