Author:Varzinczak, IJDate:Feb 2010As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus ...Read more
Author:Moodley, K; Meyer, T; Varzinczak, IJDate:Aug 2011In recent years, there has been significant progress in developing tools for debugging and repairing Description Logic (DL)-based ontologies with erroneous consequences. However, these tools place more emphasis on explaining why the consequences ...Read more