This extended abstract summarizes our previous work on a defeasible extension of Description Logic (DL) for contextual reasoning. Here, we considered on the one hand the addition of multiple dimensions of defeasibility, allowing us to express for example that a rule has to be satisfied no matter the geographical context but that the rule can change in the next years. On the other hand, we showed that Answer Set Programming (ASP) especially when enhanced with algebraic measures provide a powerful tool to implement our framework and open up perspectives for the future.

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)

Loris Bozzato
;
2022-01-01

Abstract

This extended abstract summarizes our previous work on a defeasible extension of Description Logic (DL) for contextual reasoning. Here, we considered on the one hand the addition of multiple dimensions of defeasibility, allowing us to express for example that a rule has to be satisfied no matter the geographical context but that the rule can change in the next years. On the other hand, we showed that Answer Set Programming (ASP) especially when enhanced with algebraic measures provide a powerful tool to implement our framework and open up perspectives for the future.
File in questo prodotto:
File Dimensione Formato  
abstract-6.pdf

accesso aperto

Tipologia: Versione Editoriale (PDF)
Licenza: Creative commons
Dimensione 1.01 MB
Formato Adobe PDF
1.01 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2170532
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact