Abstract
This paper describes a sublanguage of Casl, called textscCasl-DL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from Casl’s strong typing discipline and powerful structuring concepts. Vice versa, the automatic decision procedures available for OWL DL (or more precisely, the underlying description logic \(\mathcal{SHOIN}(D))\) become available for a sublanguage of Casl. This is achieved via translations between Casl-DL and \(\mathcal{SHOIN}(D)\), formalized as so-called institution comorphisms.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Swoogle search engine, http://swoogle.umbc.edu
Andréka, H., Németi, I., van Benthem, J.: Modal logic and bounded fragments of predicate logic. Journal of Philosophical Logic 27(3), 217–274 (1998)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
Berners-Lee, T., Fielding, R., Masinter, L.: Uniform Resource Identifiers (URI): Generic syntax. IETF Draft Standard (RFC 2396) (August. 1998), http://www.ietf.org/rfc/rfc2396.txt
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)
Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol. 2900. Springer, Heidelberg (2004), With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki
Bray, T., Hollander, D., Layman, A. (eds.): Namespaces in XML. W3C Recommendation (January 14, 1999), http://www.w3.org/TR/REC-xml-names/
Cerioli, M., Meseguer, J.: May I borrow your logic (transporting logical structures along maps). Theoretical Computer Science 173, 311–347 (1997)
CoFI (The Common Framework Initiative); Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)
Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language – Reference. W3C Recommendation (February 10, (2004), http://www.w3.org/TR/owl-ref/
Fensel, D., Hendler, J., Liebermann, H., Wahlster, W. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2003)
Genesereth, M.R., Fikes, R.E.: Knowlegde interchange format version 3.0 reference manual. Stanford Logic Group, Report Logic-92-1 (June 1992), http://logic.stanford.edu/sharing/papers/kif.ps
Goguen, J., Rosu, G.: Institution morphisms. Formal aspects of computing 13, 274–307 (2002)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Logic of Programs 1983 39, 95–146 (1992); Predecessor in: Clarke, E., Kozen, D. (eds.): Logics of Programs. Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983. LNCS, vol. 164. Springer, Heidelberg (1984)
Goguen, J.A., Meseguer, J.: Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science 105, 217–273 (1992)
Guarino, N.: Personal communication
Horrocks, I.: FaCT and iFaCT. In: Lambrix, P., Borgida, A., Lenzerini, M., Möller, R., Patel-Schneider, P.F. (eds.) Proceedings of the International Workshop on Description Logics (DL 1999), pp. 133–135 (1999)
Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 17–29. Springer, Heidelberg (2003)
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7–26 (2003)
Lambrix, P., Borgida, A., Lenzerini, M., Möller, R., Patel-Schneider, P.F. (eds.) Proceedings of the International Workshop on Description Logics, DL 1999 (1999)
Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., Schneider, L.: Wonderweb deliverable D17. The wonderweb library of foundational ontologies and the DOLCE ontology. November 29, Preliminary Report (ver. 2.0, 15-08-2002) (2002)
Mossakowski, T.: The heterogeneous tool set. University of Bremen, Available at http://www.tzi.de/cofi/hets
Patel-Schneider, P.F., Hayes, P., Horrocks, I. (eds.): OWL Web Ontology Language – Semantics and Abstract Syntax. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/owl-semantics/
Sirin, E., Grove, M., Parsia, B., Alford, R.: Pellet OWL reasoner (May 2004), http://www.mindswap.org/2003/pellet/index.shtml
Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen (2001)
Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobalt, C., Topic, D.: SPASS version 2.0. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol. 2392, pp. 275–279. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lüttich, K., Mossakowski, T., Krieg-Brückner, B. (2005). Ontologies for the Semantic Web in Casl . In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds) Recent Trends in Algebraic Development Techniques. WADT 2004. Lecture Notes in Computer Science, vol 3423. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31959-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-31959-7_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25327-3
Online ISBN: 978-3-540-31959-7
eBook Packages: Computer ScienceComputer Science (R0)