Menu

#22 add warning/error when is a meant as subsump

open
nobody
8
2009-10-08
2008-10-24
Anonymous
No

Because in natural language we are used as saying things like 'a Rapid is a Topographical Object' which is a concept subsumption, we should provide a warning when trying to enter a sentence 'Rapid is a Topographical Object', because this is interpreted as a declaration of a new instance. If concept 'Rapid' has been defined, there should be a warning, suggesting to change this to 'Every Rapid is a kind of Topographical Object', which is the correct rabbit sentence for the subsumption.

Discussion

  • Ronald Denaux

    Ronald Denaux - 2009-10-08

    Increased priority as this is something that happens fairly often and the current error message is insufficient to figure out that you forgot the 'Every' keyword...

     
  • Ronald Denaux

    Ronald Denaux - 2009-10-08
    • priority: 5 --> 8
     

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.