Web ontology representation and reasoning via fragments of set theory

DOI10.1007/978-3-319-22002-4_6zbMath1365.68402arXiv1505.02075WikidataQ124544775 ScholiaQ124544775MaRDI QIDQ2360184

Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

Publication date: 26 June 2017

Full work available at URL: https://arxiv.org/abs/1505.02075

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

03E30: Axiomatics of classical set theory and its fragments

68M11: Internet topics