%0 Conference Paper %1 OWL-CASL-WADT2004 %A Lüttich, K. %A Mossakowski, T. %A Krieg-Brückner, B. %B Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004) %D 2005 %E Fiadeiro, J. L. %E Mosses, P. %E Orejas, F. %I Springer; Berlin; http://www.springer.de %K CASL OWL SHOIN(D) Semantic Web %P 106-125 %T Ontologies for the Semantic Web in CASL %U http://dx.doi.org/10.1007/978-3-540-31959-7_7 %V 3423 %X 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.

@inproceedings{OWL-CASL-WADT2004, 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. }, added-at = {2016-08-05T15:59:03.000+0200}, author = {L{\"u}ttich, K. and Mossakowski, T. and Krieg-Br{\"u}ckner, B.}, biburl = {https://www.bibsonomy.org/bibtex/25cafef244d979e1c1282046d73111091/tillmo}, booktitle = {Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004)}, editor = {Fiadeiro, J. L. and Mosses, P. and Orejas, F.}, interhash = {17bf1e9465485c814d299af6a08416c0}, intrahash = {5cafef244d979e1c1282046d73111091}, keywords = {CASL OWL SHOIN(D) Semantic Web}, pages = {106-125}, pdfurl = {http://www.informatik.uni-bremen.de/agbkb/publikationen/luettich/owl-casl-dl.pdf}, publisher = {Springer; Berlin; http://www.springer.de}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {{O}ntologies for the {S}emantic {W}eb in {CASL}}, url = {http://dx.doi.org/10.1007/978-3-540-31959-7_7}, volume = 3423, year = 2005 }