Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications
<p>This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and for a variety of other applications. Datalog+/- extends plain Datalog by features such as existentially quantified rule...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2010
|