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

DOI10.1007/978-3-319-61660-5_22zbMath1491.68045OpenAlexW2732569415WikidataQ62046411 ScholiaQ62046411MaRDI QIDQ2401940

Yanyan Li

Publication date: 5 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-61660-5_22

zbMATH Keywords

logic programmingquery answeringdescription logic ontologies

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (3)

On combining ontologies and rules ⋮ Unnamed Item ⋮ NoHR

Uses Software

• HermiT
• Konclude
• ELK

This page was built for publication: NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond