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...
| मुख्य लेखकों: | , , , , |
|---|---|
| स्वरूप: | Conference item |
| प्रकाशित: |
IEEE
2010
|