Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article in Proceedings
Author: K. Lüttich, T. Mossakowski, B. Krieg-Brückner
Editor: J. L. Fiadeiro, P. Mosses, F. Orejas
Title: Ontologies for the Semantic Web in CASL
Book / Collection title: Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004)
Volume: 3423
Page(s): 106 – 125
Series: Lecture Notes in Computer Science
Year published: 2005
Publisher: Springer, Berlin
Abstract: This paper describes a sublanguage of CASL, called CASL-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 SHOIN(D)) become available for a sublanguage of CASL. This is achieved via translations between CASL-DL and SHOIN(D), formalized as so-called institution comorphisms.
Internet: http://dx.doi.org/10.1007/978-3-540-31959-7_7
PDF Version: http://www.informatik.uni-bremen.de/agbkb/publikationen/luettich/owl-casl-dl.pdf
Keywords: CASL OWL Semantic Web SHOIN(D)
Status: Reviewed
Last updated: 30. 03. 2012

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum