[Attempto] unused statements have OWL forms

[Tobias Kuhn]

Hi George,

AceWiki can be configured to use only a subset of OWL (called OWL 
Profiles as defined by OWL 2) for reasoning. This is the case for the 
public demos, to make sure the reasoning doesn't take too long. By 
clicking on "About" you can see the used OWL subset. For the Geography 
Wiki, for example, it is OWL 2 RL.

Cheers,
Tobias


On 20.03.2016 02:18, George Herson wrote:
>
> hi,
>
> Three example
> http://attempto.ifi.uzh.ch/webapps/acewikigeo/ "unasserted" statements
> "too complex to be considered for reasoning":
>
>      Missouri is a state that belongs_to the United_States_of_America.
>      If Liechtenstein borders X then X is Austria or X is Switzerland.
>      The Limmat is a river that flows_through Zurich.
>
> Yet each has an OWL representation, so how does AceWiki decide that a
> statement is too complex to be considered for reasoning?  Are the OWL
> representations complete?
>
> thank you,
> George
>
>
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
>