Sciweavers

Share
WADT
2004
Springer

Ontologies for the Semantic Web in Casl

10 years 1 months ago
Ontologies for the Semantic Web in Casl
Abstract. This paper describes a sublanguage of Casl, called CaslDL, 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.
Klaus Lüttich, Till Mossakowski, Bernd Krieg-
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where WADT
Authors Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
Comments (0)
books