Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.
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 heads and...
| Huvudupphovsmän: | , , , , |
|---|---|
| Materialtyp: | Journal article |
| Språk: | English |
| Publicerad: |
IEEE
2010
|