Documentation of PowerLoom reasoning mechanism
Sebastian Herold <[email protected]> Mon, 16 May 2011 16:18:04 +0200
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
Hi there, I'm currentling looking for a more detailed description of PowerLoom's = reasoning functionality regarding its theoretical incompleteness. = Somewhere in the documentation it is stated that not all rules of = deduction are supported. Can I find somewhere information about 1) which rules are (not) supported and/or 2) examples of queries that could hence not be answered by PowerLoom? Thanks in advance, Sebastian -- = Dipl.-Inform. Sebastian Herold Technische Universit=E4t Clausthal Institut f=FCr Informatik - Software Systems Engineering Lehrstuhl von Prof. Dr. Andreas Rausch Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld Telefon: +49 5323 72-7164 - Sekretariat: -7160 Telefax: +49 5323 72-7169 Raum: Albrecht-von-Groddeck-Str. 7, Raum 202 WWW: http://sse.in.tu-clausthal.de