Web ontology representation and reasoning via fragments of set theory

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

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

Publication date: 26 June 2017

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Axiomatics of classical set theory and its fragments (03E30) Internet topics (68M11)

Related Items

Web ontology representation and reasoning via fragments of set theory, The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations, A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×, An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆

Cites Work

• Unnamed Item
• Unnamed Item
• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
• Three-variable statements of set-pairing
• Web ontology representation and reasoning via fragments of set theory
• On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic
• A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.
• Probability Integrals of Multivariate Normal and Multivariate $t^1$
• Mechanizing Mathematical Reasoning
• Some new sequence spaces defined by a sequence of Orlicz functions