Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.databases > #111 > unrolled thread

4QL - a query language with unrestricted negation

Back to article view | Back to comp.databases

Contents

  4QL - a query language with unrestricted negation andsz <andrzej.szalas@gmail.com> - 2011-08-21 10:15 -0700
    Re: 4QL - a query language with unrestricted negation Jasen Betts <jasen@xnet.co.nz> - 2011-08-22 11:01 +0000

#111 — 4QL - a query language with unrestricted negation

Hello,

a Datalog-like rule query language 4QL has recently been implemented.
4QL has certain important features:
- negation is allowed in heads ad bodies of rules
- it enjoys a simple and intuitive semantics
- it provides simple, uniform constructs allowing one for many forms
of non-monotonic reasoning and inconsistency handling
- a modular architecture makes it suitable for distributed processing
- it has PTIME data complexity and captures PTIME.

4QL is especially suitable for:
- web services and agents
- advanced ontologies, employing commonsense reasoning techniques
- distributed knowledge bases
- fusing knowledge from distributed sources
- robotics systems.

An experimental (open source) command-line interpreter Inter4QL is now
available
for Windows, Mac OS X and Linux. For the interpreter and more
information
please see: 4ql.org

Best regards

[toc] | [next] | [standalone]

#113

On 2011-08-21, andsz <andrzej.szalas@gmail.com> wrote:
> Hello,
>
> a Datalog-like rule query language 4QL has recently been implemented.
> 4QL has certain important features:

can you post some examples?





-- 
⚂⚃ 100% natural

[toc] | [prev] | [standalone]

Back to top | Article view | comp.databases

csiph-web