Deciding Subsumption in Defeasible ELI_⊥ with Typicality Models

Author(s)

Souza Camara, Igor de Camargo E. ; Turhan, Anni-Yasmin

• Document type: Journal article
• Source: LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023; v. 14281, p. 16-pg., 2023-01-01.

Abstract

Some reasoning methods for Defeasible Description Logics (DDLs) suffer from quantification neglect (QN) as they omit un-defeated information for quantified objects. Reasoning in defeasible EL perpendicular to based on so-called typicality models (TMs), which extend canonical models of classical EL perpendicular to, can alleviate QN. The DDL ELI perpendicular to extends EL perpendicular to by inverse roles, i.e., a limited form of value restriction. Extending TMs to inverse roles is challenging due to their interaction with existential restrictions. In this paper, we develop TMs for ELI perpendicular to for 4 different semantics reliant on rational and relevant closure. Our computation methods for those TMs are effective decision procedures for subsumption in defeasible ELI perpendicular to and the stronger forms of TMs can mitigate QN. (AU)

• FAPESP's process: 15/24485-9 - Future internet for smart cities
• Grantee: Fabio Kon
• Support Opportunities: Research Projects - Thematic Grants
• FAPESP's process: 14/50937-1 - INCT 2014: on the Internet of the Future
• Grantee: Fabio Kon
• Support Opportunities: Research Projects - Thematic Grants