removing superclasses when adding a type to an individual

IndomitoGallo / semanticturkey

Automatically exported from code.google.com/p/semanticturkey

0 stars 0 forks source link

removing superclasses when adding a type to an individual #14

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago

Given an individual I with a set of explicit types TS, if the user adds a
type T to I, the system should check if any of the types in TS are
superclasses of T and, in case, remove the triple asserting them as types
for I.

Original issue reported on code.google.com by stellat...@gmail.com on 29 Oct 2008 at 11:10

GoogleCodeExporter commented 8 years ago

Original comment by stellat...@gmail.com on 1 Nov 2010 at 4:56