Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) LaHDAK
A Hyper-graph Approach for Computing EL+-Ontology Justifications
Hui Yang

15 November 2021, 13h00
Salle/Bat : 445/PCRI-N
Contact :

Activités de recherche : Raisonnement automatique

Résumé :
Justifications are minimal subsets of an ontology that entail a given conclusion. Computing justifications provides a concise explanation of the entailment. Even though computing one justification can be done in polynomial time for tractable Description Logics such as EL+, computing all justifications is hard and often challenging for real-world ontologies. In this paper, we propose a new approach to compute all justifications based on a representation of EL+-ontologies by hyper-graphs. Then, the main idea is to reformulate justifications as special paths called H-paths in the hyper-graph associated with a given ontology. The advantage of this setting is that, most of the time, it reduces the number of the inference rules applied to derive a given conclusion, and this accelerates the enumeration of justifications relying on these inference rules. We validate our approach by running real-world ontology experiments. Our hyper-graph based approach outperforms PULi, the state of the art algorithm. For instance, for the ontology galen7, for which PULi performed the worst, our method generated ten times fewer inference rules on average and accelerated PULi up to three times.

Pour en savoir plus : https://www.lri.fr/membre.php?mb=2735
Séminaires
Knowledge Graph Refinement based on Triplet BERT-N
Gestion de données du Web
Monday 29 November 2021 - 13h00
Salle : 455 - PCRI-N
Armita Khajeh Nassiri .............................................

A Hyper-graph Approach for Computing EL+-Ontology
Raisonnement automatique
Monday 15 November 2021 - 13h00
Salle : 445 - PCRI-N
Hui Yang .............................................

Semantic approaches to predict the presence of asb
Intégration de données et de connaissances
Monday 08 November 2021 - 13h00
Salle : 455 - PCRI-N
Thamer Mecharnia .............................................

Pierre Andrieu - Agrégation de classements pour le
Thursday 21 October 2021 - 00h00
Salle : 435 - PCRI-N
.............................................

A counting argument for graph colouring
Théorie des graphes
Friday 08 October 2021 - 11h00
Salle : 445 - PCRI-N
Francois Pirot .............................................