A goal-directed implementation of query answering for hybrid MKNF knowledge bases (Q5410731)
From MaRDI portal
scientific article; zbMATH DE number 6286461
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A goal-directed implementation of query answering for hybrid MKNF knowledge bases |
scientific article; zbMATH DE number 6286461 |
Statements
A goal-directed implementation of query answering for hybrid MKNF knowledge bases (English)
0 references
17 April 2014
0 references
knowledge representation
0 references
well-founded semantics
0 references
description logics
0 references
implementation
0 references
