[Z3-zemantic] Re: Zemantic 0.5 released

[Reinout van Rees]

On Tue, 19 Jul 2005, Michel Pelletier wrote:

> [...about entailment...]
> Many of the rules can be applied recursively and some even infinitely so
> it's a tricky issue to solve.

The OWL ontology formats are build on top of RDFS, the "simple" and
the "description logic" restrict RDFS somewhat, making it
calculateable. OWL full, which allows the full power of RDFS, is
theoretically full of infinite loops.

So, the idea to allow *per-application* entailment modules to be
plugged in sounds like a very sane idea :-)

Greetings,

Reinout

-- 
Reinout van Rees                         r.van.rees at zestsoftware.nl
http://vanrees.org/weblog/                  http://zestsoftware.nl/
"  The most absolute lie is the presentation of an irrefutable fact
based on unassailable numbers" -- L.E. Modesitt jr., Gravity dreams