| Publication type: |
Article in Proceedings |
| Author: |
Klaus Lüttich, Claudio Masolo, Stefano Borgo |
| Editor: |
P. Haase, V. Honavar, O. Kutz, Y. Sure, A. Tamilin |
| Title: |
Development of Modular Ontologies in CASL |
| Book / Collection title: |
Workshop on Modular Ontologies 2006 |
| Volume: |
232 |
| Series: |
CEUR Workshop Proceedings |
| Year published: |
2006 |
| Publisher: |
CEUR-WS.org |
| Abstract: |
This paper discusses the advantages of the Common Algebraic Specification Language (CASL) for the development of modular ontologies. CASL not only offers logics with a limited expressivity like description logic, but also e.g. first-order logic and modal logic. The central part of CASL is its powerful structuring mechanism, which is orthogonal to the logical formalisms. Hence the modularization applies uniformly to various logics and its extension Heterogeneous CASL (HetCASL) has even constructs for the combination of different logics. Additionally, the Heterogeneous Tool Set (Hets) is presented which enables reasoning and manipulation of CASL specifications. By presenting a detailed example ontology used for spatial knowledge representation the benefits of specification in CASL are discussed. Furthermore, a comparison with the OWL DL import mechanism is provided. |
| Internet: |
http://ceur-ws.org/Vol-232 |
| PDF Version: |
http://www.informatik.uni-bremen.de/agbkb/publikationen/luettich/womo2006.pdf |
| Keywords: |
Modular Ontology CASL |
| Status: |
Reviewed |
| Last updated: |
02. 04. 2007 |
