Publisher
Springer Nature Switzerland
Reference20 articles.
1. Antoniou, G., et al.: Combining rules and ontologies: a survey. In: Reasoning on the Web with Rules and Semantics (2005)
2. Chen, W., Kifer, M., Warren, D.S.: HiLog: a foundation for higher-order logic programming. J. Logic Program. 15(3), 187–230 (1993)
3. Cima, G., De Giacomo, G., Lenzerini, M., Poggi, A.: On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies. In: Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, pp. 1–6 (2017)
4. Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., Schüller, P.: A model building framework for answer set programming with external computations. Theory Pract. Logic Program. 16(4), 418–464 (2016)
5. Lecture Notes in Computer Science;T Eiter,2006