dc.creator | Moguillansky, Martin Oscar | |
dc.date.accessioned | 2018-05-28T20:05:46Z | |
dc.date.accessioned | 2018-11-06T15:42:52Z | |
dc.date.available | 2018-05-28T20:05:46Z | |
dc.date.available | 2018-11-06T15:42:52Z | |
dc.date.created | 2018-05-28T20:05:46Z | |
dc.date.issued | 2016-03-02 | |
dc.identifier | Moguillansky, Martin Oscar; Ontology Reasoning and Evolution with Inconsistency Tolerance: An Argumentative Approach to Revision of Description Logics; IOS Press; AI Communications; 29; 2; 2-3-2016; 405-407 | |
dc.identifier | 0921-7126 | |
dc.identifier | http://hdl.handle.net/11336/46321 | |
dc.identifier | CONICET Digital | |
dc.identifier | CONICET | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1900089 | |
dc.description.abstract | Reasoning and change over inconsistent ontologies (i-ont(s)) is of utmost relevance in sciences like medicine and law. Argumentation may be an appropriate formalism to cope with both problems: (reasoning) through an argumentation framework (AF) constructed from the i-ont, and (change) by handling the dynamics of its arguments. We propose a new family of abstract AFs referred as generalized (GenAF), due to its ability of adapting to different representation languages. Afterwards, we propose a possible instantiation of the GenAF?s abstract language for arguments to the basic ALC description logic for reasoning over i-onts. For dynamics of arguments, a revision operation modifies the graph of arguments in an AF for provoking the argumentation semantics to accept an argument. Thus, revising an ALC-GenAF would introduce a novel methodology for handling evolution of i-onts. To such end, we propose a revision operation by relying upon classic belief revision theory, although contrary to it, consistency restoration is avoided in order to handle evolution with inconsistency tolerance. | |
dc.language | eng | |
dc.publisher | IOS Press | |
dc.relation | info:eu-repo/semantics/altIdentifier/url/http://content.iospress.com/articles/ai-communications/aic662 | |
dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.3233/AIC-150662 | |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
dc.rights | info:eu-repo/semantics/restrictedAccess | |
dc.subject | Belief Revision | |
dc.subject | Argumentation | |
dc.subject | Knowledge Representation | |
dc.subject | Ontology Evolution | |
dc.subject | Description Logics | |
dc.subject | Inconsistency Tolerance | |
dc.title | Ontology Reasoning and Evolution with Inconsistency Tolerance: An Argumentative Approach to Revision of Description Logics | |
dc.type | Artículos de revistas | |
dc.type | Artículos de revistas | |
dc.type | Artículos de revistas | |