Abstract
WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between these variants have not been investigated. We take the nonmonotonic first-order autoepistemic logic, which generalizes both Description Logics and Logic Programming, and extend it with frames and concrete domains, to capture all features of WSML; we call this novel formalism FF-AEL. We consider two forms of language layering for WSML, namely loose and strict layering, where the latter enforces additional restrictions on the use of certain language constructs in the rule-based language variants, in order to give additional guarantees about the layering. Finally, we demonstrate that each WSML variant semantically corresponds to its target formalism, i.e. WSML-DL corresponds to \(\mathcal{SHIQ}(\mathbf{D})\), WSML-Rule to the Stable Model Semantics for Logic Programs (the Well-Founded Semantics can be seen as an approximation), and WSML-Core to \({\mathcal{DHL}(\mathbf{D})}\) (without nominals), a Horn subset of \(\mathcal{SHIQ}(\mathbf{D})\).
This work was partially supported by the European Commission under the projects Knowledge Web (IST-2004-507482), DIP (FP6-507483), and SUPER (FP6-026850).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge Univ. Press, Cambridge (2003)
Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: IJCAI (1991)
de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In: IJCAI (2007)
de Bruijn, J., Heymans, S.: Translating ontologies from predicate-based to frame-based languages. In: RuleML (2006)
de Bruijn, J., Heymans, S.: WSML ontology semantics. WSML Final Draft d28.3 (2007)
de Bruijn, J., et al.: The web service modeling language WSML. WSML Final Draft D16.1v0.21 (2005)
Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: KR2004 (2004)
van Gelder, A., Ross, K., Schlipf, J.S.: The well-founded semantics for general logic programs. JACM 38(3), 620–650 (1991)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3/4), 365–386 (1991)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: WWW (2003)
Horrocks, I., Patel-Schneider, P.F., Bechhofer, S.: Tsarkov. OWL rules: A proposal and prototype implementation. J. Web Sem. 3(1), 23–40 (2005)
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. J. Web Sem. 1(1), 7–26 (2003)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. JACM 42(4), 741–843 (1995)
Konolige, K.: Quantification in autoepistemic logic. Fundamenta Informaticae 15(3–4), 275–300 (1991)
Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: IJCAI (2007)
Niemelä, I.: On the decidability and complexity of autoepistemic reasoning. Fundamenta Informaticae 17(1,2), 117–155 (1992)
Pan, J.Z., Horrocks, I.: OWL-Eu: Adding customised datatypes into OWL. J. Web Sem. 4(1), 29–39 (2006)
Rosati, R.: DL+log : Tight integration of description logics and disjunctive datalog. In: KR2006 (2006)
Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press (1988)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
de Bruijn, J., Heymans, S. (2007). A Semantic Framework for Language Layering in WSML. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-72982-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72981-5
Online ISBN: 978-3-540-72982-2
eBook Packages: Computer ScienceComputer Science (R0)