Web ontology representation and reasoning via fragments of set theory

DOI10.1007/978-3-319-22002-4_6zbMATH Open1365.68402arXiv1505.02075OpenAlexW1480818190WikidataQ124544775 ScholiaQ124544775MaRDI QIDQ2360184FDOQ2360184

Authors: Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Domenico Cantone 

Publication date: 26 June 2017

Abstract: In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web. Specifically, we introduce the description logic $mathcalDLlangle4LQ{S}^{R}angle(D)$--admitting features such as min/max cardinality constructs on the left-hand/right-hand side of inclusion axioms, role chain axioms, and datatypes--which turns out to be quite expressive if compared with $mathcalSROIQ(D)$, the description logic underpinning the Web Ontology Language OWL. Then we show that the consistency problem for $mathcalDLlangle4LQ{S}^{R}angle(D)$-knowledge bases is decidable by reducing it, through a suitable translation process, to the satisfiability problem of the stratified fragment $4LQ{S}^R$ of set theory, involving variables of four sorts and a restricted form of quantification. We prove also that, under suitable not very restrictive constraints, the consistency problem for $mathcalDLlangle4LQ{S}^{R}angle(D)$-knowledge bases is extbf{NP}-complete. Finally, we provide a $4LQ{S}^R$-translation of rules belonging to the Semantic Web Rule Language (SWRL).

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

Recommendations

• An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
• A decidable quantified fragment of set theory involving ordered pairs with applications to description logics
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
• A set-theoretic approach to ABox reasoning services
• scientific article; zbMATH DE number 2090284

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Probability Integrals of Multivariate Normal and Multivariate $t^1$
• Some new sequence spaces defined by a sequence of Orlicz functions
• Mechanizing Mathematical Reasoning
• A decidable quantified fragment of set theory involving ordered pairs with applications to description logics
• Title not available (Why is that?)
• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
• 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
• Three-variable statements of set-pairing

Cited In (7)

• A set-theoretic approach to ABox reasoning services
• Adding the power-set to description logics
• A decidable quantified fragment of set theory involving ordered pairs with applications to description logics
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
• The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations
• An improved set-based reasoner for the description logic \(\mathcal{DL}_\mathrm{D}^{4,\times\dagger}\)
• Web ontology representation and reasoning via fragments of set theory

This page was built for publication: Web ontology representation and reasoning via fragments of set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2360184)