[BibTeX] [RIS]
Development of {M}odular {O}ntologies in {CASL}
Type of publication: Inproceedings
Citation: luettichEA06
Booktitle: Workshop on Modular Ontologies 2006
Series: CEUR Workshop Proceedings
Volume: 232
Year: 2006
Publisher: CEUR-WS.org
URL: http://ceur-ws.org/Vol-232...
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.
Userfields: bdsk-url-1={http://ceur-ws.org/Vol-232}, pdfurl={http://www.informatik.uni-bremen.de/agbkb/publikationen/luettich/womo2006.pdf}, project={I4-SPIN}, status={Reviewed},
Keywords: Modular Ontology CASL
Authors L├╝ttich, Klaus
Masolo, Claudio
Borgo, Stefano
Editors Haase, P.
Honavar, V.
Kutz, O.
Sure, Y.
Tamilin, A.
Attachments
  • http://ceur-ws.org/Vol-232
  • http://www.informatik.uni-brem...
Notes
    Topics