Ontologies for the semantic web in CASL

Authors:
Klaus Lüttich;Till Mossakowski;Bernd Krieg-Brückner
Affiliations:
BISS, FB3 – Dept. of Computer Science, Universität Bremen;BISS, FB3 – Dept. of Computer Science, Universität Bremen;BISS, FB3 – Dept. of Computer Science, Universität Bremen
Venue:
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Year:
2004

Citing 6
Cited 4

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Theoretical Computer Science
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
May I borrow your logic? (Transporting logical structures along maps)

Theoretical Computer Science - Special issue: algebraic development techniques
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential

Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
S PASS Version 2.0

CADE-18 Proceedings of the 18th International Conference on Automated Deduction
The Description Logic Handbook

The Description Logic Handbook

Institutionalising ontology-based semantic integration

Applied Ontology
Approximation of Ontologies in CASL

Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Towards dialogue based shared control of navigating robots

SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Institutionalising ontology-based semantic integration

Applied Ontology

Quantified Score

Hi-index	0.00

Visualization

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.