NoHR

swMATH27501MaRDI QIDQ39217FDOQ39217

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_22

Described by source

• NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond

Cited In (13)

• Telco network inventory validation with NoHR
• Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
• Forgetting in ASP: the forgotten properties
• HermiT
• Konclude
• RacerPro
• Harvey
• ELK
• Ontop
• ArgueApply
• Catnap
• Moviola
• On updates of hybrid knowledge bases composed of ontologies and rules

This page was built for software: NoHR