To extend a little on what Philipp wrote, let me copy my response from
your request on the SMWForum discussion board:
> Re: Questions about SMW
> *Michael Erdmann
> on 21 Sep 2010, 15:17
> let me try to reply to your questions:
> 1. Is SMW using Inference engine or Semantic reasoner?
> SMW proper does not use a built-in or external reasoner.
> SMW+/HaloExtension  together with the TripleStoreConnector (TSC)
> , though provides you with reasoning capabilities
> 2. Can SWM implement logical deduction over facts?
> Subclass-reasoning is applied in SMW. Other deduction rules, e.g. for
> inverse properties are supported only when using the TSC. SMW+ also
> provides a rules-extension  which allows for certain user-defined
> rules, e.g. to derive property values based on other properties.
> 3. Is it possible to generate pages on user demand?
> What do you mean with "generate ... on demand"?
> 4. Is there any specific types of logic? direct and inverse
> logical deduction, first-order logic ?
> This question is independent of the SMW. It only depends on the
> expressiveness of the reasoner/triple store that is connected. TSC
> supports Jena  and OntoBroker . OntoBroker  is a powerful
> rules-based reasoner that supports a language called ObjectLogic, a
> variant of F-logic, that combines deductive rules with frame-based
> ontologies (technically it reasons over normal logic programs)
>  http://smwforum.ontoprise.com/smwforum/index.php/SMW%2B
>  http://www.ontoprise.de/en/home/products/ontobroker/
On 21.09.2010 09:41, Philipp Zaltenbach wrote:
> SMW itself provides basic reasoning such as subcategory inferencing .
> If you need more expressive semantics and reasoning have e.g. a look at
> our Triple store connector and the Rule Knowledge extension .
> These allow to formulate and evaluate logical rules in the wiki.
>  http://semantic-mediawiki.org/wiki/Help:Inferencing
>  http://wiki.ontoprise.com/smwforum/index.php/List_of_Extensions
> Am 20.09.2010 16:23, schrieb Grafix:
>> Please, give me an answers:
>> Is SMW using Inference engine or Semantic reasoner?
>> Can SWM implement logical deduction over facts?
>> Is it possible to generate pages on user demand?
>> Is there any specific types of logic? direct and inverse logical deduction,
>> first-order logic ?
>> Yours respectfully
email: erdmann@... Dr. Michael Erdmann
tel: +49 / 163 / 509 8029
ontoprise GmbH - know how to use Know-how
An der RaumFabrik 29; 76227 Karlsruhe; Germany
Registered Office: Karlsruhe, Germany (Amtsgericht Mannheim HRB 109540)
Managing Directors: Prof. Dr. Juergen Angele, Hans-Peter Schnurr
Semantic Enterprise Wiki - SMW+ / Halo Extension
Want to get involved? http://smwforum.ontoprise.com/development