nlp wordnet gwc-2016 wordnet gwc-2016 conference complexity modal logic language resources openwordnet-pt nominalizations nomlex archives historical data linked data thesis proof theory description logics gwc gwc-2012 open-source logic-onto-pt ebl-2011 logics fol teaching
See more