Resolution-based rewriting for Horn- $$\mathcal {SHIQ}$$ SHIQ ontologies
Trivela, Despoina, Stoilos, Giorgos, Chortaras, Alexandros, Stamou, GiorgosJournal:
Knowledge and Information Systems
DOI:
10.1007/s10115-019-01345-2
Date:
March, 2019
File:
PDF, 789 KB
2019