non-monotonic reasoning owl description logic default description logic defaults research track iswc 2011 local clossed world reasoning iswc
Mehr anzeigen