[Attempto] AceWiki - how to get explanation of red?

[Tobias Kuhn]

Hi,

Blue bullets mean "is used by the reasoner". Red bullets mean "is not used by the reasoner". The 
latter is the case for all statements that cannot be translated into OWL or that would use the OWL 
constructs TransitiveObjectProperty or SubObjectPropertyChain. The problem with these two axiom 
types is that statements using them can violate the "Nonstructural Restrictions on Axioms":

   http://www.w3.org/TR/2008/WD-owl2-syntax-20080411/#Nonstructural_Restrictions_on_Axioms

Since I don't know how to handle these restrictions in a collaborative environment like a wiki, I 
simply disallow the axiom types that are involved.

Thus, the reason why you don't get an answer for questions like "Which continent contains Oslo?" is 
that the statement "If X is located in Y and Y is located in Z then X is located in Z." is ignored 
by the reasoner.

If you have an idea how TransitiveObjectProperty and SubObjectPropertyChain could be supported in a 
simple way without the danger to violate these nonstructural restrictions, let me know!


Tobias



George Herson wrote:
> I added some sentences to the current Oslo page at http://attempto.ifi.uzh.ch/webapps/acewikigeo/ and it seems to me that
> 
> 
>  
> Edit...
> Add Sentence...
> Add Comment...
> Delete
> Details
> Logic
>    
>  Oslo 
>  is 
>  located in 
>  which 
>  continent ?  
>  
>  
> (no answer found)
> should find an answer since we have
> 
> 
>  
> Edit...
> Add Sentence...
> Add Comment...
> Delete
> Details
> Logic
>    
>  Norway 
>  is 
>  located in 
>  which 
>  continent ?  
>  
>  
> - 
>  Europe 
> and rule
> 
> 
> 
>   
> Edit...
> Add Sentence...
> Add Comment...
> Delete
> Details
> Logic
>    
>  If 
>  X 
>  is 
>  located in 
>  Y 
>  and 
>  Y 
>  is 
>  located in 
>  Z 
>  then 
>  X 
>  is 
>  located in 
>  Z .  
>  
>  
> So sorry, maybe an expert will be more helpful.
> 
> George
> ________________________________
> From: Alex Shkotin <alex.shkotin at gmail.com>
> To: George Herson <gherson at snet.net>
> Cc: attempto at lists.ifi.uzh.ch
> Sent: Tuesday, June 30, 2009 2:38:44 PM
> Subject: Re: [Attempto] AceWiki - how to get explanation of red?
> 
> 
> yes, I need to say vise versa but have a look at 
> http://clip2net.com/clip/m3050/1246386847-clip-8kb.png
>  
> sorry, but after "Which continent is Oslo" there is no continuation:(
> 
> 
> 2009/6/30 George Herson <gherson at snet.net>
> 
> 
> Re: "Which continent is located in Oslo?", try variations on "Which continent is Oslo located-in?": Oslo is a city, much smaller than a continent.
> 
> 
> George
> ________________________________
> From: Alex Shkotin <alex.shkotin at gmail.com>
> To: George Herson <gherson at snet.net>
> Cc: attempto at lists.ifi.uzh.ch
> Sent: Tuesday, June 30, 2009 2:20:11 PM
> Subject: Re: [Attempto] AceWiki - how to get explanation of red?
> 
> 
> 
> Hi George,
> then why my question (after rule) is without answer?
> 
> 
> 2009/6/30 George Herson <gherson at snet.net>
> 
> 
> Hi Alex,
> 
> My guess is that AceWiki bullets are red for rules and blue for facts.
> 
> George
> ________________________________
> From: Alex Shkotin <alex.shkotin at gmail.com>
> To: attempto at lists.ifi.uzh.ch
> Sent: Tuesday, June 30, 2009 12:55:34 PM
> Subject: [Attempto] AceWiki - how to get explanation of red?
> 
> 
> 
> Hi,
> have a look at a picture.
> how can I tell that red sentence is definition?
> how can I get an explanation  - why the sentence is red?
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
>