CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe present an ongoing implementation of a KE-Tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic DLh4LQSR;Ãi(D) (shortly DL4;ÃD). The reasoner checks the consistency of DL4;ÃD-knowledge bases (KBs) repre-sented in set-Theoretic terms. It is implemented in C++ and supports DL4;ÃD-KBs serialized in the OWL/XML format. To the best of our knowledge, this is the first attempt to implement a reasoner for the consistency checking of a description logic that is represented via a fragment of set theory that can also classify standard OWL ontologies.
| Titolo: | A C++ reasoner for the description logic DL4;× D? | |
| Autori interni: | SANTAMARIA, DANIELE FRANCESCO (Corresponding) | |
| Data di pubblicazione: | 2017 | |
| Serie: | ||
| Handle: | http://hdl.handle.net/20.500.11769/313761 | |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| CILCpaper03.pdf | Articolo principale | Versione Editoriale (PDF) | Open Access Visualizza/Apri |
Copyright © 2021