Deciding Subsumption in Defeasible ELI_⊥ with Typicality Models

Autor(es)

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

• Tipo de documento: Artigo Científico
• Fonte: LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023; v. 14281, p. 16-pg., 2023-01-01.

Resumo

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)

• Processo FAPESP: 15/24485-9 - Internet do futuro aplicada a cidades inteligentes
• Beneficiário: Fabio Kon
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Processo FAPESP: 14/50937-1 - INCT 2014: da Internet do Futuro
• Beneficiário: Fabio Kon
• Modalidade de apoio: Auxílio à Pesquisa - Temático