{"id":117,"date":"2015-05-03T14:03:09","date_gmt":"2015-05-03T12:03:09","guid":{"rendered":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/?page_id=117"},"modified":"2017-08-15T17:27:01","modified_gmt":"2017-08-15T15:27:01","slug":"description-logics","status":"publish","type":"page","link":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/research\/description-logics","title":{"rendered":"Description Logics"},"content":{"rendered":"<p><img loading=\"lazy\" decoding=\"async\" class=\"alignright wp-image-451\" src=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2017\/08\/dl-large-300x271.gif\" alt=\"\" width=\"110\" height=\"100\" srcset=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2017\/08\/dl-large-300x271.gif 300w, https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2017\/08\/dl-large-624x564.gif 624w\" sizes=\"auto, (max-width: 110px) 100vw, 110px\" \/>This line of research focusses on alternative semantics for description logics that enable the derivation of useful conclusion from\u00a0inconsistent ontologies. Unlike some other approaches proposed in the literature, we do not change the language of description logics in order to handle inconsistencies.<\/p>\n<h3>Publications<\/h3>\n<p>W. Qiao, N. Roos, An argumentation system for reasoning with conflict-minimal paraconsistent ALC,\u00a0<em>Non Monotonic Reasoning (NMR)<\/em>\u00a0(2014) 10 pages. [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2015\/07\/QR14NMR.pdf\" target=\"_blank\">pdf<\/a>]<\/p>\n<p>W. Qiao, and N. Roos, An argumentation system for reasoning with LPm,\u00a0<em>ECAI<\/em>\u00a0(2014) 753-758. [<a href=\"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-content\/uploads\/2015\/07\/QR14ECAI.pdf\" target=\"_blank\">pdf<\/a>]<\/p>\n<p>W. Qiao and N. Roos A tableau-based reasoning method for four-valued description logic ALC,\u00a0<em>BNAIC 2012<\/em>\u00a0(2012) 202-209.<\/p>\n<p>W. Qiao and N. Roos, Four-valued description logic for paraconsistent reasoning,\u00a0<em>BNAIC 2011<\/em>\u00a0(2011) 175-182.<\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This line of research focusses on alternative semantics for description logics that enable the derivation of useful conclusion from\u00a0inconsistent ontologies. Unlike some other approaches proposed in the literature, we do not change the language of description logics in order to handle inconsistencies. Publications W. Qiao, N. Roos, An argumentation system for reasoning with conflict-minimal paraconsistent [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":8,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-117","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages\/117","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/comments?post=117"}],"version-history":[{"count":8,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages\/117\/revisions"}],"predecessor-version":[{"id":457,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages\/117\/revisions\/457"}],"up":[{"embeddable":true,"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/pages\/8"}],"wp:attachment":[{"href":"https:\/\/dke.maastrichtuniversity.nl\/nico.roos\/wp-json\/wp\/v2\/media?parent=117"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}