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 \(\mathcal {DL}\langle 4LQS^R\rangle (\mathbf {D})\)–allowing features such as min/max cardinality constructs on the left-hand/right-hand side of inclusion axioms, role chain axioms, and datatypes–which turn out to be quite expressive if compared with \(\mathcal {SROIQ}(\mathbf {D})\), the description logic underpinning the Web Ontology Language OWL. Then we show that the consistency problem for \(\mathcal {DL}\langle 4LQS^R\rangle (\mathbf {D})\)-knowledge bases is decidable by reducing it, through a suitable translation process, to the satisfiability problem of the stratified fragment \(4LQS^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 \(\mathcal {DL}\langle 4LQS^R\rangle (\mathbf {D})\)-knowledge bases is NP-complete. Finally, we provide a \(4LQS^R\)-translation of rules belonging to the Semantic Web Rule Language (SWRL).
Work partially supported by the FIR project COMPACT: Computazione affidabile su testi firmati, code: D84C46.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
The notion of syntax tree for 4LQS-formulae is similar to the notion of syntax tree for formulae of first-order logic. A precise definition of the latter can be found in [11].
- 2.
The use of level 3 variables to model abstract and concrete role terms is motivated by the fact that their elements, that is ordered pairs \(\langle x, y \rangle \), are encoded in Kuratowski’s style as \(\{\{x\}, \{x,y\}\}\), namely as collections of sets of objects. Variables of level 2 are used in the formulae \(\psi _8\) and \(\psi _9\) of the construction to model the fact that level 3 variables representing role terms are binary relations.
- 3.
We recall that a logic is non-monotonic if some conclusions can be invalidated when more knowledge is added.
References
Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 228–248. Springer, Heidelberg (2005)
Cantone, D., Ferro, A., Omodeo, E.G.: Computable set theory. Number 6 in International Series of Monographs on Computer Science. Oxford Science Publications, Clarendon Press, Oxford, UK (1989)
Cantone, D., Longo, C.: A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. Theor. Comput. Sci. 560, 307–325 (2014)
Cantone, D., Longo, C., Nicolosi Asmundo, M.: A decidable quantified fragment of set theory involving ordered pairs with applications to description logics. In: Proceedings Computer Science Logic, 20th Annual Conference of the EACSL, CSL 2011, pp. 129–143, Bergen, Norway, 12–15 September 2011
Cantone, D., Longo, C., Nicolosi Asmundo, M.: A decision procedure for a two-sorted extension of multi-level syllogistic with the Cartesian product and some map constructs. In: Faber, W., Leone, N. (eds.) Proceedings of the 25th Italian Conference on Computational Logic (CILC 2010), Rende, Italy, 7–9 July 2010, vol. 598, pp. 1–18 (paper 11). CEUR Workshop Proceedings, ISSN 1613–0073, June 2010
Cantone, D., Longo, C., Nicolosi Asmundo, M., Santamaria, D.F.: Web ontology representation and reasoning via fragments of set theory (2015) CoRR, abs/1505.02075 (extended version)
Cantone, D., Longo, C., Pisasale, A.: Comparing description logics with multi-level syllogistics: the description logic \({\cal DL} \langle \mathtt{MLSS}_{2, m}^{\times }\rangle \). In: Traverso, P. (ed.) 6th Workshop on Semantic Web Applications and Perspectives, pp. 1–13, Bressanone, Italy, 21–22 September 2010
Cantone, D., Nicolosi-Asmundo, M.: Fundam. Inf. On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic, vol. 124(4), pp. 427–448 (2013)
Cantone, D., Nicolosi-Asmundo, M., Santamaria, D.F., Trapani, F.: An ontology for ceramics cataloguing. In: Computer Applications and Quantitative Methods in Archaeology (CAA) (2015)
Cantone, D., Omodeo, E., Policriti, A.: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets. Monographs in Computer Science. Springer, New York (2001)
Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science (vol. B), pp. 243–320. MIT Press, Cambridge, MA, USA (1990)
Formisano, A., Omodeo, E.G., Policriti, A.: Three-variable statements of set-pairing. Theor. Comput. Sci. 322(1), 147–173 (2004)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings 10th International Conference on Principles of Knowledge Representation and Reasoning, pp. 57–67. AAAI Press (2006)
Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proceeding of IJCAI 2001, pp. 199–204 (2001)
Kazakov, Y.: RIQ and SROIQ are harder than SHOIQ. In: Brewka, G., Lang, J. (eds.) Proceedings of the 11th International Conference, KR 2008, pp. 274–284, Sydney, Australia, 16–19 September 2008
Motik, B.: On the properties of metamodeling in OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 548–562. Springer, Heidelberg (2005)
Motik, B., Horrocks, I.: OWL datatypes: design and implementation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 307–322. Springer, Heidelberg (2008)
Santamaria, D.F.: A Set-Theoretical Representation for OWL 2 Profiles. LAP Lambert Academic Publishing (2015). ISBN 978-3-659-68797-6
Schwartz, J.T., Cantone, D., Omodeo, E.G.: Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Texts in Computer Science. Springer-Verlag New York Inc., New York (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Cantone, D., Longo, C., Nicolosi-Asmundo, M., Santamaria, D.F. (2015). Web Ontology Representation and Reasoning via Fragments of Set Theory. In: ten Cate, B., Mileo, A. (eds) Web Reasoning and Rule Systems. RR 2015. Lecture Notes in Computer Science(), vol 9209. Springer, Cham. https://doi.org/10.1007/978-3-319-22002-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-22002-4_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-22001-7
Online ISBN: 978-3-319-22002-4
eBook Packages: Computer ScienceComputer Science (R0)