[Attempto] unused statements have OWL forms

[George Herson]

Thanks Tobias.  Saw the 
| 
| Due | 
|

 | to | 
|

 | the | 
|

 | increasing | 
|

 | complexity | 
|

 | of | 
|

 | the | 
|

 | knowledge | 
|

 | base, | 
|

 | the | 
|

 | reasoning | 
|

 | subset | 
|

 | has | 
|

 | been | 
|

 | restricted: | 
|

 | OWL | 
|

 | 2 | 
|

 | RL | 
|

 | instead | 
|

 | of | 
|

 |

 |


|  | 
|

 | 
| OWL | 
|

 | 2 | 
|

 | Full. | 

 |

 |

comment on the Main Page after posting my question (but still glad for an answer).
1. Regarding the need to restrict the reasoning, why does the machine have a harder time "understanding" not very many logical assertions than it does tremendous #s of illogical statements (English sentences)?  (I'm thinking mostly of IBM Watson.)
2. Why are there redundant word forms in a AceWiki data file?  E.g., the Geography wiki's geo.acewikidata file haswords:Mars;Mars;Mars;Mars;
thank you,George 

    On Sunday, March 20, 2016 5:37 AM, Tobias Kuhn <kuhntobias at gmail.com> wrote:
 

 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
>
_______________________________________________
attempto mailing list
attempto at lists.ifi.uzh.ch
https://lists.ifi.uzh.ch/listinfo/attempto


  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20160320/849052d6/attachment-0001.html>